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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3273 197-2113540233075 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-540-30187-5_15
ISBN
3540233075