|RE02 Tutorials: T01 | T03 | T04 | T05 | T06 | T07 | T08 | T09 | T10
|T10: "Introduction to Formal Modeling" (Steve Easterbrook)
Introduction to Formal Modeling
Tuesday, September 10th from 1400 - 1730Abstract:
The aim of this tutorial is to introduce a number of practical formal techniques for modeling and analyzing requirements. We will discuss the role of formal modeling in RE; introduce a number of specific techniques for formal modeling; compare such techniques, and provide some criteria for when and how to apply them. The aim of the tutorial is purely practical: the tutorial will demonstrate how to select and apply an appropriate modeling and analysis technique, irrespective of whether the project to which it is to be applied routinely uses any formal specification languages. Along the way, the tutorial will explain why some formal methods are inappropriate for requirements engineering.
The tutorial draws on our experiences with lightweight formal techniques applied to NASA programs, in which we demonstrated that formal techniques offer a great deal of value as a modeling tool for analysis of mission critical software requirements, without incurring the expense of writing complete formal specifications. However, we will not focus exclusively on real time embedded systems. For example, we will also illustrate how formal techniques can be used to model features and analyze feature interaction in desktop application software.
The tutorial is aimed primarily at practitioners involved in requirements analysis. The emphasis is on practical techniques that are suitable for immediate application on large-scale software development projects. The tutorial is suitable for all levels of experience, but primarily targeted at intermediate and advanced level software engineering practitioners. Beginners will find the tutorial useful in shaping their ideas of what the requirements process is, and how various techniques can be applied. Advanced practitioners of requirements analysis will find the techniques we cover to be a useful complement to the range of analysis techniques available to them. No prior experience is assumed of requirements engineering, formal methods, nor the particular techniques covered.
|Last updated: 2002-05-14