Loading...
Please wait, while we are loading the content...
Similar Documents
Lamsweerde. “Deriving Tabular Event-Based Specifications from GoalOriented Requirements Models (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Renaud De, L. Letier, Emmanuel Lamsweerde, Axel Van |
| Description | In RE’03 |
| File Format | |
| Language | English |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Systematic Support Control Software Kaos Source Language Goal Specification Behavior Model Sophisticated Technique Scr Target Language Transformation Step Table Exhaustiveness Check Operational Specification Incremental Elaboration Model Checking Abnormal Environment Behavior Software Requirement Software Behavior Model Operational Model Operational Requirement Tabular Event-based Specification Technique Scr Specifier Kaos Goal-oriented Method Tabular Event-based Method Upstream Goal-based Process Semantic Subtlety Various Technique Multiple Formalism Goal-oriented Method Human Intervention Requirement Model Early Analysis Scr Tabular Language Kaos Modeler Syntactic Difference Event-based Specification Downstream Table Late Analysis |
| Content Type | Text |
| Resource Type | Article |