3828 search results - page 359 / 766 » Proof-Based System Engineering Using a Virtual System Model |
178
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
165
Voted
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
150
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
185
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
216
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....