“UML–ising” Formal Techniques
- Authors
- A. Haxthausen
- A.C. Simpson
- A.W. Roscoe
- C. Zhou
- C.A.R. Hoare
- C.A.R. Hoare
- C.W. George
- D. Bjørner
- D. Bjørner
- D. Harel
- D. Harel
- D. Harel
- D. Harel
- D. Harel
- E. Kindler
- G. Berthelot
- G. Booch
- I. Jacobson
- J. Fitzgerald
- J. Klose
- J. Rumbaugh
- J. Warmer
- J. Warmer
- J.-R. Abrial
- J.C.P. Woodcock
- J.M. Spivey
- K. Jensen
- K.M. Hansen
- L.M. Kristensen
- M. Weber
- M.-G. Rhode
- M.J. Morley
- M.J. Morley
- P.B. Ladkin
- R. Büssow
- R. Milner
- S. Mauw
- S. Schneider
- T. King
- W. Damm
- W. Grieskamp
- W. Reisig
- W. Reisig
- W.M.P. Aalst van der
- Publication date
- 1 January 2004
- Publisher
- 'Springer Science and Business Media LLC'
- Doi
Abstract
Abstract is not available.Similar works
Available Versions
Last time updated on 01/04/2019