Specifying Java Card API in OCL
Paper i proceeding, 2004
Formal Verification
OCL
Object-Oriented Design
JML
Java Card
Formal Specification
Författare
Wojciech Mostowski
Chalmers, Institutionen för datavetenskap
Daniel Larsson
Chalmers, Institutionen för datavetenskap
OCL 2.0 Workshop at UML 2003 Conference
Vol. 102 C 3-19
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap