Formal methods

International Conference on Software Engineering and Formal Methods

The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering. (Wikipedia).

Video thumbnail

Software Architecture Conference 2015

For more information, visit: http://oreil.ly/1Cyt9nt Software architecture is a massive multidisciplinary subject, covering many roles and responsibilities, which makes it challenging to teach because so much context is required for every subject. It's also a fast-moving discipline, where

From playlist O'Reilly Software Architecture Conference 2015

Video thumbnail

Glenn Vanderburg of LivingSocial on why software development is an engineering discipline

Watch more from the O'Reilly Software Architecture Conference: http://goo.gl/lXpXnG I believe strongly that software development is, incontrovertibly, an engineering discipline (albeit still an immature one). But a great many people in our field have decided that it’s not. I think this is

From playlist O'Reilly Software Architecture Conference 2016 - London, United Kingdom

Video thumbnail

Stanford Seminar - The Future of Trustworthy Computer Systems

"The future of trustworthy computer systems" - Peter Neumann of SRI International Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating system

From playlist Engineering

Video thumbnail

Stanford Seminar - Realizing the Next Growth Wave for Semiconductors

"Realizing the next growth wave for semiconductors -- A new approach to enable innovative startups" - Dan Ambrust of Silicon Catalyst Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topic

From playlist Engineering

Video thumbnail

Stanford Seminar - Shannon-Inspired Statistical Computing

"Shannon-inspired Statistical Computing" - Naresh Shanbhag of UIUC Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems and programmi

From playlist Engineering

Video thumbnail

Scotland Ruby 2011 - Real Software Engineering

by: Glenn Vanderburg Software engineering as it’s taught in universities simply doesn’t work. It doesn’t produce software systems of high quality, and it doesn’t produce them for low cost. Sometimes, even when practiced rigorously, it doesn’t produce systems at all. That’s od

From playlist Scotland Ruby 2011

Video thumbnail

The O’Reilly Software Architecture Conference - New York, NY

Fast-paced and practical, the O’Reilly Software Architecture Conference provides the training that veteran and aspiring software architects, engineers, and senior developers need to stay current with emerging technologies, hone their leadership skills, and support the success of their busi

From playlist O'Reilly Software Architecture Conference 2017 - New York, New York

Video thumbnail

RailsConf 2011, Glenn Vanderburg, "Craft, Engineering, and the Essence of Programming"

RailsConf 2011, Glenn Vanderburg, "Craft, Engineering, and the Essence of Programming"

From playlist RailsConf 2011

Video thumbnail

At-scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham

https://www.turing-gateway.cam.ac.uk/sites/default/files/asset/doc/1707/Big%20Proof%20Day%20Melham%2019-07-2017.pdf #TuringSeminars

From playlist Turing Seminars

Video thumbnail

Lone Star Ruby Conference 2010 Real Software Engineering by Glenn Vanderburg

Software engineering as it's taught in universities simply doesn't work. It doesn't produce software systems of high quality, and it doesn't produce them for low cost. Sometimes, even when practiced rigorously, it doesn't produce systems at all. That's odd, because in every other field, t

From playlist Lone Star Ruby Conference 2010

Video thumbnail

LoneStarRuby Conf 2010 - Real Software Engineering by: Glenn Vanderburg

Software engineering as it's taught in universities simply doesn't work. It doesn't produce software systems of high quality, and it doesn't produce them for low cost. Sometimes, even when practiced rigorously, it doesn't produce systems at all. That's odd, because in every other field, t

From playlist Lone Star Ruby Conference 2010

Video thumbnail

5 Reasons To Attend O'Reilly's Software Architecture Conference

Neal Ford with 5 reasons you should attend O'Reilly's Architecture Conference in Boston. Join us this March in Boston for the Software Architecture Conference where we'll discuss strategies to essential technologies and how to build a solid foundation in software architecture Get Your T

From playlist O'Reilly Software Architecture Conference 2015

Video thumbnail

Sustainable development goals: Heather Savory - Data Capability, UK

Heather Savory joined the Office for National Statistics as Deputy National Statistician and Director General, Data Capability in May 2015. Heather has a strong commercial track-record and extensive board and senior management experience in entrepreneurial and high technology businesses,

From playlist Women in data science conference

Video thumbnail

New Directions in Multiprocessor Synchronization

May 2, 2007 lecture by Maurice Herlihy for the Stanford University Computer Systems Colloquium (EE 380). Maurice talks about transactional memory, a computational model in which threads synchronize by optimistic, lock-free transactions -- this synchronization model promises to alleviate ma

From playlist Course | Computer Systems Laboratory Colloquium (2006-2007)

Video thumbnail

Stanford Seminar - High Performance Computing in the Oil Industry, Bob Clapp

Bob Clapp, Stanford researcher, discusses big data in the oil industry. Colloquium on Computer Systems Seminar Series (E380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems and prog

From playlist Engineering

Video thumbnail

DEFCON 20: Creating an A1 Security Kernel in the 1980s (Using "Stone Knives and Bear Skins")

Speaker: TOM PERRINE SR ENTERPRISE ARCHITECT, SR MANAGER IT INFRASTRUCTURE This is a retrospective of computer security research and the process of building a secure operating system for the US government 1983-1990. The paper presents the case study of Kernelized Secure Operating System (

From playlist DEFCON 20

Video thumbnail

What It Takes To Be A Software Engineer

Are you a software engineer, a software developer, or perhaps a programmer? Is there a difference? This is a debate that has been going on for a very long time. For some people working in professional software development, engineering has become a devalued term “what we do isn’t engineerin

From playlist Software Engineering

Video thumbnail

GRCon21 - Organization Update

Presented by Derek Kozel at GNU Radio Conference 2021 https://events.gnuradio.org/e/grcon21

From playlist GRCon 2021

Video thumbnail

The Most Powerful Software Development Process Is The Easiest

What would an ideal software development process look like? What if we could do the minimum amount of work and get the maximum results from it? If we could then surely that would be the best software development process of all. What if we applied software engineering thinking to minimising

From playlist Teamwork and Leadership

Video thumbnail

Don't Build Perfect Software

Many of us strive for perfection in software development, is this really an appropriate target to aim for? Perfect code is an illusion. Software engineering is an empirical discipline, and the software we create is only ever correct in a narrow context, from a technical and a social perspe

From playlist Software Engineering

Related pages

Formal methods