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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540643036, 9783540697237

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Moby/plc — A design tool for hierarchical real-time automata

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

10.1007/bfb0053601 ◽

1998 ◽

pp. 326-329 ◽

Author(s):

Josef Tapken

Keyword(s):

Real Time ◽

Download Full-text

Behaviour analysis and safety conditions: A case study in CML

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

10.1007/bfb0053595 ◽

1998 ◽

pp. 255-269 ◽

Author(s):

Hanne Riis Nielson ◽

Torben Amtoft ◽

Flemming Nielson

Keyword(s):

Behaviour Analysis

Download Full-text

Backtracking-free design planning by automatic synthesis in metaframe

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

10.1007/bfb0053591 ◽

1998 ◽

pp. 188-204 ◽

Author(s):

Tiziana Margaria ◽

Bernhard Steffen

Keyword(s):

Automatic Synthesis ◽

Design Planning

Download Full-text

Observational proofs with critical contexts

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

10.1007/bfb0053582 ◽

1998 ◽

pp. 38-53 ◽

Author(s):

Narjes Berregeb ◽

Adel Bouhoula ◽

MichaËl Rusinowitch

Download Full-text

ALBERT: A formal language and its supporting tools for requirements engineering

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

10.1007/bfb0053600 ◽

1998 ◽

pp. 322-325 ◽

Author(s):

Eric Dubois

Keyword(s):

Requirements Engineering ◽

Formal Language

Download Full-text

Specifying safety-critical embedded systems with statecharts and Z: A case study

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

10.1007/bfb0053584 ◽

1998 ◽

pp. 71-87 ◽

Author(s):

Robert Büssow ◽

Robert Geisler ◽

Marcus Klar

Keyword(s):

Embedded Systems ◽

Safety Critical

Download Full-text

Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms

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

10.1007/bfb0053594 ◽

1998 ◽

pp. 239-254 ◽

Author(s):

JN Reed ◽

DM Jackson ◽

B Deianov ◽

GM Reed

Keyword(s):

Flow Control ◽

Formal Analysis ◽

Control Mechanisms

Download Full-text

Algebra transformation systems and their composition

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

10.1007/bfb0053586 ◽

1998 ◽

pp. 107-122 ◽

Author(s):

Martin Grö\e-Rhode

Keyword(s):

Transformation Systems

Download Full-text

Reflections on the design of a specification language

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

10.1007/bfb0053589 ◽

1998 ◽

pp. 154-170 ◽

Author(s):

Stefan Kahrs ◽

Donald Sannella

Keyword(s):

Specification Language

Download Full-text

Constructs, concepts and criteria for reuse in concurrent object-oriented languages

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

10.1007/bfb0053590 ◽

1998 ◽

pp. 171-187

Author(s):

Ulrike Lechner

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text