4350 search results - page 510 / 870 » Case studies for contract-based systems |
206
click to vote
IEEEARES
2007
IEEE
16 years 2 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
188
click to vote
ECBS
2002
IEEE
16 years 19 days ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
204
click to vote
AOSE
2001
Springer
16 years 5 days ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
207
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
193
click to vote
ICSM
1995
IEEE
15 years 11 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...