1937 search results - page 15 / 388 » Starting B Specifications from Use Cases |
MC
2008
15 years 1 months ago
2008
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
CLEIEJ
2002
14 years 11 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
107
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...
124
Voted
IFIP13
2004
15 years 1 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...