3885 search results - page 43 / 777 » Clarifying Goal Models |
155
Voted
JUCS
2002
15 years 3 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
112
Voted
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
111
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
Literature tends to discuss software (and system) requirements quality control, which includes validation and verification, as a heterogeneous process using a great variety of rel...
107
Voted
MFCS
1989
Springer
15 years 7 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...
120
Voted
ROOM
2000
15 years 5 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...