3828 search results - page 109 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
IUI
1999
ACM
15 years 10 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...
163
click to vote
ECBS
2004
IEEE
15 years 10 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...
287
click to vote
TC
2011
15 years 1 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...
180
click to vote
APSEC
1999
IEEE
15 years 10 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...
165
click to vote
REFSQ
2009
Springer
16 years 25 days 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...