A Tale of Three Disciplines ... and a Revolution

Jesse H. Poore, University of Tennessee, January 2004

Making Essential Software Work

Gary McGraw, cigital, June 2003

The Economic Impacts of Inadequate Infrastructure for Software Testing

National Institute of Standards & Technology, May 2002

From Good to Great: Lifecycle Improvements Can Make the Difference

David P. Kelly and Jesse H. Poore, February 2000, Cutter IT Journal

A Business Case for Software Process Improvement Revised

Data & Analysis Center for Software (DACS), January 2000

The Professional Responsibilities of Software Engineers

David Lorge Parnas, McMaster University, September 1999

Modeling Software Defect Introduction

Sunita Devnani-Chulani, Center for Software Engineering, Los Angeles, June 1998

Cleanroom Process Model: A Critical Examination

Boris Beizer, March 1997

ARIANE 5, Flight 501 Failure

Report by the Inquiry Board, July 1996

Automotive Software Engineering (Requires ACM membership)

Manfred Broy, Institute for Information, Munich Technical University, April 2003

Challenges in Automotive Software Engineering

Manfred Broy, Institute for Information, Munich Technical University, July 2003

Software Technology in an Automotive Company - Major Changes

Klaus Grimm, DaimlerChrysler, February 2003

MetaH AADL Toolset

The MetaH AADL toolset provides integrated and traceable specification, analysis, implementation and verification

The SAE Avionics Architecture Description Language (AADL) Standard

A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

Bredemeyer Consulting

Resources for Software Architects

Formal Systems Ltd

FDR2 model checker and other Communicating Sequential Processes (CSP) tools

Uppaal

Uppaal is an integrated tool environment for modelling, validation and verification of real-time systems

Verus

Verus enables the formal specification and verification of real-time and other time critical systems

Carnegie Mellon Model Checking Group

The Model Checking Group is part of the Specification and Verification Center at CMU

SPIN Model Checking

SPIN is a popular software tool that can be used for the formal verification of distributed software systems

University of Oxford Formal Methods Reference Site

A formal method is a fault avoidance technique that helps in the reduction of errors introduced into a system, particularly at the earlier stages of design

Technical University of Eindhoven

Formal Methods Group

University of Twente

Formal Methods and Tools Group