1057 search results - page 92 / 212 » Testing from Formal Specifications, a Generic Approach |
COMCOM
2000
13 years 10 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
AIIA
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we present GLARE, a domain-independent system for acquiring, representing and executing clinical guidelines. GLARE is characterized by the adoption of Artificial Int...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...