452 search results - page 59 / 91 » Symbolic Execution of Behavioral Requirements |
JCST
2008
14 years 11 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
123
Voted
AAMAS
1999
Springer
14 years 10 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
80
Voted
JOT
2010
14 years 9 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
75
Voted
FUIN
2008
14 years 11 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
88
Voted
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...