592 search results - page 46 / 119 » Refining Goal Models by Evaluating System Behaviour |
150
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
137
click to vote
AAAI
2000
15 years 5 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
137
click to vote
IADIS
2003
15 years 5 months ago
2003
In order to understand and enhance the value of new media in education it is necessary to develop criteria for the evaluation of the effectiveness of learning with hypermedia envi...
144
click to vote
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
119
click to vote
ICSE
1987
IEEE-ACM
15 years 7 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...