3441 search results - page 348 / 689 » Provenance of Software Development Processes |
119
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
123
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
167
click to vote
MODELLIERUNG
2001
15 years 6 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
182
Voted
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
162
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...