Вы здесь

Главная

Munchen

Связанные издания:

Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
Abstract Specification Theory
A Functional Rephrasing of the Assumption/Commitment Specification Style
A Polymorphic Sort System for Axiomatic Specification Languages
Applications of Theorem Proving and Model Checking
As Cheap as Possible: Linearly Priced Timed Automata
Assertions: A Personal Perspective
Assertions in Modern Software Engineering
AVL Trees Revisited: A Case Study in SPECTRUM
Benutzermanual fur den CIP-System-Prototyp
Church and State: Taming Effects in Functional Languages
Church and State: Taming Effects in Functional Languages Is there a Use for Linear Logic?
Coordinate Transformation and Data Refinement
Deriving Efficient Parallel Programs by Systemating Coarsing Specification Parallelism
Development of a Distributed Min/Max Component
Die funktionale Essenz von HDMS-A
Exploiting Independence for Verification, Refinement, and Modularity
Extracting Higher Order Functions from First Order Proofs
Fraunhofer Gesellschaft
Functional Modeling of Clocked Hardware Circuits
How Hard Is It to Reason about Propositional Programs?
Hybrid I/O Automata
Hybrid I/O Automata Revisited + A LEGO Case Study
Informatics at the Technische Universitat Munchen
(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems
Is there a Use for Linear Logic?
Kryptologie - Methoden und Maximen
Micromodels of Software
Notes on Unifying Theories of Parallel Programming
On computability by logic programs
Pascal-Variante Obersicht uber Sprache, Obersetzer und Formularmaschine
Proving Theorems about Java and the JVM with ACL2
Reactive Systems
Software Design & Management 1996
Software Specification and Verification in Rewriting Logic: Lecture 1
Specification and Refinement of a Buffer of Length One
Spezifikation des UNIX Datei- und Variablensystems. Eine SPECTRUM-Fallstudie
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
Technische Universitat Munchen
Technische Universitat Munchen. Fakultat fur Informatik
The Design of Distributed Systems - An Introduction to FOCUS
The finite representation of abstract programs by automata and Petri nets
The Play-In/Play-Out Approach: Capturing and Analyzing Reactive Behavior
The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II
The Unification of Three Calculi
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
Unifying Models and Engineering Theories of Composed Software Systems
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Zur Ubersetzung von E/R-Schemata nach Spectrum