Sciweavers

2127 search results - page 171 / 426
» Software Automation
Sort
View
ISPW
1994
IEEE
15 years 10 months ago
Issues in process architecture
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
Dewayne E. Perry
KBSE
1999
IEEE
15 years 10 months ago
Towards Adaptive Web Agents
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
J. William Murdock, Ashok K. Goel
STTT
2002
69views more  STTT 2002»
15 years 6 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
EWCBR
1998
Springer
15 years 10 months ago
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
Ralph Bergmann, Sean Breen, Emmanuelle Fayol, Mehm...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Séverine Sentilles, Anders Pettersson, Dag ...