Sciweavers

200 search results - page 2 / 40
» Analyzing Interactions of Asynchronously Communicating Softw...
Sort
View
DEBS
2007
ACM
13 years 9 months ago
Software architecture using fine-grained event-driven reactive components
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
Paul Tarvydas, Norm Sanford
FSEN
2009
Springer
13 years 9 months ago
Executable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...
WWW
2011
ACM
13 years 9 days ago
Choreography conformance via synchronizability
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
Samik Basu, Tevfik Bultan
SIGSOFT
1998
ACM
13 years 9 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
ESEM
2007
ACM
13 years 9 months ago
A Controlled Experiment on the Effects of Synchronicity in Remote Inspection Meetings
Traditionally, software inspection has largely relied on collocated interaction of inspectors. As companies have begun to turn to distributed software development, meeting in a ro...
Fabio Calefato, Filippo Lanubile, Teresa Mallardo