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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540261896, 9783540320326

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Operational Semantics of Security Protocols

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

10.1007/11495628_4 ◽

2005 ◽

pp. 66-89 ◽

Cited By ~ 19

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 3

Author(s):

Holger Giese ◽

Florian Klein

Keyword(s):

Shuttle System

Download Full-text

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 ◽

Cited By ~ 8

Author(s):

R. Geoff Dromey

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 ◽

Cited By ~ 4

Author(s):

Matthias Beyer ◽

Winfried Dulz

Keyword(s):

Quality Of Service ◽

Statistical Testing

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 ◽

Cited By ~ 5

Author(s):

Dorin B. Petriu ◽

Daniel Amyot ◽

Murray Woodside ◽

Bo Jiang

Keyword(s):

Scenario Analysis ◽

Use Case ◽

Use Case Maps

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 4

Author(s):

Holger Giese ◽

Florian Klein ◽

Sven Burmester

Keyword(s):

Real Time ◽

Pattern Synthesis ◽

Multiple Scenarios ◽

Uml Models

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 ◽

Cited By ~ 6

Author(s):

Ira Diethelm ◽

Leif Geiger ◽

Albert Zündorf

Keyword(s):

Shuttle System

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Operational Semantics of Security Protocols

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

Autonomous Shuttle System Case Study

Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity

Scenario-Based Statistical Testing of Quality of Service Requirements

Partial Order Semantics of Sequence Diagrams for Mobility

Traceability and Evaluation in Scenario Analysis by Use Case Maps

Lightweight Formal Methods for Scenario-Based Software Engineering

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

Applying Story Driven Modeling to the Paderborn Shuttle System Case Study

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