451 search results - page 3 / 91 » Goal-oriented Analysis of Regulations |
AOSE
2007
Springer
14 years 14 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
ER
2007
Springer
14 years 13 days ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
COMPSAC
2005
IEEE
13 years 12 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
RE
2004
Springer
13 years 11 months ago
2004
Springer
The software industry is more than ever facing the challenge of delivering WYGIWYW software (What You Get Is What You Want). A well-structured document specifying adequate, comple...
POLICY
2005
Springer
13 years 11 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...