3432 search results - page 41 / 687 » Model Development in the UML-based Specification Environment... |
ENTCS
2002
13 years 8 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
AAAI
2004
13 years 10 months ago
2004
Simulation-based training is increasingly being used within the military to practice and develop the skills of successful soldiers. For the skills associated with successful milit...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
PROMS
2001
Springer
14 years 1 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
SIGSOFT
1996
ACM
14 years 25 days ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...