3021 search results - page 106 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
124
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
161
click to vote
IWPC
1996
IEEE
15 years 8 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
133
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
131
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Although Web search engines have become information gateways to the Internet, for queries containing technical terms, search results often contain pages that are difficult to be ...
131
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....