Lecture Notes in Computer Science - System Analysis and Modeling: About Models
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642216510, 9783642216527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Requirements and Solutions for Timing Analysis of Automotive Systems

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_13 ◽

2011 ◽

pp. 209-220 ◽

Author(s):

Saoussen Anssi ◽

Sébastien Gérard ◽

Arnaud Albinet ◽

François Terrier

Keyword(s):

Timing Analysis ◽

Automotive Systems

Download Full-text

The SDL-UML Profile Revisited

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_7 ◽

2011 ◽

pp. 108-123

Author(s):

Alexander Kraas

Keyword(s):

Download Full-text

UML-Based Specification and Generation of Executable Web Services

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_6 ◽

2011 ◽

pp. 91-107 ◽

Author(s):

Wafi Dahman ◽

Jens Grabowski

Keyword(s):

Download Full-text

SDL Modules – Concepts and Tool Support

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_1 ◽

2011 ◽

pp. 1-17

Author(s):

Philipp Becker ◽

Marc Krämer

Keyword(s):

Download Full-text

Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_5 ◽

2011 ◽

pp. 72-90 ◽

Author(s):

Manuel Rodríguez-Cayetano

Keyword(s):

Design And Development

Download Full-text

A Developer-Friendly Approach for the Validation of Dynamic Compositions

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_2 ◽

2011 ◽

pp. 18-35

Author(s):

Jacqueline Floch ◽

Cyril Carrez

Download Full-text

Extensible and Automated Model-Evaluations with INProVE

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_12 ◽

2011 ◽

pp. 193-208 ◽

Author(s):

Sören Kemmann ◽

Thomas Kuhn ◽

Mario Trapp

Download Full-text

UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_11 ◽

2011 ◽

pp. 173-192 ◽

Author(s):

Asadullah Shaikh ◽

Uffe Kock Wiil ◽

Nasrullah Memon

Keyword(s):

Verification Of Models ◽

Efficient Verification

Download Full-text

A Case Study on API Generation

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_10 ◽

2011 ◽

pp. 156-172

Author(s):

Uwe Jugel ◽

André Preußner

Download Full-text

SDL Code Generation for Network Simulators

Lecture Notes in Computer Science - System Analysis and Modeling: About Models ◽

10.1007/978-3-642-21652-7_9 ◽

2011 ◽

pp. 144-155 ◽

Author(s):

Mihal Brumbulli ◽

Joachim Fischer

Keyword(s):

Code Generation ◽

Network Simulators

Download Full-text