Sciweavers

3555 search results - page 124 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...
OOPSLA
2004
Springer
15 years 7 months ago
A language-independent approach to software maintenance using grammar adapters
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
Suman Roychoudhury
EWCBR
1998
Springer
15 years 5 months ago
Case-Based Design for Tablet Formulation
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
Susan Craw, Nirmalie Wiratunga, Ray Rowe
ICCBR
2007
Springer
15 years 7 months ago
From Anomaly Reports to Cases
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
Stewart Massie, Nirmalie Wiratunga, Susan Craw, Al...
EWCBR
2008
Springer
15 years 3 months ago
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
Neha Sugandh, Santiago Ontañón, Ashw...