Model checking implicit-invocation systems

Publisher Website

8 November 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/iwssd.2000.891123

Abstract

No abstract available

This publication has 7 references indexed in Scilit:

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
Formal Aspects of Computing, 1998
Formal methods
ACM Computing Surveys, 1996
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology, 1996
Using style to understand descriptions of software architecture
Published by Association for Computing Machinery (ACM) ,1993
Adding implicit invocation to languages: Three approaches
Published by Springer Nature ,1993
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology, 1992
Formalizing design spaces: Implicit invocation mechanisms
Published by Springer Nature ,1991