Formal methods publications

Innovations in Systems and Software Engineering

Innovations in Systems and Software Engineering: A NASA Journal is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA. The editors-in-chief are Michael Hinchey (University of Limerick) and Shawn Bohner (Rose-Hulman Institute of Technology). (Wikipedia).

Innovations in Systems and Software Engineering
Video thumbnail

What Is Systems Engineering? | Systems Engineering, Part 1

See all the videos in this playlist: https://www.youtube.com/playlist?list=PLn8PRpmsu08owzDpgnQr7vo2O-FUQm_fL This video covers what systems engineering is and why it’s useful. We will present a broad overview of how systems engineering helps us develop complex projects that meet the progr

From playlist Systems Engineering

Video thumbnail

The Future Of Software Development

From autonomous vehicles, 3D printed rocket engines, and “affordable” consumer-owned satellites to rapid advances in AI and secure, decentralized electronic currencies, the past several years have shown us that the only prediction we can confidently make about the future is that it will ar

From playlist Software Development

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

Introduction to Systems Engineering open course

System Engineering is a professional discipline that ensures the timely management and delivery of large projects. This is a free, open online course delivered by leading UNSW Canberra academics on the Coursera platform. For more information visit https://www.coursera.org/course/introse

From playlist New to us? Try these.

Video thumbnail

The Next Big Thing In Software Architecture

What could help us to build even better, even more complex systems? What comes next? What’s on the horizon that may be the next big step? Software development is always changing. The public cloud is only 15 years old but has changed how a lot of software is developed and our assumptions of

From playlist Software Engineering

Video thumbnail

Software Craftsmanship vs Software Engineering

Software craftsmanship was an important step forward in software development, but it doesn’t take us far enough. Software engineering has a poor history of often being characterised by bloated, overly bureaucratic approaches that got in the way of good software development, rather than hel

From playlist Software Engineering

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

Engineering for Software: Amplifying Creativity

In most disciplines "Engineering" means the stuff that works, an application of scientific reasoning to solving practical problems. In Software, depending on your background, it either means something bureaucratic that doesn't work, or it is just another name for software development. So w

From playlist Software Development

Video thumbnail

RailsConf 2018: Scaling the Software Artisan by Coraline Ada Ehmke

RailsConf 2018: Scaling the Software Artisan by Coraline Ada Ehmke In the late 1700s the discovery of the principle of interchangeable parts shifted the demand for the expertise of artisans from production to design and invention. This shift transformed Western civilization and opened the

From playlist RailsConf 2018

Video thumbnail

The Process of Innovation

(March 9, 2011) There's a lot more innovation than just having good ideas. Timing, audience, energy, politics, and many more factors all influence the outcome. James Gosling discusses how innovation has works and how it is affecting the area of computer science today. Stanford University:

From playlist Engineering

Video thumbnail

Is Twitter’s Treatment Of Its Software Developers Fair?

Twitter has been in the news lately for the wrong reasons. The changes made are controversial, and maybe even cruel, but are they justified on the grounds of their software engineering? Does Twitter need a technical shake-up and so are these radical changes to some extent justified or is t

From playlist Teamwork and Leadership

Video thumbnail

Law and Data Driven Innovation (CADE Tech Policy Workshop)

Deven Desai, Associate Professor, Law & Ethics, Georgia Tech Data-driven innovation fueled Silicon Valley and more after the first dotcom bubble. It still has potential to drive incredible outcomes. Yet the days of deference to companies because of promised innovation and creation of wealt

From playlist USF Center for Applied Data Ethics

Video thumbnail

Agile Uncertified | Philosophy Over Rituals

Is Agile software development a failed approach or is it an important advance? Discussions of agile methodology and agile philosophy often get bogged down in discussions of practices: “Is Scrum better than Kanban”, is “SAFe or Less the way to scale-up”, “Is agile certification a good route

From playlist Teamwork and Leadership

Video thumbnail

PGConf NYC 2021 - Will Postgres Live Forever? by Bruce Momjian

Will Postgres Live Forever? by Bruce Momjian This presentation explains how open source software can live for a very long time, and covers the differences between proprietary and open source software life cycles. It also covers the increased adoption of open source, and many of the ways t

From playlist PGConf NYC 2021

Video thumbnail

3. Users Working Together in Communities Are Powerful Innovators

MIT 15.356 How to Develop Breakthrough Products and Services, Spring 2012 View the complete course: http://ocw.mit.edu/15-356S12 Instructor: Eric von Hippel License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 15.356 How to Develop Breakthrough Products & Services

Video thumbnail

Gateways 2016: Rajiv Ramnath on NSF and Software Gateways

Dr. Rajiv Ramnath, Program Director CISE-ACI, National Science Foundation, “Software Programs at the Division of Advanced Cyberinfrastructure, the role of software gateways, and the Science Gateways Community Institute” Slides are available at http://sciencegateways.org/gateways2016/prog

From playlist Cyberinfrastructure Integration Research Center (CIRC) formerly Science Gateways Research Center (SGRC)

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

OSCON 2012: Frank Frankovsky, "Disrupting Hardware: The Next Era of Openness"

We've all seen the impact that open source has had on innovation in software; open sharing and collaboration have been at the root of some of our greatest achievements as an industry. The pace of innovation in the hardware space, on the other hand, has been markedly slower. The potential b

From playlist OSCON 2012

Related pages

Formal methods