Runtime Conformance Checking of Objects Using Alloy
Open Access
- 31 October 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 89 (2) , 2-21
- https://doi.org/10.1016/s1571-0661(04)81040-5
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- AlloyACM Transactions on Software Engineering and Methodology, 2002
- Java-MaC: A Run-time Assurance Tool for Java ProgramsElectronic Notes in Theoretical Computer Science, 2001
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- Automating first-order relational logicACM SIGSOFT Software Engineering Notes, 2000
- Enforcing Design Constraints with Object LogicPublished by Springer Nature ,2000
- AlcoaPublished by Association for Computing Machinery (ACM) ,2000
- JML: A Notation for Detailed DesignPublished by Springer Nature ,1999
- Software reliability via run-time result-checkingJournal of the ACM, 1997
- Formal methodsACM Computing Surveys, 1996