631 search results - page 14 / 127 » Deriving Specifications from Requirements: An Example |
117
Voted
CSCW
2004
ACM
15 years 1 months ago
2004
ACM
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...
131
Voted
UML
1998
Springer
15 years 6 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
117
click to vote
KI
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
148
click to vote
IFIP13
2004
15 years 3 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...