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

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540418634, 9783540453147

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Physical Programming: Beyond Mere Logic

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_1 ◽

2001 ◽

pp. 1-1 ◽

Author(s):

Bran Selic

Keyword(s):

Physical Programming

Download Full-text

Proving Deadlock Freedom in Component-Based Programming

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_6 ◽

2001 ◽

pp. 60-75 ◽

Author(s):

Paola Inverardi ◽

Sebastian Uchitel

Keyword(s):

Deadlock Freedom

Download Full-text

On Use Cases and Their Relationships in the Unified Modelling Language

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_11 ◽

2001 ◽

pp. 140-155 ◽

Author(s):

Perdita Stevens

Keyword(s):

Use Cases ◽

Modelling Language ◽

Unified Modelling Language

Download Full-text

Towards Development of Secure Systems Using UMLsec

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_14 ◽

2001 ◽

pp. 187-200 ◽

Author(s):

Jan Jürjens

Keyword(s):

Download Full-text

Grammar Testing

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_15 ◽

2001 ◽

pp. 201-216 ◽

Author(s):

Ralf Lämmel

Download Full-text

Metamodelling and Conformance Checking with PVS

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_2 ◽

2001 ◽

pp. 2-16 ◽

Author(s):

Richard F. Paige ◽

Jonathan S. Ostroff

Keyword(s):

Conformance Checking

Download Full-text

A Real-Time Execution Semantics for UML Activity Diagrams

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_7 ◽

2001 ◽

pp. 76-90 ◽

Author(s):

Rik Eshuis ◽

Roel Wieringa

Keyword(s):

Real Time ◽

Activity Diagrams ◽

Uml Activity Diagrams ◽

Execution Semantics

Download Full-text

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_23 ◽

2001 ◽

pp. 318-332 ◽

Author(s):

Natasha Sharygina ◽

James C. Browne ◽

Robert P. Kurshan

Keyword(s):

Software Reliability ◽

Object Oriented ◽

Reliability Design ◽

Object Oriented Analysis

Download Full-text

Compositional Checking of Communication among Observers

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_4 ◽

2001 ◽

pp. 32-44

Author(s):

Ralf Pinger ◽

Hans-Dieter Ehrich

Download Full-text

Semantics of Architectural Specifications in Casl

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_19 ◽

2001 ◽

pp. 253-268 ◽

Author(s):

Lutz Schröder ◽

Till Mossakowski ◽

Andrzej Tarlecki ◽

Bartek Klin ◽

Piotr Hoffman

Download Full-text