7580 search results - page 1002 / 1516 » Prometheus design tool |
142
click to vote
OOPSLA
2005
Springer
16 years 11 days ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
180
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
159
click to vote
PROMAS
2005
Springer
16 years 11 days ago
2005
Springer
In a multi-agent system, the organization determines the architecture of the whole system, and the way and policies for agent collaboration and interactions. Although this is a key...
190
click to vote
SEKE
2005
Springer
16 years 11 days ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
167
click to vote
SIGADA
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...