Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642548031, 9783642548048
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Probabilistic Model Checking and Non-standard Multi-objective Reasoning

2014 ◽  
pp. 1-16 ◽  
Author(s):  
Christel Baier ◽  
Clemens Dubslaff ◽  
Sascha Klüppelholz ◽  
Marcus Daum ◽  
Joachim Klein ◽  
...  
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking ◽  
Multi Objective ◽  
Objective Reasoning

scholarly journals Polymorphic Single-Pushout Graph Transformation

2014 ◽  
pp. 355-369 ◽  
Author(s):  
Michael Löwe ◽  
Harald König ◽  
Christoph Schulz
Keyword(s):  
Graph Transformation

scholarly journals Formal Verification of Medical Device User Interfaces Using PVS

2014 ◽  
pp. 200-214 ◽  
Author(s):  
Paolo Masci ◽  
Yi Zhang ◽  
Paul Jones ◽  
Paul Curzon ◽  
Harold Thimbleby
Keyword(s):  
Formal Verification ◽  
Medical Device ◽  
User Interfaces ◽  
Device User

scholarly journals Sound Merging and Differencing for Class Diagrams

2014 ◽  
pp. 63-78 ◽  
Author(s):  
Uli Fahrenberg ◽  
Mathieu Acher ◽  
Axel Legay ◽  
Andrzej Wąsowski
Keyword(s):  
Class Diagrams

scholarly journals An Expressive Semantics of Mocking

2014 ◽  
pp. 385-399 ◽  
Author(s):  
Josef Svenningsson ◽  
Hans Svensson ◽  
Nicholas Smallbone ◽  
Thomas Arts ◽  
Ulf Norell ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document