7311 search results - page 251 / 1463 » Time in State Machines |
215
click to vote
RE
2004
Springer
16 years 18 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
272
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
192
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
229
click to vote
PTS
2000
15 years 8 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
217
click to vote
APCCM
2009
15 years 8 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...