2118 search results - page 212 / 424 » Execution of A Requirement Model in Software Development |
164
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
194
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
179
click to vote
JSS
2010
15 years 5 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
182
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
166
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...