Models in Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642016479, 9783642016486
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FPTC: Automated Safety Analysis for Domain-Specific Languages

2009 ◽  
pp. 229-242 ◽  
Author(s):  
Richard F. Paige ◽  
Louis M. Rose ◽  
Xiaocheng Ge ◽  
Dimitrios S. Kolovos ◽  
Phillip J. Brooke
Keyword(s):  
Safety Analysis ◽  
Domain Specific Languages ◽  
Domain Specific

Translating AADL into BIP - Application to the Verification of Real-Time Systems

2009 ◽  
pp. 5-19 ◽  
Author(s):  
M. Yassin Chkouri ◽  
Anne Robert ◽  
Marius Bozga ◽  
Joseph Sifakis
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Ontology-Based Assessment of Functional Redundancy in Health Information Systems

2009 ◽  
pp. 213-226
Author(s):  
Alfred Winter ◽  
Alexander Strübing ◽  
Lutz Ißler ◽  
Birgit Brigl ◽  
Reinhold Haux
Keyword(s):  
Information Systems ◽  
Health Information ◽  
Health Information Systems ◽  
Functional Redundancy

The Grand Challenge of Scalability for Model Driven Engineering

2009 ◽  
pp. 48-53 ◽  
Author(s):  
Dimitrios S. Kolovos ◽  
Richard F. Paige ◽  
Fiona A. C. Polack
Keyword(s):  
Grand Challenge ◽  
Model Driven Engineering ◽  
Model Driven

scholarly journals Model Based Architecting and Construction of Embedded Systems

2009 ◽  
pp. 1-4
Author(s):  
Iulian Ober ◽  
Stefan Van Baelen ◽  
Susanne Graf ◽  
Mamoun Filali ◽  
Thomas Weigert ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Model Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document