SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540749837, 9783540749844

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using TTCN for Radio Conformance Test Systems

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_5 ◽

2007 ◽

pp. 69-85 ◽

Cited By ~ 1

Author(s):

Javier Poncela-González ◽

Juan Gómez-Salvador ◽

Carlos Valero-Roldán ◽

Unai Fernández-Plazaola

Keyword(s):

Conformance Test ◽

Test Systems

Download Full-text

Formal Verification of Use Case Maps with Real Time Extensions

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_14 ◽

2007 ◽

pp. 225-241 ◽

Cited By ~ 7

Author(s):

Jameleddine Hassine ◽

Juergen Rilling ◽

Rachida Dssouli

Keyword(s):

Formal Verification ◽

Real Time ◽

Use Case ◽

Use Case Maps

Download Full-text

Consistency of UML/SPT Models

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_13 ◽

2007 ◽

pp. 203-224 ◽

Cited By ~ 5

Author(s):

Abdelouahed Gherbi ◽

Ferhat Khendek

Download Full-text

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_11 ◽

2007 ◽

pp. 166-185 ◽

Cited By ~ 10

Author(s):

Frank Alexander Kraemer ◽

Rolv Bræk ◽

Peter Herrmann

Download Full-text

Specifying Input Port Bounds in SDL

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_7 ◽

2007 ◽

pp. 101-116 ◽

Cited By ~ 2

Author(s):

Reinhard Gotzhein ◽

Rüdiger Grammes ◽

Thomas Kuhn

Keyword(s):

Input Port

Download Full-text

Enhanced Use Case Map Traversal Semantics

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_9 ◽

2007 ◽

pp. 133-149 ◽

Cited By ~ 7

Author(s):

Jason Kealey ◽

Daniel Amyot

Keyword(s):

Use Case

Download Full-text

TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_4 ◽

2007 ◽

pp. 54-68 ◽

Cited By ~ 4

Author(s):

Edith Werner ◽

Jens Grabowski ◽

Helmut Neukirchen ◽

Nils Röttger ◽

Stephan Waack ◽

...

Keyword(s):

Quality Engineering ◽

Learning Techniques

Download Full-text

SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_17 ◽

2007 ◽

pp. 272-288

Author(s):

Tae-Hyong Kim ◽

Qi-Ping Yang ◽

Soon-Gi Park ◽

Yeun-Seung Shin

Keyword(s):

Performance Evaluation ◽

Mobility Management ◽

Management Technique ◽

3Gpp Lte ◽

And Performance

Download Full-text

Automated Generation of Micro Protocol Descriptions from SDL Design Specifications

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_10 ◽

2007 ◽

pp. 150-165 ◽

Cited By ~ 1

Author(s):

Ingmar Fliege ◽

Reinhard Gotzhein

Keyword(s):

Automated Generation ◽

Design Specifications

Download Full-text

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74984-4_15 ◽

2007 ◽

pp. 242-257

Author(s):

Guillaume Châtelet ◽

Benoit Parreaux ◽

Yves-Marie Quemener

Download Full-text

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using TTCN for Radio Conformance Test Systems

Formal Verification of Use Case Maps with Real Time Extensions

Consistency of UML/SPT Models

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications

Specifying Input Port Bounds in SDL

Enhanced Use Case Map Traversal Semantics

TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets

SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems

Automated Generation of Micro Protocol Descriptions from SDL Design Specifications

Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry

SDL 2007: Design for Dependable Systems - Lecture Notes in Computer Science
Latest Publications