SDL 2003: System Design - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540405399, 9783540450757
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesizing SDL from Use Case Maps: An Experiment

2003 ◽  
pp. 117-136 ◽  
Author(s):  
Yong He ◽  
Daniel Amyot ◽  
Alan W. Williams
Keyword(s):  
Use Case ◽  
Use Case Maps

Applying Mutation Analysis to SDL Specifications

2003 ◽  
pp. 269-284 ◽  
Author(s):  
Gábor Kovács ◽  
Zoltán Pap ◽  
Dung Le Viet ◽  
Antal Wu-Hen-Chang ◽  
Gyula Csopaki
Keyword(s):  
Mutation Analysis

The Winning Entry of the SAM 2002 Design Contest

2003 ◽  
pp. 387-403 ◽  
Author(s):  
Alan W. Williams ◽  
Robert L. Probert ◽  
Qing Li ◽  
Tae-Hyong Kim

Automatic Formal Model Generation and Analysis of SDL

2003 ◽  
pp. 285-299 ◽  
Author(s):  
Annikka Aalto ◽  
Nisse Husberg ◽  
Kimmo Varpaaniemi
Keyword(s):  
Formal Model ◽  
Model Generation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document