5434 search results - page 716 / 1087 » Tool support for MOLA |
157
click to vote
PSYCHNOLOGY
2006
15 years 6 months ago
2006
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
176
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
142
click to vote
SOPR
2008
15 years 6 months ago
2008
: Processes usually are defined according to underlying standards (ISO 15504, ESA ECSS, ISO 9001, ...) and are described with process steps to be performed by roles and producing r...
169
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
181
click to vote
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 6 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...