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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_25 ◽

2009 ◽

pp. 229-242 ◽

Cited By ~ 11

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

Download Full-text

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

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_2 ◽

2009 ◽

pp. 5-19 ◽

Cited By ~ 24

Author(s):

M. Yassin Chkouri ◽

Anne Robert ◽

Marius Bozga ◽

Joseph Sifakis

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

DSL Tool Development with Transformations and Static Mappings

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_37 ◽

2009 ◽

pp. 356-370 ◽

Cited By ~ 1

Author(s):

Elina Kalnina ◽

Audris Kalnins

Keyword(s):

Tool Development

Download Full-text

Using Ontologies in the Domain Analysis of Domain-Specific Languages

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_35 ◽

2009 ◽

pp. 332-342 ◽

Cited By ~ 14

Author(s):

Robert Tairas ◽

Marjan Mernik ◽

Jeff Gray

Keyword(s):

Domain Analysis ◽

Domain Specific Languages ◽

Domain Specific

Download Full-text

Ontology-Based Assessment of Functional Redundancy in Health Information Systems

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_23 ◽

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

Download Full-text

Model-Based Traces

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_12 ◽

2009 ◽

pp. 109-119 ◽

Cited By ~ 9

Author(s):

Shahar Maoz

Keyword(s):

Model Based

Download Full-text

Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_36 ◽

2009 ◽

pp. 343-355 ◽

Cited By ~ 1

Author(s):

Georgia M. Kapitsaki ◽

Iakovos S. Venieris

Keyword(s):

Web Service ◽

Web Applications ◽

Context Aware ◽

Context Management ◽

Model Driven Development ◽

Model Driven ◽

Management Architecture

Download Full-text

The Grand Challenge of Scalability for Model Driven Engineering

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_5 ◽

2009 ◽

pp. 48-53 ◽

Cited By ~ 13

Author(s):

Dimitrios S. Kolovos ◽

Richard F. Paige ◽

Fiona A. C. Polack

Keyword(s):

Grand Challenge ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

Triple Graph Grammars or Triple Graph Transformation Systems?

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_15 ◽

2009 ◽

pp. 138-150 ◽

Cited By ~ 1

Author(s):

Thomas Buchmann ◽

Alexander Dotor ◽

Bernhard Westfechtel

Keyword(s):

Graph Transformation ◽

Graph Grammars ◽

Triple Graph Grammars ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Model Based Architecting and Construction of Embedded Systems

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01648-6_1 ◽

2009 ◽

pp. 1-4

Author(s):

Iulian Ober ◽

Stefan Van Baelen ◽

Susanne Graf ◽

Mamoun Filali ◽

Thomas Weigert ◽

...

Keyword(s):

Embedded Systems ◽

Model Based

Download Full-text

Models in Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

FPTC: Automated Safety Analysis for Domain-Specific Languages

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

DSL Tool Development with Transformations and Static Mappings

Using Ontologies in the Domain Analysis of Domain-Specific Languages

Ontology-Based Assessment of Functional Redundancy in Health Information Systems

Model-Based Traces

Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture

The Grand Challenge of Scalability for Model Driven Engineering

Triple Graph Grammars or Triple Graph Transformation Systems?

Model Based Architecting and Construction of Embedded Systems

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