Cornel Klein, Bernhard Rumpe, Manfred Broy
A stream-based mathematical model for distributed
1. Introduction FROM MSCS TO STATECHARTS (2008)
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
We present a first step towards a seamless integration of MSCs
Model-based Testing of Reactive Systems A Seminar Volume 19 Model checking (2008)
Manfred Broy, Bengt Jonsson, Joost-pieter Katoen, Martin Leucker, Alexander Pretschner (eds, Therese Berg, ...
When developing hard- or software systems one starts with a collection of requirements. Most requirements arise due to the needs of the customer, others originate from design decisions and further...
Verification of Parallel Programs with (2008)
Leonor Prensa Nieto, Leonor Prensa Nieto, Dr. Manfred Broy
This thesis presents the first formalization of the Owicki-Gries method and its compositional version, the rely-guarantee method, in a theorem prover. These methods are widely used for correctness...
SecuMedia Verlag Die Deutsche Bibliothek – CIP-Einheitsaufnahme (2008)
Integrierte Gebäudesysteme, Sicherheit Und Märkte, Integrierte Gebäudesysteme, Sicherheit Und Märkte, Prof Dr, Manfred Broy, ...
in der Informationstechnik (BSI) in einer interdisziplinären Kooperation
White Paper Model-Based Software and Systems Development (2008)
Bernhard Schätz, Manfred Broy, Franz Huber, Wolfgang Prenninger, Er Pretschner, Bernhard Rumpe
The construction of reliable (embedded) software can be significantly improved using explicit model-based toolsupported development process. Research results suggest that such a process can...
Workshop Mobile and Embedded Interactive Systems (MEIS'06) (2008)
Albrecht Schmidt, Michael Rohs, Manfred Broy, Elisabeth André
1 Workshop Theme Interaction with mobile devices and embedded systems has become a part of everyday life. As mobile devices get more sophisticated and embedded systems are increasingly interconnected...
Produktentwicklungsprozessen im (2008)
Fakultät Für Informatik, Sylvia Pohlmann, Fakultät Für Informatik, Sylvia Pohlmann, ...
Workflow-Unterstützung von
We study discrete models of interactive distributed systems structured into components and operating concurrently in a time frame. For such models of the data or signal flow in interactive system we...
Abstract Refinement of Time 1) (2008)
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with...
Manfred Broy, Fakultät Für Informatik
We deal with the concept of a component considered as a black box that is a physical encapsulation of related services according to a published specification. These services can only be accessed...
2nd uml 2 semantics symposium: Formal semantics for uml (2008)
Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic, ...
Abstract. The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback...
Produktentwicklungsprozesses im (2008)
Fakultät Für Informatik, Christine Kühberger, Fakultät Für Informatik, Produktentwicklungsprozesses Im, ...
Workflow-Unterstützung des
Abstract. Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectures. In...
Exploring Service-Oriented Software Development for Automotive Systems (2008)
Fakultät Für Informatik, Sabine Rittmann, Manfred Broy
und Hilfsmittel verwendet habe.
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe, Michelle Crane, Jürgen Dingel, Zinovy Diskin, ...
Alle Rechte vorbehalten Nachdruck auch auszugsweise verboten c○2006 Druck: Institut für Informatik der
Multi-View Modelling of Software Systems Extended Abstract (2008)
Abstract. Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting subsystems we introduce a formal model and a theory that covers two essentially...
Multi-View Modelling of Software Systems Extended Abstract (2008)
Abstract. Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting subsystems we introduce a formal model and a theory that covers two essentially...
1 Abstract Evolutionary Development of Software Architectures 1 (2008)
Today’s software development projects are confronted with a frequently changing environment: rapidly altering business domains and processes, fast technology evolution, great variety of evolving...
ABSTRACT SUCCESS AND FAILURE OF 1000 FIRST SEMESTER CS STUDENTS (2008)
In the fall of 2001 we faced the challenge to teach nearly
1 Abstract Evolutionary Development of Software Architectures 1 (2008)
Today’s software development projects are confronted with a frequently changing environment: rapidly altering business domains and processes, fast technology evolution, great variety of evolving...
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Model for the UML Version 2.0 Informatik-Bericht 2008-06
Martin Wirsing, Manfred Broy, Sabine Dick, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Humann, ...
1, Stefan Gastinger 2, Maritta Heisel 1, Friedrich von Henke
Martin Wirsing, Manfred Broy, Sabine Dick, Klaus Didrich, Wolfgang Grieskamp, Heinrich Humann, ...
4 + Members of working group: Martin Beyer 1, Stefan Gastinger 2, Maritta Heisel
Characterizing the Behavior of Reactive Systems by Trace Sets (2007)
Manfred Broy, Frank Dederichs, Claus Dendorfer, Rainer Weber
The behavior of an asynchronous reactive system can be described by its set of action traces. In this paper, we investigate which properties a trace set fulfills describing a reactive system where...
Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu, Gheorghe Stef Anescu
The unified modeling language (UML) developed under the coordination of the Object Management Group (OMG) is one of the most important standards for the specification and design of object oriented...
HOPSA - a High-level Programming Language for Parallel Computations (2007)
Manfred Broy, Claus Dendorfer, Ketil Stølen
The use of massive parallel computer architectures for the solution of computation intensive tasks requires specific programming concepts and thus makes programming more difficult. This is because...
A Denotational Model for Mobile Point-to-Point Data- ow Networks with Channel Sharing (2007)
M Unchen, Radu Grosu, Radu Grosu, Ketil St Len, Ketil St Len, ...
Nachdruck auch auszugsweise verboten
Requirements Engineering for Embedded Systems 1) (2007)
In requirements engineering for embedded systems the fundamental functional and non-functional requirements for a system with an embedded software system are discussed, captured, analysed, validated,...
Interpreter Veri cation for a Functional Language (2007)
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
Abstract. Starting from a denotational and a term-rewriting based operational semantics (an interpreter) for a small functional language, we present a correctness proof of the interpreter w.r.t. the...
Requirements Engineering for Embedded Systems 1) (2007)
In requirements engineering for embedded systems the fundamental functional and non-functional requirements for a system with an embedded software system are discussed, captured, analysed, validated,...
From States to Histories Relating State and History Views onto Systems (2007)
Abstract. We present a method for the modular specification and abstract implementation of distributed systems as well as for proving their safety and liveness properties. We represent systems by...
Abstract. This paper aims at a mathematical foundation of flexible information processing architectures that support the mobility and dynamics of systems by a formal system model.
Adapting Calculational Logic to the Undefined (2007)
We adapt the Dijkstra/Scholten calculational logic to partial functions in a way that preserves the fixed point rule.
HOPSA --- a High-level Programming Language (2007)
For Parallel Computations, Manfred Broy, Claus Dendorfer, Ketil St Len
The use of massive parallel computer architectures for the solution of computation intensive tasks requires specific programming concepts and thus makes programming more difficult. This is because...
Advanced Component Interface Specification 1) (2007)
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the specification of...
Mathematical Methods in System and Software Engineering * (2007)
Today, there is still a remarkable gap between the techniques and methods used in practice in software engineering and the formal techniques worked out and advocated by academics. Our goal is to...
Manfred Broy, Manfred Broy, Monika Schmidt, Monika Schmidt, Ernst Denert, ...
TUM-INFO-11-I9746-200/1.-FI Alle Rechte vorbehalten Nachdruck auch auszugsweise verboten ©1997
by State Transition Diagrams *) (2007)
Nachdruck auch auszugsweise verboten c1997 Druck: Institut für Informatik der
PSMT -- ICSE 98 Workshop on (2007)
Precise Semantics For, Manfred Broy, Tu Munchen
INTRODUCTION Over the last few years, it is being more and more often recognized that the worlds of Formal Methods and the CASE tool supported modelling techniques must come together to provide...
1. Introduction FROM MSCS TO STATECHARTS (2007)
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
this paper we showed how to translate scenario-based system requirements into state-based system designs
Jos van Hillegersberg, University of Twente (2007)
Edited Jos, Van Hillegersberg, Frank Harmsen, Dr. Eva Geisberger, Patrick Keil, Marco Kuhrmann, ...
on
Software engineering for automotive systems: A roadmap (2007)
Er Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
Alexander Pretschner is a senior researcher at ETH Zürich, Switzerland, currently concentrating on model-based testing and distributed usage control. He holds master’s degrees in computer science...
Demystifying maintainability (2006)
Manfred Broy, Florian Deissenboeck, Markus Pizka
Due to its economic impact “maintainability ” is broadly accepted as an important quality attribute of software systems. But in contrast to attributes such as performance and correctness, there...
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland (2006)
Broy, Manfred, Jarke, Matthias, Nagl, Manfred, Rombach, Hans Dieter, Cremers, Armin B., Ebert, Jürgen, ...
Im Rahmen des Dagstuhl Perspektiven Workshop 05402 "Challenges for Software Engineering Research" haben führende Software Engineering Professoren den derzeitigen Stand der Softwaretechnik in...
Jewgenij Botaschanjan, Andreas Fleischmann, Tobias Hain, Jan Romberg, Dr. Bernhard Schätz, Dr. Oscar Slotosch, ...
1
ACKNOWLEDGEMENTS Thanks... (2003)
Fakultät Für Informatik, Prof Dr, Manfred Broy, Andreas Bauer, Datum Unterschrift, Prof Dr, ...
to my project instructors — Dr. Markus Pizka, Dr. Clem Baker-Finch, and
Gerd Beneken, Ulrike Hammerschall, Manfred Broy, María Victoria, Cengarle Jan, Jürjens Bernhard Rumpe, ...
Components and component-based technologies (componentware) are well-known and widely used in software development. There is a large amount of work and research in componentware. The number of...
Gerd Beneken, Ulrike Hammerschall, Manfred Broy, María Victoria, Cengarle Jan, Jürjens Alexander Pretschner, ...
Components and component-based technologies (componentware) are well-known and widely used in software development. There is a large amount of work and research in componentware. The number of...
A Formal Model for Componentware (2000)
Klaus Bergner, Andreas Rausch, Marc Sihling, Er Vilbig, Manfred Broy
In this paper, we outline and clarify our view of the essential concepts of componentware, focusing on the role of formal foundations in the context of an overall development methodology. We provide...
A Formal Model for Componentware (2000)
Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Er Vilbig, Manfred Broy
We present a formal model for component systems which provides precise mathematical definitions for concepts like component, interface, type and instance, as well as dynamic behavior and changes of...
Algebraic state machines (2000)
Abstract. We introduce the concept of an algebraic state machine. This is a state transition machine all parts of that are described by algebraic and logical means. This way we base the description...
Klaus Bergner, Radu Grosu, Andreas Rausch, Er Schmidt, Peter Scholz, Manfred Broy
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and...
Frank Keienburg, Fakultät Für Informatik, Frank Keienburg, Aufgabensteller Prof, Dr. Manfred Broy, Betreuer Dipl, ...
ii Erklärung: Ich versichere, dass ich diese Diplomarbeit selbständig verfasst und nur die angegebenen Quellen und Hilfsmittel verwendet habe.
Klaus Bergner, Radu Grosu, Andreas Rausch, Er Schmidt, Peter Scholz, Manfred Broy
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and...
A logical basis for component-based systems engineering (1999)
Abstract. In a systematic development of distributed interactive software systems composed of components we work with a basic system model and description techniques providing specific views and...
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Er Schmidt, Peter Scholz, ...
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and...
FROM MSCS TO STATECHARTS (1999)
Ingolf Krger, Radu Grosu, Peter Scholz, Manfred Broy
We present a first step towards a seamless integration of MSCs into the system development process. In particular, we show how scenario-based system requirements, captured in the early system...
Algebraic Specification of Concurrent Systems (1999)
Egidio Astesiano, Manfred Broy, Gianna Reggio
State Machines" (ASM). 13.4.1 Evolving algebras (abstract state machines) The basic idea of the "evolving algebras" (see, for instance, [Gur93,Gur95]) is perfectly summarized by their...
Klaus Bergner, Radu Grosu, Andreas Rausch, Er Schmidt, Peter Scholz, Manfred Broy
In this paper, we motivate the importance of the field of mobile computing and give an overview over current practical and formal approaches. We argue that the existing formalisms are not...
Klaus Bergner, Radu Grosu, Andreas Rausch, Er Schmidt, Peter Scholz, Manfred Broy
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and...
Adapting Calculational Logic to the Undefined (1999)
Schieder, Birgit, Broy, Manfred
We adapt the Dijkstra/Scholten calculational logic to partial functions in a way that preserves the fixed point rule.
Workshop on "Requirements Targeting Software and Systems Engineering" (1998)
Broy, Manfred, Rumpe, Bernhard
The intended focus of the workshop was on unified sets of formal models and associated methods suitable for automation for many aspects of software development, in particular those that address...
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques,...
Perspectives of System Informatics (1998)
Bjorner, Dines, Broy, Manfred, Zamulin, Alexandre
The volume comprises extended abstracts of the papers selected for the presentation at the Third International Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok...
Andrei Ershov 4th International Conference on Perspectives of System Informatics (1998)
Bjorner, Dines, Broy, Manfred, Zamulin, Alexandre
The volume comprises the papers presented at Andrei Ershov Fourth International Conference "Perspectives of System Informatics" held in Akademgorodok (Novosibirsk, Russia), July 2-6, 2001. Various...
Software and system modeling based on a unified formal semantics (1998)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as...
A modular visual model for hybrid systems (1998)
Radu Grosu, Thomas Stauner, Manfred Broy, Tu München
Abstract. Visual description techniques are particularlyimportant for the design of hybrid systems because specifications of such systems must usuallybe discussed between engineers from a number of...
Software and System Modeling Based on a Unified Formal Semantics (1998)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
. Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques...
A Modular Visual Model for Hybrid Systems (1998)
Radu Grosu Thomas, Thomas Stauner, Manfred Broy
. Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a number of...
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a distributed system. We...
Enriching the Software Development Process by Formal Methods (1998)
. We describe a software development process designed for an integration and usage of formal methods into practical software process models in a scalable way. Our process model is an extension of the...
A Modular Visual Model for Hybrid Systems (1998)
Radu Grosu, Thomas Stauner, Manfred Broy
. Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a number of...
PSMT - ICSE 98 Workshop on Precise Semantics for Software Modeling Techniques (1998)
Manfred Broy, Derek Coleman, Bernhard Rumpe, Tu Munchen, Tu Munchen
INTRODUCTION Over the last few years, it is being more and more often recognized that the worlds of Formal Methods and the CASE tool supported modelling techniques must come together to provide...
A graphical description technique for communication in software architectures (1997)
Manfred Broy, Christoph Hofmann, Ingolf Krger, Monika Schmidt
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this paper we use an enhanced variant of Extended...
Mathematical Methods in System and Software Engineering (1997)
Today, there is still a remarkable gap between the techniques and methods used in practice in software engineering and the formal techniques worked out and advocated by academics. Our goal is to...
A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing (1997)
Sprecher Sfb, Radu Grosu, Radu Grosu, Ketil Stølen, Ketil Stlen, ...
We present a fully abstract, denotational model for mobile, timed, nondeterministic data-flow networks whose components communicate in a point-to-point fashion. In this model components and networks...
A graphical description technique for communication in software architectures (1997)
Manfred Broy, Manfred Broy, Christoph Hofmann, ...
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this paper we use an enhanced variant of Extended...
Using Extended Event Traces to Describe Communication in Software Architectures (1997)
Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of Extended Event...
A Graphical Description Technique for Communication in Software Architectures (1997)
Ingolf Kr Uger, Manfred Broy, Manfred Broy, Christoph Hofmann, Christoph Hofmann, ...
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this paper we use an enhanced variant of Extended...
Using Extended Event Traces to Describe Communication in Software (1997)
Architectures Manfred Broy, Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of Extended Event...
State transition diagrams (1996)
Nachdruck auch auszugsweise verboten c fl1997
Graphical Development of Consistent System Specifications (1996)
Bernhard Schätz, Heinrich Hußmann, Manfred Broy
Abstract. While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical...
Graphical Development of Consistent System Specifications (1996)
Bernhard Schätz, Heinrich Hußmann, Manfred Broy
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description...
Algebraic Specification of Reactive Systems (1996)
. We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra....
State Transition Diagrams (1996)
Radu Grosu, Radu Grosu, Cornel Klein, Cornel Klein, Bernhard Rumpe, ...
In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent...
A Functional Solution to the RPC-Memory Specification Problem (1996)
We give a functional specification of the syntactic interface and the blackboxbehavior of an unreliable and a reliable memory component and a remote procedure (RPC) call component. The RPC component...
Algebraic Specification of Reactive Systems (1996)
We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra....
The Algebra of Stream Processing Functions (1996)
Anforderungen Prof, Dr. A. Bode, Sprecher Sfb, Manfred Broy, ...
. Dataflow networks are a model of concurrent computation. They consist of a collection of concurrent asynchronous processes which communicate by sending data over FIFO channels. In this paper we...
Meta-modeling in ConceptBase Demonstrated on FUSION (1996)
Praktische Semesterarbeit Informatik, Eckhart V. Hahn, Aufgabensteller Prof, Dr. Manfred Broy, Themenbetreuerin Dr. Barbara Paech
Meta-models may describe the abstract concepts of a software development method. The application of a formal meta-model to a particular software project is especially important during the early...
Graphical development of consistent system specifications (1996)
Manfred Broy, Heinrich Hußmann, Bernhard Schätz
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description...
Towards a Mathematical Concept of a Component and Its Use (1996)
Manfred Broy, Fakultt Fr Informatik
We deal with the concept of a component considered as a black box that is a physical encapsulation of related services according to a published specification. These services can only be accessed...
A Functional Solution to the RPC-Memory Specification Problem (1996)
. We give a functional specification of the syntactic interface and the black box behavior of an unreliable and a reliable memory component and a remote procedure (RPC) call component. The RPC...
Cornel Klein, Bernhard Rumpe, Manfred Broy
In the SysLab-project, we develop a software engineering method based on a mathematical foundation. The SysLab system model serves as an abstract mathematical model for information systems and their...
State Transition Diagrams (1996)
Radu Grosu, Radu Grosu, Cornel Klein, ...
In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous...
We describe systems and their components by functional speci cation techniques. We de ne notions of interface and interaction re nement for interactive systems and their components. These notions of...
Mathematical system models as a basis of software engineering (1995)
Abstract. We give mathematical system models as a basis for system speci cation, system development by re nement, and system implementation. It provides a simple homogeneous mathematical and logical...
Advanced Component Interface Specification (1995)
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the specification of...
Structured Specifications and Implementation of Nondeterministic Data Types (1995)
The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data...
Equations for Describing Dynamic Nets of Communicating Systems (1995)
. We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical systems of recursive...
A Functional Rephrasing of the Assumption/Commitment Specification Style (1995)
The assumption/commitment (also called rely/guarantee) style has been advocated for the specification of interactive components of distributed systems. One of its motivations is to achievemodularity...
On the Design and Verification of a Simple Distributed Spanning Tree Algorithm (1995)
The design of a distributed algorithm for computing a minimal distance spanning tree is carried out as a case study for the systematic derivation of a distributed algorithm in a functional setting. A...
Compositional Refinement of Interactive Systems (1995)
We describe systems and their components by functional specification techniques. We define notions of interface and interaction refinement for interactive systems and their components. These notions...
A Functional Rephrasing of the Assumption/Commitment Specification Style (1995)
In 399 B.C. Dionysius the Elder, ruler of the Greek colony of Syracuse in Sicily, prepared his city for a long war with Carthage by undertaking search and development program". Utilizing such...
Mathematical System Models as a Basis of Software Engineering (1995)
. We give mathematical system models as a basis for system specification, system development by refinement, and system implementation. It provides a simple homogeneous mathematical and logical...
Functional Specification Of Time Sensitive Communicating Systems (1995)
A formal model and a logical framework for the functional specification of time sensitive communicating systems and their interacting components is outlined. The specification method is modular with...
Specification and Refinement of a Buffer of Length One (1995)
We illustrate the use of functional system specifications and their refinement in the development of system components by a simple case study. The development includes the modular specification,...
A Functional Specification of the Alpha AXP TM Shared Memory Model (1995)
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support...
A Functional Specification of the Alpha AXP TM Shared Memory Model (1995)
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems. From our establishment in 1984, we have performed basic and applied research to support...
Structured Specifications and Implementation of Nondeterministic Data Types (1995)
Michal Walicki, Micha L Walicki, Mafred Broy, Manfred Broy
The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data...
Equations for Describing Dynamic Nets of (1995)
Communicating Systems Manfred, Manfred Broy
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical systems of recursive...
Specification and Refinement of Finite Dataflow Networks -- a Relational Approach (1994)
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of such...
Specification and Refinement of Finite Dataflow Networks - a Relational Approach (1994)
We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications,...
Interpreter Verification for a Functional Language (1994)
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
. Starting from a denotational and a term-rewriting based operational semantics (an interpreter) for a small functional language, we present a correctness proof of the interpreter w.r.t. the...
Specification and Refinement of Finite Dataflow Networks - a Relational Approach (1994)
. We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of such...
Specification and Refinement of a Buffer of Length One (1994)
We illustrate the use of functional system specifications and their refinement in the development of system components by a simple case study. The development includes the modular specification,...
Specification and Refinement of Finite Dataflow Networks - a Relational Approach (1994)
Manfred Broy, Ketil Stølen, Ketil St Len
We specify the blackbox behavior of dataflow components bycharacterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications,...
The Requirement and Design Specification Language Spectrum - An Informal Introduction (1993)
An Informal Introduction, Manfred Broy, Christian Facchi, Radu Grosu
This paper gives a short introduction to the algebraic specification language Spectrum. Using simple, well-known examples, the objectives and concepts of Spectrum are explained. The Spectrum language...
(Inter-)Action Refinement: The Easy Way (1993)
We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We...
The Requirement and Design Specification Language - An Informal Introduction - Version 1.0 (1993)
Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hussmann, Dieter Nazareth
This paper gives a short introduction to the algebraic specification language Spectrum.
(Inter-)action Refinement: The Easy Way (1993)
We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We...
Modelling operating system structures by timed stream processing functions (1992)
Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. In this paper we give the foundations of higher order stream...
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant (1992)
We sketch a method for deduction-oriented software and system development The method incorporates formal machine-supported specification and verification as activities in software and systems...
Compositional Refinement of Interactive Systems (1992)
Robert W. Taylor, Manfred Broy, Manfred Broy
We use functional specification techniques to describe systems and their components. We define the notions of property refinement and interaction refinement for interactive systems and their...
Compositional Refinement of Interactive Systems Modelled by Relations (1992)
. We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a...
Compositional refinement of interactive systems (1992)
DEC’s business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began...
DEC’s business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began...
Compositional Refinement of Interactive Systems Modelled by Relations (1992)
Manfred Broy, Fakultät Für Informatik
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a...
Compositional refinement of interactive systems (1992)
DEC’s business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began...
The Design of Distributed Systems - An Introduction to FOCUS (1992)
Manfred Broy, Max Fuchs, Frank Dederichs, Thomas F. Gritzner
DEC’s business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to filling that need. SRC began...
Systems Research Center (1991)
The Charter, Manfred Broy, Manfred Broy
We give a functional specification of the Alpha AXP architecture with special emphasis on the Alpha Shared Memory Model. We keep the specification as abstract as possible and modular in the sense...
Modelling Operating System Structures by Timed Stream Processing Functions (1991)
Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. In this paper we give the foundations of higher order stream...
Towards a Formal Foundation of the Specification and Description Language SDL (1991)
For the CCITT specification and description language SDL which provides a graphical concept for representing designs of systems interacting by signals a formal model is described. It is based on...
Towards a Formal Foundation of the Specification and Description Language SDL (1991)
For the CCITT specification and description language SDL which provides a graphical concept for representing designs of systems interacting by signals a formal model is described. It is based on...
Functional specification of time sensitive communicating systems (1990)
A formal model and a logical framework for the functional specification of time sensitive communicating systems and their interacting components is outlined. The specification method is modular with...
On the Design and Verification of a Simple Distributed Spanning Tree Algorithm (1990)
The design of a distributed algorithm for computing a minimal distance spanning tree is carried out as a case study for the systematic derivation of a distributed algorithm in a functional setting. A...
Klaus Bergner Radu, Radu Grosu, Andreas Rausch, Er Schmidt, Peter Scholz, Manfred Broy
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not sufficiently general and...