2682 search results - page 224 / 537 » An Iterative-Cyclic Software Process Model |
115
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
110
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
159
click to vote
VMCAI
2010
Springer
16 years 22 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
111
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
143
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...