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

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540694885, 9783540694892

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Summary of the Workshop [email protected] at MoDELS 2006

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_28 ◽

2007 ◽

pp. 227-231 ◽

Author(s):

Nelly Bencomo ◽

Gordon Blair ◽

Robert France

Download Full-text

Towards Model-Driven Unit Testing

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_23 ◽

2007 ◽

pp. 182-192 ◽

Author(s):

Gregor Engels ◽

Baris Güldali ◽

Marc Lohmann

Keyword(s):

Unit Testing ◽

Download Full-text

Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_34 ◽

2007 ◽

pp. 278-287 ◽

Author(s):

Muhammad Alam

Keyword(s):

Security Requirements ◽

Collaborative Systems ◽

Security Engineering ◽

Model Driven ◽

Dynamic Security

Download Full-text

If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_36 ◽

2007 ◽

pp. 291-300

Author(s):

James Vallino

Keyword(s):

Software Engineering ◽

Engineering Program

Download Full-text

Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_2 ◽

2007 ◽

pp. 6-16 ◽

Author(s):

Roberto E. Lopez-Herrejon ◽

Don Batory

Keyword(s):

Use Case ◽

Product Lines ◽

Exploratory Case Study

Download Full-text

2 nd UML 2 Semantics Symposium: Formal Semantics for UML

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_39 ◽

2007 ◽

pp. 318-323 ◽

Author(s):

Manfred Broy ◽

Michelle L. Crane ◽

Juergen Dingel ◽

Alan Hartman ◽

Bernhard Rumpe ◽

...

Keyword(s):

Formal Semantics

Download Full-text

Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_5 ◽

2007 ◽

pp. 32-41 ◽

Author(s):

Martin Ouimet ◽

Guillaume Berteau ◽

Kristina Lundqvist

Keyword(s):

State Machine ◽

Machine Language ◽

Electronic Throttle ◽

Abstract State Machine

Download Full-text

Time Exceptions in Sequence Diagrams

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_17 ◽

2007 ◽

pp. 131-142 ◽

Author(s):

Oddleif Halvorsen ◽

Ragnhild Kobro Runde ◽

Øystein Haugen

Keyword(s):

Sequence Diagrams

Download Full-text

Queries and Constraints: A Comprehensive Semantic Model for UML2

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_41 ◽

2007 ◽

pp. 327-328 ◽

Author(s):

Ingolf H. Krüger ◽

Massimiliano Menarini

Keyword(s):

Download Full-text

Educators’ Symposium at MoDELS 2006

Models in Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69489-2_35 ◽

2007 ◽

pp. 288-290

Author(s):

Ludwik Kuzniarz

Download Full-text