The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
- 18 July 2012
- journal article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 14 (5) , 567-588
Abstract
No abstract availableKeywords
This publication has 42 references indexed in Scilit:
- Observable behavior of distributed systems: Component reasoning for concurrent objectsThe Journal of Logic and Algebraic Programming, 2012
- ErlangCommunications of the ACM, 2010
- The overture initiative integrating tools for VDMACM SIGSOFT Software Engineering Notes, 2010
- Automated analysis of feature modelsCommunications of the ACM, 2006
- An Asynchronous Communication Model for Distributed Concurrent ObjectsSoftware and Systems Modeling, 2006
- A formal definition of a PL/I subset2006
- Formalizing cardinality‐based feature models and their specializationSoftware Process: Improvement and Practice, 2005
- Variability management with feature-oriented programming and aspectsACM SIGSOFT Software Engineering Notes, 2004
- Scaling step-wise refinementIEEE Transactions on Software Engineering, 2004
- Mechanical program analysisCommunications of the ACM, 1975