1261 search results - page 142 / 253 » A taxonomy for identifying requirement interactions in softw... |
185
click to vote
MODELS
2009
Springer
16 years 26 days ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
166
click to vote
JSW
2008
15 years 6 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
165
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
146
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
149
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...