3828 search results - page 530 / 766 » Proof-Based System Engineering Using a Virtual System Model |
182
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
146
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
179
Voted
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
169
Voted
SIGSOFT
2004
ACM
16 years 2 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
183
Voted
ICEIS
2005
IEEE
16 years 8 days ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...