7380 search results - page 216 / 1476 » Engineering Software Intensive Systems |
116
click to vote
ICSE
1993
IEEE-ACM
15 years 6 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
123
click to vote
AOSE
2000
Springer
15 years 6 months ago
2000
Springer
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
130
click to vote
ESAW
2007
Springer
15 years 8 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
113
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...