Correction to: Formal Methods and Software Engineering

Methods and Tools for Formal Software Engineering

We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integrat...

Formal Methods in Agent-Oriented Software Engineering

Safety-critical systems, formal methods and standards - Software Engineering Journal

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations c...

Formal Software Engineering

This seminar investigates how formal methods are used in practical situations, thus we will emphasise real industrial applications. Since the range of possible formal methods is so wide, however, we will be concentrating on only one style, which we will loosely calìmodel based' speciication for imperative , mostly sequential, systems. Thus we complement another, that of Basin, Ganzinger and Pod...

Formal Methods in Software Engineering Education Discussion Summary

Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by “informal” methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possib...