Go backward to 2.3.4 Tools Task Group
Go up to 2.3 Task Groups
Go forward to 2.3.6 Reactive Systems Task Group
2.3.5 Methodology Task Group
Some topics: behavioural specifications;
relation between specifications and programs.
Michel Bidoit (previously: Marie-Claude
Gaudel, Andrzej Tarlecki).
Jose Fiadeiro, Marie-Claude Gaudel,
Bernd Krieg-Brückner, Tom Maibaum, Grant Malcolm, Gianna Reggio,
Don Sannella, Andrzej Tarlecki.
cofi-methodology
(Archives, Subscription)
The aim of the Methodology task group is to enrich the formalism designed
under the Common Framework Initiative with ideas on the methodology of
system specification and development that we would like to support,
encourage and propagate. We intend to influence the overall design of
the formalism to support these methodological views.
We plan to address methodological issues arising throughout the
software development life cycle. For instance:
- the role of specifications in the development process (relationship
between specifications and programs, formal vs. semi-formal
specifications);
- an abstract view of the development process (refinement and proof
obligations, design specifications in-the-large and structuring
issues, behavioural interpretation of specifications, reusability of
modules/specifications/developments, flexibility and evolution);
- techniques for writing specifications of individual system modules
(algebraic specifications vs. other specification techniques,
reachability/initiality, verifying specifications via theorem
proving, testing, checking completeness properties).
The expected outcome is a proposal for how a naive user should proceed
with the development of a simple system, propped up by a number of
more advanced methods which we believe would be useful in the context
of more complex systems and/or when larger development teams are
involved. We also would like to present these ideas to the user in a
readable and self-contained document.
CoFI
: CoFI -- Version: -- November 16, 1999.
Comments to pdmosses@brics.dk