10263 search results - page 381 / 2053 » From Use Cases to System Operation Specifications |
163
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
156
click to vote
ECIS
2001
15 years 9 months ago
2001
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
238
click to vote
FASE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
209
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
200
click to vote
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...