403 search results - page 46 / 81 » Integrating Z into Large Projects Tools and Techniques |
160
click to vote
ECCE
2011
13 years 11 months ago
2011
Motivation – This research deals with the identification of collective production of a safe radiotherapy treatment and its potential assistance through computer-supported enviro...
MIR
2006
ACM
15 years 5 months ago
2006
ACM
There is a growing need to access historical Ottoman documents stored in large archives and therefore managing tools for automatic searching, indexing and transcription of these d...
105
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...