Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540297970, 9783540322504
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

2005 ◽  
pp. 450-464 ◽  
Author(s):  
Ana C. R. Paiva ◽  
João C. P. Faria ◽  
Nikolai Tillmann ◽  
Raul A. M. Vidal
Keyword(s):  
Gui Testing ◽  
Model Based ◽  
Mapping Tool

29 New Unclarities in the Semantics of UML 2.0 State Machines

2005 ◽  
pp. 52-65 ◽  
Author(s):  
Harald Fecher ◽  
Jens Schönborn ◽  
Marcel Kyas ◽  
Willem-Paul de Roever
Keyword(s):  
State Machines ◽  
Uml 2.0
Load More ...
Sign in / Sign up

Export Citation Format

Share Document