10669 search results - page 284 / 2134 » Software - Implemented Self-healing System |
170
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
153
click to vote
IEE
2000
15 years 7 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
159
click to vote
QSIC
2005
IEEE
16 years 28 days ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
196
click to vote
ESAW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
151
click to vote
CASCON
1997
15 years 8 months ago
1997
Decomposing complex software systems into conceptually independent subsystems represents a signi cant software engineering activity that receives considerable research attention. ...