73 search results - page 1 / 15 » Reasoning about Implicit Invocation |
SIGSOFT
1998
ACM
13 years 8 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
FM
1991
Springer
13 years 8 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
FAC
1998
13 years 4 months ago
1998
FASE
2007
Springer
13 years 10 months ago
2007
Springer
IWSSD
2000
IEEE
13 years 9 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...