2740 search results - page 33 / 548 » A Model-Based Approach To Requirements Analysis |
DGO
2008
13 years 10 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
IWMM
2010
Springer
13 years 11 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
ER
2009
Springer
14 years 3 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
AIPS
2010
13 years 11 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...