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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540418634, 9783540453147

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Grammar Testing

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

10.1007/3-540-45314-8_15 ◽

2001 ◽

pp. 201-216 ◽

Cited By ~ 39

Author(s):

Ralf Lämmel

Download Full-text

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 ◽

Cited By ~ 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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 64

Author(s):

Jan Jürjens

Keyword(s):

Secure Systems

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 35

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 ◽

Cited By ~ 15

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

On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design

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

10.1007/3-540-45314-8_12 ◽

2001 ◽

pp. 156-170 ◽

Cited By ~ 2

Author(s):

Francis Bordeleau ◽

Jean-Pierre Corriveau

Keyword(s):

State Machine ◽

Machine Design

Download Full-text

Fundamental Approaches to Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Grammar Testing

Physical Programming: Beyond Mere Logic

Proving Deadlock Freedom in Component-Based Programming

On Use Cases and Their Relationships in the Unified Modelling Language

Towards Development of Secure Systems Using UMLsec

Metamodelling and Conformance Checking with PVS

A Real-Time Execution Semantics for UML Activity Diagrams

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

Compositional Checking of Communication among Observers

On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design

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