Contact
|
About
Home
Events
Link Collection
Wiki
Mailinglists
Home
Bibliographies and Surveys
Community Websites
Conferences and Workshops
People
Presentations and Tutorials
Publications
All
By Author
By Topic
By Type
By Year
Research Groups and Projects
Software, Products and Companies
Standards
Search Links:
Top
:
Publications
:
By Topic
:
Implicit Invocation
H. Zhang, J. S. Bradbury, J. R. Cordy, and J. Dingel
A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems
. In A. Carzaniga and P. Fenkam, editors,
3rd International Workshop on Distributed Event-Based Systems (DEBS'04)
, Edinburgh, Scotland, UK, May 2004. IEE.
J. Dingel, D. Garlan, S. Jha, and D. Notkin
Reasoning about Implicit Invocation
. In
Proceedings of of the 6th International Symposium on the Foundations of Software Engineering (FSE-6)
, pages 209‒221, Lake Buena Vista, FL, USA, Nov. 1998. ACM Press.
J. Dingel, D. Garlan, S. Jha, and D. Notkin
Towards a Formal Treatment of Implicit Invocation
.
Formal Aspects of Computing
, 10:193‒213, 1998.
D. Garlan and C. Scott
Adding Implicit Invocation to Traditional Programming Languages
. In V. R. Basili, R. A. DeMillo, and T. Katayama, editors,
Proceedings of the 15th Intl. Conference on Software Engineering (ICSE '93)
, pages 447‒455, Baltimore, MD, USA, 1993. IEEE Computer Society Press / ACM Press.
