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 Guide to Computing Literature (3,842,484 records)|Limit your search to The ACM Full-Text Collection (774,547 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 ...
