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

9783540672616, 9783540464280

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying RT-Z to Develop Safety-Critical Systems

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

10.1007/3-540-46428-x_5 ◽

2000 ◽

pp. 51-65 ◽

Cited By ~ 1

Author(s):

Carsten Sühl

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Foundations for Software Configuration Management Policies Using Graph Transformations

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

10.1007/3-540-46428-x_21 ◽

2000 ◽

pp. 304-318 ◽

Cited By ~ 4

Author(s):

Francesco Parisi-Presicce ◽

Alexander L. Wolf

Keyword(s):

Configuration Management ◽

Software Configuration Management ◽

Graph Transformations ◽

Software Configuration ◽

Management Policies

Download Full-text

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods

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

10.1007/3-540-46428-x_23 ◽

2000 ◽

pp. 334-348 ◽

Cited By ~ 7

Author(s):

Heike Wehrheim

Keyword(s):

Formal Methods ◽

Manufacturing System ◽

System A ◽

Automatic Manufacturing

Download Full-text

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

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

10.1007/3-540-46428-x_10 ◽

2000 ◽

pp. 127-146 ◽

Cited By ~ 34

Author(s):

G. Reggio ◽

E. Astesiano ◽

C. Choppy ◽

H. Hussmann

Keyword(s):

State Machines ◽

Formal Approach

Download Full-text

Formal Specification of Object-Oriented Meta-modelling

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

10.1007/3-540-46428-x_14 ◽

2000 ◽

pp. 193-207 ◽

Cited By ~ 9

Author(s):

Gunnar Övergaard

Keyword(s):

Formal Specification ◽

Object Oriented

Download Full-text

Essay on Software Engineering at the Turn of Century

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

10.1007/3-540-46428-x_1 ◽

2000 ◽

pp. 1-20 ◽

Cited By ~ 4

Author(s):

Władysław M. Turski

Keyword(s):

Software Engineering

Download Full-text

A Case Study on Using Automata in Control Synthesis

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

10.1007/3-540-46428-x_24 ◽

2000 ◽

pp. 349-362 ◽

Cited By ~ 2

Author(s):

Thomas Hune ◽

Anders Sandholm

Keyword(s):

Control Synthesis

Download Full-text

Software as Learning: Quality Factors and Life-Cycle Revised

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

10.1007/3-540-46428-x_11 ◽

2000 ◽

pp. 147-162 ◽

Cited By ~ 1

Author(s):

José Hernández-Orallo ◽

Ma José Ramírez-Quintana

Keyword(s):

Life Cycle ◽

Quality Factors

Download Full-text

Using Maude

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

10.1007/3-540-46428-x_27 ◽

2000 ◽

pp. 371-374 ◽

Cited By ~ 5

Author(s):

Manuel Clavel ◽

Fransisco Durán ◽

Steven Eker ◽

Patrick Lincoln ◽

Narciso Martí-Oliet ◽

...

Download Full-text

From Play-In Scenarios to Code: An Achievable Dream

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

10.1007/3-540-46428-x_3 ◽

2000 ◽

pp. 22-34 ◽

Cited By ~ 19

Author(s):

David Harel

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Applying RT-Z to Develop Safety-Critical Systems

Foundations for Software Configuration Management Policies Using Graph Transformations

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

Formal Specification of Object-Oriented Meta-modelling

Essay on Software Engineering at the Turn of Century

A Case Study on Using Automata in Control Synthesis

Software as Learning: Quality Factors and Life-Cycle Revised

Using Maude

From Play-In Scenarios to Code: An Achievable Dream

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