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, 224-240 (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

Formal verification of UML diagrams: A first step towards code generation

Jeffrey E. Smith , Mieczyslaw K. Kokar and Kenneth Baclawski




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

Last changed 04.10.2013 17:52:58