3828 search results - page 109 / 766 » Proof-Based System Engineering Using a Virtual System Model |
150
click to vote
IUI
1999
ACM
15 years 9 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
146
Voted
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
246
click to vote
TC
2011
14 years 12 months ago
2011
—Increasing energy consumption in server consolidation environments leads to high maintenance costs for data centers. Main memory, no less than processor, is a major energy consu...
149
Voted
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
142
click to vote
REFSQ
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...