Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642125652, 9783642125669

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Experiences in Model Driven Verification of Behavior with UML

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_10 ◽

2010 ◽

pp. 181-200 ◽

Cited By ~ 4

Author(s):

Fabrice Kordon ◽

Yann Thierry-Mieg

Keyword(s):

Model Driven

Download Full-text

Client Synthesis for Aspect Oriented Web Services

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_2 ◽

2010 ◽

pp. 24-42

Author(s):

Mehdi Ben Hmida ◽

Serge Haddad

Keyword(s):

Web Services

Download Full-text

On Software Certification: We Need Product-Focused Approaches

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_13 ◽

2010 ◽

pp. 250-274 ◽

Cited By ~ 4

Author(s):

Alan Wassyng ◽

Tom Maibaum ◽

Mark Lawford

Keyword(s):

Software Certification

Download Full-text

Formal Reasoning about Software Object Translations

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_3 ◽

2010 ◽

pp. 43-58

Author(s):

Vladis Berzins ◽

Luqi ◽

Peter Musial

Keyword(s):

Formal Reasoning ◽

Software Object

Download Full-text

Revising the UML Collaborations: A Well-Founded Approach

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_1 ◽

2010 ◽

pp. 1-23

Author(s):

Egidio Astesiano ◽

Gianna Reggio

Download Full-text

Modelling and Verification of Relay Interlocking Systems

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_8 ◽

2010 ◽

pp. 141-153 ◽

Cited By ~ 17

Author(s):

Anne E. Haxthausen ◽

Marie Le Bliguet ◽

Andreas A. Kjær

Download Full-text

Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_6 ◽

2010 ◽

pp. 93-115 ◽

Cited By ~ 3

Author(s):

Claudiu Farcas ◽

Emilia Farcas ◽

Ingolf Krüger

Keyword(s):

Service Composition ◽

Large Scale ◽

Software Intensive

Download Full-text

Simulation of LET Models in Simulink and Ptolemy

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_5 ◽

2010 ◽

pp. 83-92 ◽

Cited By ~ 4

Author(s):

Patricia Derler ◽

Andreas Naderlinger ◽

Wolfgang Pree ◽

Stefan Resmerita ◽

Josef Templ

Download Full-text

On the Pragmatics of Model-Based Design

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_7 ◽

2010 ◽

pp. 116-140 ◽

Cited By ~ 9

Author(s):

Hauke Fuhrmann ◽

Reinhard von Hanxleden

Keyword(s):

Model Based

Download Full-text

Software Engineering Techniques for the Development of Systems of Systems

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12566-9_4 ◽

2010 ◽

pp. 59-82 ◽

Cited By ~ 13

Author(s):

Radu Calinescu ◽

Marta Kwiatkowska

Keyword(s):

Software Engineering ◽

Systems Of Systems

Download Full-text

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Experiences in Model Driven Verification of Behavior with UML

Client Synthesis for Aspect Oriented Web Services

On Software Certification: We Need Product-Focused Approaches

Formal Reasoning about Software Object Translations

Revising the UML Collaborations: A Well-Founded Approach

Modelling and Verification of Relay Interlocking Systems

Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

Simulation of LET Models in Simulink and Ptolemy

On the Pragmatics of Model-Based Design

Software Engineering Techniques for the Development of Systems of Systems

Foundations of Computer Software. Future Trends and Techniques for Development - Lecture Notes in Computer Science
Latest Publications