Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540261896, 9783540320326

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_6 ◽

2005 ◽

pp. 95-108 ◽

Author(s):

R. Geoff Dromey

Download Full-text

Operational Semantics of Security Protocols

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_4 ◽

2005 ◽

pp. 66-89 ◽

Author(s):

Cas Cremers ◽

Sjouke Mauw

Keyword(s):

Operational Semantics ◽

Security Protocols

Download Full-text

From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_13 ◽

2005 ◽

pp. 228-254 ◽

Author(s):

Ferhat Khendek ◽

Xiao Jun Zhang

Keyword(s):

Transport System

Download Full-text

Autonomous Shuttle System Case Study

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_5 ◽

2005 ◽

pp. 90-94 ◽

Author(s):

Holger Giese ◽

Florian Klein

Keyword(s):

Download Full-text

Partial Order Semantics of Sequence Diagrams for Mobility

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_12 ◽

2005 ◽

pp. 212-227

Author(s):

Piotr Kosiuczenko

Keyword(s):

Partial Order ◽

Sequence Diagrams ◽

Partial Order Semantics

Download Full-text

Traceability and Evaluation in Scenario Analysis by Use Case Maps

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_8 ◽

2005 ◽

pp. 134-151 ◽

Author(s):

Dorin B. Petriu ◽

Daniel Amyot ◽

Murray Woodside ◽

Bo Jiang

Keyword(s):

Scenario Analysis ◽

Use Case ◽

Download Full-text

Lightweight Formal Methods for Scenario-Based Software Engineering

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_10 ◽

2005 ◽

pp. 174-192 ◽

Author(s):

Yves Bontemps ◽

Patrick Heymans ◽

Pierre-Yves Schobbens

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Lightweight Formal Methods

Download Full-text

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_11 ◽

2005 ◽

pp. 193-211 ◽

Author(s):

Holger Giese ◽

Florian Klein ◽

Sven Burmester

Keyword(s):

Real Time ◽

Pattern Synthesis ◽

Multiple Scenarios ◽

Download Full-text

Scenario-Based Statistical Testing of Quality of Service Requirements

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_9 ◽

2005 ◽

pp. 152-173 ◽

Author(s):

Matthias Beyer ◽

Winfried Dulz

Keyword(s):

Quality Of Service ◽

Statistical Testing

Download Full-text

Applying Story Driven Modeling to the Paderborn Shuttle System Case Study

Scenarios: Models, Transformations and Tools - Lecture Notes in Computer Science ◽

10.1007/11495628_7 ◽

2005 ◽

pp. 109-133 ◽

Author(s):

Ira Diethelm ◽

Leif Geiger ◽

Albert Zündorf

Keyword(s):

Download Full-text