Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the łeUML\ge2001, October 1st, 2001 in Toronto, Canada. P-07, 192-206 (2001).

GI, Gesellschaft für Informatik, Bonn
2001


Editors

Andy Evans (ed.), Robert B. France (ed.), Ana M. D. Moreira (ed.), Bernhard Rumpe (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

A proposal for a lightweight rigorous UML-based development method for reliable systems

Richard F. Paige and Jonathan Ostroff

Abstract


A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming with the utility of modelling, while offering a counterpoint to Extreme Modelling. The method is built atop of a subset of UML, making use of contracts for documentation and for run-time (and potentially static) checking. Rules are given to establish consistency of views of a system, and a proposal for a tool prototype that implements the diagrams and which helps to establish their consistency is outlined. The key elements of a process, which emphasizes rapid production of code and test drivers, are also outlined.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0


Last changed 04.10.2013 17:52:58