1487 search results - page 200 / 298 » On Validating Engineering Design Decision Support Tools |
139
click to vote
SEFM
2005
IEEE
15 years 11 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...
177
Voted
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
166
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
135
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
137
click to vote
CSMR
2006
IEEE
15 years 7 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...