4286 search results - page 151 / 858 » Formalizing Service Interactions |
168
click to vote
AGILEDC
2007
IEEE
16 years 17 days ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
158
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
197
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
174
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
174
click to vote
SOSE
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...