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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540657187, 9783540490203

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool Suite for Multi-Paradigm Specification

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

10.1007/978-3-540-49020-3_16 ◽

1999 ◽

pp. 234-238 ◽

Author(s):

Lynne Blair ◽

Trevor Jones ◽

Gordon Blair

Download Full-text

Owicki/Gries in Isabelle/HOL

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

10.1007/978-3-540-49020-3_13 ◽

1999 ◽

pp. 188-203 ◽

Author(s):

Tobias Nipkow ◽

Leonor Prensa Nieto

Download Full-text

On the Evolution of Reactive Components

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

10.1007/978-3-540-49020-3_11 ◽

1999 ◽

pp. 161-175 ◽

Author(s):

Markus Müller-Olm ◽

Bernhard Steffen ◽

Rance Cleaveland

Download Full-text

Dynamic Systems with Implicit State

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

10.1007/978-3-540-49020-3_8 ◽

1999 ◽

pp. 114-128 ◽

Author(s):

Marie-Claude Gaudel ◽

Carole Khoury ◽

Alexandre Zamulin

Keyword(s):

Dynamic Systems

Download Full-text

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems

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

10.1007/978-3-540-49020-3_6 ◽

1999 ◽

pp. 77-97 ◽

Author(s):

Eva Coscia ◽

Gianna Reggio

Keyword(s):

Concurrent Systems

Download Full-text

Continuous Engineering of Information and Communication Infrastructures

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

10.1007/978-3-540-49020-3_2 ◽

1999 ◽

pp. 22-29 ◽

Author(s):

Herbert Weber

Keyword(s):

Information And Communication

Download Full-text

Semantic-Driven Performance Evaluation

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

10.1007/978-3-540-49020-3_14 ◽

1999 ◽

pp. 204-218

Author(s):

Chiara Nottegar ◽

Corrado Priami ◽

Pierpaolo Degano

Keyword(s):

Performance Evaluation

Download Full-text

A Formal Framework with Late Binding

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

10.1007/978-3-540-49020-3_3 ◽

1999 ◽

pp. 30-44 ◽

Author(s):

Davide Ancona ◽

Maura Cerioli ◽

Elena Zucca

Keyword(s):

Formal Framework

Download Full-text

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories

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

10.1007/978-3-540-49020-3_7 ◽

1999 ◽

pp. 98-113 ◽

Author(s):

Wan Fokkink ◽

Chris Verhoef

Keyword(s):

Term Rewriting ◽

Conservative Extension ◽

Conditional Term ◽

Conditional Term Rewriting ◽

Software Renovation

Download Full-text

Executable Tile Specifications for Process Calculi

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

10.1007/978-3-540-49020-3_5 ◽

1999 ◽

pp. 60-76 ◽

Author(s):

Roberto Bruni ◽

José Meseguer ◽

Ugo Montanari

Keyword(s):

Process Calculi

Download Full-text