From Informal to Formal Specifications in UML
Journal article, 2004
formal methods
OCL
software engineering
UML
Author
Martin Giese
Chalmers, Department of Computing Science, Formal Methods
Rogardt Heldal
Chalmers, Department of Computing Science, Software Engineering
Chalmers, Department of Computing Science, ProSec
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3273p. 197-2113540233075 (ISBN)
Categorizing
Subject Categories
Computer and Information Science
Identifiers
DOI
10.1007/978-3-540-30187-5_15
ISBN
3540233075