2118 search results - page 116 / 424 » Execution of A Requirement Model in Software Development |
129
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
168
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
130
click to vote
ICSEA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
154
click to vote
ENGL
2008
15 years 4 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
209
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...