- I N S T I T U T F U R I N F O R M A T I K Automotive Architecture Framework
- Visual Formalisms Revisited R. Grosu, Gh. Stefanescu
- Summary of Case Studies in FOCUS -a Design Method for Distributed Systems1
- In the fall of 2001 we faced the challenge to teach nearly 1000 first semester computer science students. Apart from
- Characterizing Behavior of Reactive Systems
- I N S T I T U T F U R I N F O R M A T I K Towards an Integrated Approach to Requirement
- Equations for Describing Dynamic Nets of Communicating Systems1)
- Modelling Operating System Structures by Timed Stream Processing Functions *)
- Seamless Model-based Development: from Isolated Tools to Integrated Model Engineering
- Visual Process Model Design using Domain-specific Languages Marco Kuhrmann Georg Kalus Eugen Wachtel Manfred Broy
- I N S T I T U T F U R I N F O R M A T I K Semantics of UML
- I N S T I T U T F U R I N F O R M A T I K Requirements Engineering Reference Model
- In Europe and North America the competence in software engineering research has di er-ent pro les. While in North America there is a lot of know how in the practical, technical,
- Requirements Engineering for Embedded Systems1) Manfred Broy
- I N S T I T U T F U R I N F O R M A T I K The Specification of System Components by State
- Stepwise Re nement of Data Flow Architectures
- UNIVERSITAT INSTITUT FUR INFORMATIK
- acmSEM 4/25/95 FUNCTIONAL SPECIFICATION
- (INTER-)ACTION REFINEMENT: THE EASY WAY1
- Componentware State of the Art 2003 Background Paper for the Understanding Components Workshop
- PSMT -Workshop on Precise Semantics for Software Modeling Techniques
- Algebraic Specification of Reactive Systems* Manfred Broy
- Interpreter Veri cation for a Functional Language
- Towards a Mathematical Concept of a Component
- Streams of Steam The Steam Boiler Specification Case Study
- Refinement of Time1) Manfred Broy
- Speci cation and Re nement of Finite Data ow Networks | a Relational Approach?
- A TLA Solution to the RPC-Memory Speci cation Problem
- Reconciling Real-Time with Asynchronous Message Passing
- Compositional Re nement of Interactive Systems Manfred Broy
- Towards a Calculus for UML-RT Speci cations R. Grosu, M. Broy, B. Selic , Gh. Stefanescu
- I N S T I T U T F R I N F O R M A T I K Towards a Formal Engineering Approach for SOA
- UNIVERSITAT INSTITUT FUR INFORMATIK
- I N S T I T U T F U R I N F O R M A T I K State Transition Diagrams
- A stream-based mathematical model for distributed
- HOPSA | a High-level Programming Language for Parallel Computations
- Software and System Modeling Based on a Uni ed Formal Semantics
- Component Interface Specification1) Manfred Broy
- The Design of Distributed Systems | An Introduction to Focus
- Using Extended Event Traces to Describe Communication in Software Architectures1
- Speci cation and Re nement Bu er of Length One
- TABLE OF CONTENTS Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
- I N S T I T U T F U R I N F O R M A T I K Software Architectures and Design Patterns in
- Bayerischer Forschungsverbund Software Engineering
- Towards a Formal Foundation Specification and Description Language
- UNIVERSITAT INSTITUT FUR INFORMATIK
- I N S T I T U T F U R I N F O R M A T I K Workshop-Band Software-Qualitatsmodellierung
- On TLA as a Logic Mart n Abadi1 and Stephan Merz2
- The RPC-Memory Case Study: A Synopsis ? Manfred Broy, Stephan Merz, and Katharina Spies
- I N S T I T U T F U R I N F O R M A T I K Criteria for the Evaluation of Requirements
- The Requirement and Design Speci cation Language Spectrum
- A Functional Rephrasing of the Assumption/Commitment Speci cation Style
- PSMT { ICSE 98 Workshop on Precise Semantics for Software Modeling Techniques
- Compositional Refinement of Interactive Systems Modelled by Relations*
- Graphical Development of Consistent System Specifications
- Focusing on Mobility Klaus Bergner, Radu Grosu, Andreas Rausch,
- Ein strombasiertes mathematisches Modell verteilter
- PARSTA 1 05.05.1995 On the Design and Verification
- Requirements Engineering Reference Model (REM) Dr. Eva Geisberger
