The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering. (Wikipedia).
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
Presented by Derek Kozel at GNU Radio Conference 2021 https://events.gnuradio.org/e/grcon21
From playlist GRCon 2021
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
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