Export Citations
1 Results for: Book/Issue: SAVCBS '09: Proceedings of the 8th international workshop on Specification and verification of component-based systems
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Full-Text Collection (774,547 records)|Expand your search to The ACM Guide to Computing Literature (3,842,484 records)
Showing 1 - 1of1 Results
Select All
- research-articleAugust 2009
Typestate protocol specification in JML
SAVCBS '09: Proceedings of the 8th international workshop on Specification and verification of component-based systemsPages 11–18https://doi.org/10.1145/1596486.1596490The Java Modeling Language (JML) is a language for specifying the behavior of Java source code. However, it can describe the protocols of Java classes and interfaces only implicitly. Typestate protocol specification is a more direct, lightweight and ...
