1164 search results - page 80 / 233 » Using CBR for Semantic Analysis of Software Specifications |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
RE
2004
Springer
15 years 5 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
117
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
113
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
JLP
2010
14 years 6 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...