Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

RE
1998
Springer

favoriteEmaildiscussreport

70views Software Engineering» more RE 1998»

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

13 years 4 months ago

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Download sunsite.informatik.rwth-aachen.de

Patrick Heymans, Eric Dubois

Real-time Traffic

RE 1998 | Software Engineering |

claim paper

Related Content

» Behaviour model elaboration using partial labelled transition systems

» Monitoring and control in scenariobased requirements analysis

» Formal analysis of hardware requirements

» Deriving eventbased transition systems from goaloriented requirements models

» Putting Formal Specifications under the Magnifying Glass Modelbased Testing for Validation

» Goal and scenario validation a fluent combination

» Modeling and validation of serviceoriented architectures application vs style

» Composing Models for Detecting Inconsistencies A Requirements Engineering Perspective

» Formal Modeling of Space Shuttle Software Change Requests using SCR

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	RE
Authors	Patrick Heymans, Eric Dubois

Comments (0)