Sciweavers

20 search results - page 2 / 4
» Implicit invocation of traits
Sort
View
SIGSOFT
1998
ACM
13 years 9 months ago
Reasoning about Implicit Invocation
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...
David Garlan, Somesh Jha, David Notkin
FM
1991
Springer
164views Formal Methods» more  FM 1991»
13 years 8 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
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...
David Garlan, David Notkin
FAC
1998
68views more  FAC 1998»
13 years 5 months ago
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
Jürgen Dingel, David Garlan, Somesh Jha, Davi...
EPEW
2007
Springer
13 years 11 months ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
SEKE
2007
Springer
13 years 11 months ago
Classification of Design Pattern Traits
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...
Jing Dong, Yajing Zhao