Manfred Broy

Springer, ISBN: 978-3-658-26302-7, 2019

2018

In memory of Bernhard Schätz, long- time friend and SoSyM editor.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Yesterday, Today, and Tomorrow: 50 Years of Software Engineering.

[BibT_eX]

[DOI]

IEEE Softw., 2018

Theory and methodology of assumption/commitment based system interface specification and architectural contracts.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2018

Artefacts in Software Engineering: What are they after all?

[BibT_eX]

[DOI]

Daniel Méndez Fernández

CoRR, 2018

On Architecture Specification.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

The Leading Role of Software and Systems Architecture in the Age of Digitization.

[BibT_eX]

[DOI]

Proceedings of the Essence of Software Engineering, 2018

2017

Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.

[BibT_eX]

[DOI]

Inform. Spektrum, 2017

Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft.

[BibT_eX]

[DOI]

Walter Brenner

Jan Marco Leimeister

Inform. Spektrum, 2017

50 Jahre Informatik an den Universitäten in München.

[BibT_eX]

[DOI]

Arndt Bode

Hans-Joachim Bungartz

Florian Matthes

Inform. Spektrum, 2017

On Service-Orientation for Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016

Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.

[BibT_eX]

[DOI]

Christian Prehofer

Hermann Engesser

Inform. Spektrum, 2016

Model-centric Assumption Promise Specification.

[BibT_eX]

Proceedings of the MODELSWARD 2016, 2016

Towards a Unified View of Modeling and Programming (Track Summary).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards a Unified View of Modeling and Programming.

[BibT_eX]

[DOI]

Klaus Havelund

Rahul Kumar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

From Actions, Transactions, and Processes to Services.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Advanced Model-Based Engineering of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

Outlook.

[BibT_eX]

[DOI]

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

From Actions, Transactions, and Processes to Services.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

Computability and realizability for interactive computations.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Rethinking Nonfunctional Software Requirements.

[BibT_eX]

[DOI]

Computer, 2015

A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.

[BibT_eX]

[DOI]

Acta Informatica, 2015

Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

Pragmatic Formal Specification of System Properties by Tables.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Verifying of interface assertions for infinite state Mealy machines.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

Guiding requirements engineering for software-intensive embedded systems in the automotive industry.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2014

A stream-based mathematical model for distributed information processing systems - SysLab system model.

[BibT_eX]

[DOI]

Cornel Klein

CoRR, 2014

Towards a System Model for UML. The Structural Data Model.

[BibT_eX]

[DOI]

CoRR, 2014

Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).

[BibT_eX]

[DOI]

Hans Grönniger

CoRR, 2014

UML 2 Semantics Symposium: Formal Semantics for UML.

[BibT_eX]

[DOI]

CoRR, 2014

Orchestration of Global Software Engineering Projects.

[BibT_eX]

[DOI]

CoRR, 2014

Challenges in Engineering Cyber-Physical Systems.

[BibT_eX]

[DOI]

Albrecht Schmidt

Computer, 2014

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.

[BibT_eX]

[DOI]

Autom., 2014

Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

A Model of Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Cyber Physical Systems (Part 2).

[BibT_eX]

[DOI]

it Inf. Technol., 2013

Anforderungen an CPS aus Sicht der Automatisierungstechnik.

[BibT_eX]

[DOI]

Birgit Vogel-Heuser

Christian Diedrich

Autom., 2013

Software Quality: From Requirements to Architecture.

[BibT_eX]

[DOI]

Proceedings of the Software Quality. Increasing Value in Software and Systems Development, 2013

Error-Completion in Interface Theories.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Challenges in modeling cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013

Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Perspectives on the Future of Software Engineering, 2013

Projektorganisation und Management im Software Engineering.

[BibT_eX]

[DOI]

Marco Kuhrmann

Xpert.press, Springer, ISBN: 978-3-642-29290-3, 2013

2012

Cyber Physical Systems (Part 1).

[BibT_eX]

[DOI]

it Inf. Technol., 2012

Mehr Lebensqualität dank Informatik.

[BibT_eX]

[DOI]

Albert Endres

Inform. Spektrum, 2012

Cyber-Physical Systems: Imminent Challenges.

[BibT_eX]

[DOI]

Eva Geisberger

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Engineering Cyber-Physical Systems: Challenges and Foundations.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2012

System Behaviour Models with Discrete and Dense Time.

[BibT_eX]

[DOI]

Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Introduction to the SPES Modeling Framework.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

Outlook.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

UML formal semantics: lessons learned.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung.

[BibT_eX]

[DOI]

Günter Reichart

Lutz Rothhardt

Inform. Spektrum, 2011

Informatik in der Automobilindustrie.

[BibT_eX]

[DOI]

Klaus Hardy Mühleck

Dirk Taubner

Inform. Spektrum, 2011

Can Practitioners Neglect Theory and Theoreticians Neglect Practice?

[BibT_eX]

[DOI]

Computer, 2011

The Role of Requirements and Specification in Product Line Engineering.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Towards formal modeling of functional features and feature interactions in software intensive systems.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Cross-layer analysis, testing and verification of automotive control software.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

A Model-Based View onto Testing.

[BibT_eX]

[DOI]

Alexander Pretschner

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Multifunctional software systems: Structured modeling and specification of functional requirements.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Scanning Advances in Aerospace & Automobile Software Technology.

[BibT_eX]

[DOI]

K. Venkatesh Prasad

Ingolf Krüger

Proc. IEEE, 2010

Scanning the Issue.

[BibT_eX]

[DOI]

K. Venkatesh Prasad

Ingolf Krüger

Proc. IEEE, 2010

Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.

[BibT_eX]

[DOI]

Martin Feilkas

Markus Herrmannsdoerfer

Stefano Merenda

Daniel Ratiu

Proc. IEEE, 2010

Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.

[BibT_eX]

[DOI]

Inform. Spektrum, 2010

Architectural Concepts in Programming Languages.

[BibT_eX]

[DOI]

Ralf H. Reussner

Computer, 2010

A Logical Basis for Component-Oriented Software and Systems Engineering.

[BibT_eX]

[DOI]

Comput. J., 2010

Software-Qualitätsmodellierung und -bewertung (SQMB).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2010, 2010

Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2010, 2010

A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering.

[BibT_eX]

[DOI]

Daniel Méndez Fernández

Birgit Penzenstadler

Marco Kuhrmann

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Seamless Method- and Model-based Software and Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the Future of Software Engineering., 2010

Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2010

2009

Guest Editors' Foreword: Selected papers on "Streams and Algebra".

[BibT_eX]

[DOI]

Gheorghe Stefanescu

J. Log. Algebraic Methods Program., 2009

Systemorientiertes Automotive Engineering.

[BibT_eX]

[DOI]

Herbert Weber

Inform. Spektrum, 2009

Informatik überall, jederzeit und für alle.

[BibT_eX]

[DOI]

Albert Endres

Inform. Spektrum, 2009

Toward a Holistic and Standardized Automotive Architecture Description.

[BibT_eX]

[DOI]

Computer, 2009

Professional and Ethical Dilemmas in Software Engineering.

[BibT_eX]

[DOI]

Brian Berenbach

Computer, 2009

Software-Qualitätsmodellierung und -bewertung (SQMB 2009).

[BibT_eX]

Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

Formalizing the notion of adaptive system behavior.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Orchestration of Global Software Engineering Projects - Position Paper.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

Seamless Model Driven Systems Engineering Based on Formal Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

From system requirements documents to integrated system modeling artifacts.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Document Engineering, 2009

Definition of the System Model.

[BibT_eX]

[DOI]

Hans Grönniger

Proceedings of the UML 2 Semantics and Applications, 2009

Considerations and Rationale for a UML System Model.

[BibT_eX]

[DOI]

Hans Grönniger

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer.

[BibT_eX]

[DOI]

it Inf. Technol., 2008

Architektur & Management im Großen meistern.

[BibT_eX]

[DOI]

Inform. Spektrum, 2008

On the correctness of upper layers of automotive systems.

[BibT_eX]

[DOI]

Jewgenij Botaschanjan

Formal Aspects Comput., 2008

Guest Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Software-Qualitätsmodellierung und -bewertung.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

6.Workshop Automotive Software Engineering.

[BibT_eX]

[DOI]

Reinhard Stolle

Alexandre Saad

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007

Embedded Systems and Software Technology in the Automotive Domain.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Modular Hierarchies of Models for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

A formal model of services.

[BibT_eX]

[DOI]

Ingolf H. Krüger

Michael Meisinger

ACM Trans. Softw. Eng. Methodol., 2007

Editorial-Science of Computer Programming-25 years.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Editorial comment to 'About "trivial" software patents: The IsNot case'.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Engineering Automotive Software.

[BibT_eX]

[DOI]

Proc. IEEE, 2007

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2007

Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.

[BibT_eX]

[DOI]

Inform. Spektrum, 2007

Ein Requirements-Engineering-Referenzmodell.

[BibT_eX]

[DOI]

Inform. Spektrum, 2007

Das AutoMoDe-Projekt.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2007

Interaction and Realizability.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.

[BibT_eX]

[DOI]

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

Software Engineering for Automotive Systems: A Roadmap.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

CoCoME Jury Evaluation and Conclusion.

[BibT_eX]

[DOI]

Johannes Siedersleben

Clemens A. Szyperski

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Service-Oriented Modeling of CoCoME with Focus and AutoFocus.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

From "Formal Methods" to System Modeling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

SoSyM special section on service-based software engineering.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Manifest*: Strategische Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Inform. Spektrum, 2006

The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.

[BibT_eX]

[DOI]

Computer, 2006

2nd UML 2 Semantics Symposium: Formal Semantics for UML.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

Requirements Engineering as a Key to Holistic Software Quality.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2006

Demystifying maintainability.

[BibT_eX]

[DOI]

Florian Deissenboeck

Markus Pizka

Proceedings of the 2006 international workshop on Software quality, 2006

Challenges in automotive software engineering.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

From Chaos to Undefinedness.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

Innovation in Engineering Software Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Managing Development and Application of Digital Technologies, 2006

2005

Guest Editorial: Special Section on Interaction and State-Based Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

A semantic and methodological essence of message sequence charts.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Das neue V-Modell® XT.

[BibT_eX]

[DOI]

Andreas Rausch

Inform. Spektrum, 2005

Software auf dem Weg zur Industrialisierung.

[BibT_eX]

[DOI]

Arndt Bode

Dirk Taubner

Inform. Spektrum, 2005

Modeling layered distributed communication systems.

[BibT_eX]

[DOI]

Dominikus Herzberg

Formal Aspects Comput., 2005

Automotive software and systems engineering (Panel).

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

The Impact of Models in Software Development.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Modellbildung in der Informatik.

[BibT_eX]

[DOI]

Ralf Steinbrüggen

Xpert.press, Springer, ISBN: 978-3-642-18732-2, 2004

Erfolgreiches Management von Software-Projekten.

[BibT_eX]

[DOI]

Inform. Spektrum, 2004

Editorial.

[BibT_eX]

[DOI]

Gerald Lüttgen

Michael Mendler

Formal Aspects Comput., 2004

Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Architecture Driven Modeling in Software Development.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

Distributed Concurrent Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the From Object-Orientation to Formal Methods, 2004

2003

Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme.

[BibT_eX]

[DOI]

Wolfgang Pree

Inform. Spektrum, 2003

Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.

[BibT_eX]

[DOI]

Inform. Spektrum, 2003

Editorial: Where Theory and Practice Meet.

[BibT_eX]

[DOI]

Gerald Lüttgen

Michael Mendler

Formal Aspects Comput., 2003

Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.

[BibT_eX]

[DOI]

Friedrich L. Bauer

Acta Informatica, 2003

Engineering Software Intensive Systems.

[BibT_eX]

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Modular Hierarchies of Models for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Automotive Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Software engineering beyond our planning horizon: automation for computer-based systems.

[BibT_eX]

[DOI]

Luqi

Sci. Comput. Program., 2002

Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.

[BibT_eX]

[DOI]

Johannes Siedersleben

Inform. Spektrum, 2002

Software Engineering Wurzeln, Stand und Perspektiven.

[BibT_eX]

[DOI]

H. Dieter Rombach

Inform. Spektrum, 2002

Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).

[BibT_eX]

[DOI]

Inform. Spektrum, 2002

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2002

Message Sequence Charts in the Development Process - Role and Limitations.

[BibT_eX]

[DOI]

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

Multi-view Modeling of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Software Engineering From Auxiliary to Key Technology.

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

2001

Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement

[BibT_eX]

[DOI]

Ketil Stølen

Monographs in Computer Science, Springer, ISBN: 978-1-4613-0091-5, 2001

Toward a Mathematical Foundation of Software Engineering Methods.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

The algebra of stream processing functions.

[BibT_eX]

[DOI]

Gheorghe Stefanescu

Theor. Comput. Sci., 2001

Refinement of time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Germany: Combining Software and Application Competencies.

[BibT_eX]

[DOI]

IEEE Softw., 2001

Softwareentwicklung in Deutschland, Eine Bestandsaufnahme.

[BibT_eX]

[DOI]

Inform. Spektrum, 2001

Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2001

Letter from the Editor.

[BibT_eX]

[DOI]

Acta Informatica, 2001

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Specification and Modeling: An Academic Perspective.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

From Requirements to Validated Embedded Systems.

[BibT_eX]

[DOI]

Oscar Slotosch

Proceedings of the Embedded Software, First International Workshop, 2001

Trace-Oriented Models of Concurrency.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Proceedings of the Handbook of Process Algebra, 2001

2000

Algebraic specification of reactive systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.

[BibT_eX]

[DOI]

Detlef Schmid

Inform. Spektrum, 2000

The Essence of Message Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Software Engineering as a Modelling Process.

[BibT_eX]

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Invited Talk: Algebraic State Machines.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement.

[BibT_eX]

[DOI]

TCW-Report 24, TCW, ISBN: 3-931511-52-9, 2000

1999

Algebraic Specification of Concurrent Systems.

[BibT_eX]

[DOI]

Egidio Astesiano

Gianna Reggio

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Requirements Engineering für eingebettete Systeme.

[BibT_eX]

[DOI]

Thomas Stauner

Informationstechnik Tech. Inform., 1999

Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).

[BibT_eX]

[DOI]

Joachim W. Schmidt

Inform. Spektrum, 1999

Software technology - formal methods and scientific foundations.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.

[BibT_eX]

[DOI]

Franz Huber

Bernhard Schätz

Inform. Forsch. Entwickl., 1999

Adapting Calculational Logic to the Undefined.

[BibT_eX]

[DOI]

Birgit Schieder

Comput. J., 1999

From States to Histories.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Focusing on Mobility.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

A Formal Model for Componentware.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

What is Behind UML-RT?

[BibT_eX]

[DOI]

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

What characterizes a (software) component?

[BibT_eX]

[DOI]

Softw. Concepts Tools, 1998

A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?".

[BibT_eX]

[DOI]

Softw. Concepts Tools, 1998

A Functional Rephrasing of the Assumption/Commitment Specification Style.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1998

Preface - Software Engineering to our Planning Horizon.

[BibT_eX]

[DOI]

Luqi

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

A Logical Basis for Modular Software and Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '98: Theory and Practice of Informatics, 1998

From MSCs to Statecharts.

[BibT_eX]

Proceedings of the Distributed and Parallel Embedded Systems, 1998

Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.

[BibT_eX]

[DOI]

Ingolf Krüger

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

A Modular Visual Model for Hybrid Systems.

[BibT_eX]

[DOI]

Radu Grosu

Thomas Stauner

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Enriching the Software Development Process by Formal Methods.

[BibT_eX]

[DOI]

Oscar Slotosch

Proceedings of the Applied Formal Methods, 1998

Visual Formalisms Revisited.

[BibT_eX]

[DOI]

Radu Grosu

Gheorghe Stefanescu

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Towards a Mathematical Concept of a Component and its Use.

[BibT_eX]

Softw. Concepts Tools, 1997

Ein neuer Ansatz für den Informatikunterricht am Gymnasium.

[BibT_eX]

Peter Hubwieser

Compositional refinement of interactive systems.

[BibT_eX]

[DOI]

J. ACM, 1997

Editorial: Formale Methoden in der Praxis.

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 1997

KORSO - Korrekte Software durch formale Methoden.

[BibT_eX]

[DOI]

Stefan Jähnichen

Inform. Forsch. Entwickl., 1997

Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht.

[BibT_eX]

[DOI]

Peter Hubwieser

Proceedings of the Informatik und Lernen in der Informationsgesellschaft, 1997

Software and System Modeling Based on a Unified Formal Semantics.

[BibT_eX]

[DOI]

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Innovation durch Kooperation im Software-Engineering.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

Reconciling Real-Time with Asynchronous Message Passing.

[BibT_eX]

[DOI]

Radu Grosu

Cornel Klein

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Compositional Refinement of Interactive Systems Modelled by Relations.

[BibT_eX]

[DOI]

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

Using Extended Event Traces to Describe Communication in Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen.

[BibT_eX]

Springer, ISBN: 978-3-540-63549-9, 1997

1996

Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1996

Specification and refinement of a buffer of length one.

[BibT_eX]

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

Formal Description Techniques - How Formal and Descriptive are they?

[BibT_eX]

Proceedings of the Formal Description Techniques IX: Theory, 1996

Graphical Development of Consistent System Specifications.

[BibT_eX]

[DOI]

Bernhard Schätz

Heinrich Hußmann

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Structured Specifications and Implementation of Nondeterministic Data Types.

[BibT_eX]

Michal Walicki

Nord. J. Comput., 1995

Mathematics of Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1995

Correct Software: From Experiments to Applications.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

Mathematical System Models as a Basis of Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Adding Fair Choice to Dijkstra's Calculus.

[BibT_eX]

[DOI]

Greg Nelson

ACM Trans. Program. Lang. Syst., 1994

Professor Friedrich L. Bauer zum 70. Geburtstag.

[BibT_eX]

Inform. Spektrum, 1994

Advanced Component Interface Specification.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Parallel Programming, 1994

Specification and Refinement of Finite Dataflow Networks - a Relational Approach.

[BibT_eX]

[DOI]

Ketil Stølen

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Interpreter Verification for a Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

The RPC-Memory Case Study: A Synopsis.

[BibT_eX]

[DOI]

Stephan Merz

Katharina Spies

Proceedings of the Formal Systems Specification, 1994

The RPC-Memory Specification Problem - Problem Statement.

[BibT_eX]

[DOI]

Leslie Lamport

Proceedings of the Formal Systems Specification, 1994

A Functional Solution to the RPC-Memory Specification Problem.

[BibT_eX]

[DOI]

Proceedings of the Formal Systems Specification, 1994

Equations for Describing Dynamic Nets of Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Functional Specification of Time-Sensitive Communicating Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Semantics of PAnndA-S.

[BibT_eX]

[DOI]

Proceedings of the Program Development by Specification and Transformation, 1993

Korrekte Software: Vom Experiment zur Anwendung.

[BibT_eX]

[DOI]

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992

Modelling Operating System Structures by Timed Stream Processing Functions.

[BibT_eX]

[DOI]

Claus Dendorfer

J. Funct. Program., 1992

Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.

[BibT_eX]

Christoph Lingenfelder

C. Müller

Franz Stetter

Inform. Spektrum, 1992

Operational and denotational semantics with explicit concurrency.

[BibT_eX]

Fundam. Informaticae, 1992

Algebraic and Functional Specification of an Interactive Serializable Database Interface.

[BibT_eX]

[DOI]

Distributed Comput., 1992

(Inter-)Action Refinement: The Easy Way.

[BibT_eX]

[DOI]

Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

Reliable Systems Enginerring (Position Statement).

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

Modular functional modelling of Petri nets with individual tokens.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Weakening the weak conditions for self-timed circuits

[BibT_eX]

[DOI]

Carlos Delgado Kloos

Forschungsberichte, TU Munich, 1991

Parallelism algebras: a link between process algebras and abstract relation algebras?

[BibT_eX]

[DOI]

Thomas F. Gritzner

Forschungsberichte, TU Munich, 1991

Characterizing the behavior of reactive systems by trace sets

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1991

On Denotational versus Predicative Semantics.

[BibT_eX]

[DOI]

Christian Lengauer

J. Comput. Syst. Sci., 1991

Specification and design of shared resource arbitration.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1991

Towards a Formal Foundation of the Specification and Description Language SDL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1991

Declarative specification and declarative programming.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.

[BibT_eX]

[DOI]

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990

On the design and verification of a simple distributed spanning tree algorithm

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Functional modelling of operating sytem [system] structures by timed higher order stream processing functions

[BibT_eX]

[DOI]

Claus Dendorfer

Forschungsberichte, TU Munich, 1990

Modular functional modelling of Petri nets with individual tokems

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Methodological Objectives for Formal Description Techniques.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1990

1989

A Modular Framework for Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Formalization of Distributed, Concurrent, Reactive Systems.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts, 1989

Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Functional Specification of Communicating Systems.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Equational Specification of Partial Higher-Order Algebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

Views of queues.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

Ultra-loose algebraic specifications.

[BibT_eX]

Bull. EATCS, 1988

Broadcasting Buffering Communication.

[BibT_eX]

[DOI]

Comput. Lang., 1988

Spezifikation und Entwurf komplexer, kausal vernetzter Systeme.

[BibT_eX]

[DOI]

Proceedings of the GI, 1988

Requirement and Design Specification for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

On the Algebraic Definition of Programming Languages.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1987

Specification and Top-Down Design of Distributed Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1987

Predicative Specifications for Functional Programs Describing Communication Networks.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1987

Semantics of Finite and Infinite Networks of Concurrent Communicating Agents.

[BibT_eX]

[DOI]

Distributed Comput., 1987

1986

A Theory for Nondeterminism, Parallelism, Communication, and Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

Algebraic Implementations Preserve Program Correctness.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1986

Denotational Semantics of Communicating Sequential Programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1986

Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Towards Advanced Programming Environments Based on Algebraic Concepts.

[BibT_eX]

[DOI]

Alfons Geser

Heinrich Hußmann

Proceedings of the Advanced Programming Environments, 1986

Views of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

1985

On the Herbrand-Kleene Universe for Nondeterministic Computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1985

Algebraic specification of the abstract data type "Continuum".

[BibT_eX]

Andrzej Tarlecki

Bull. EATCS, 1985

Rechnergestützte Systeme für den Programmentwurf.

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

[BibT_eX]

[DOI]

Franz Geiselbrechtinger

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Semantics of Communicating Processes

[BibT_eX]

[DOI]

Inf. Control., June, 1984

A Systematic Study of Models of Abstract Data Types.

[BibT_eX]

[DOI]

Claude Pair

Theor. Comput. Sci., 1984

A Systematic Approach to Language Constructs for Concurrent Programs.

[BibT_eX]

[DOI]

Friedrich L. Bauer

Sci. Comput. Program., 1984

Denotational Semantics of Concurrent Programs with Shared Memory.

[BibT_eX]

[DOI]

Proceedings of the STACS 84, 1984

1983

Algebraic Definition of a Functional Programming Language and Its Semantic Models.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1983

Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1983

Applicative Real-Time Programming.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

Funktionales Programmieren - Programmieren mit Funktionalen.

[BibT_eX]

[DOI]

Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

Generalized Heterogeneous Algebras and Partial Interpretations.

[BibT_eX]

[DOI]

Proceedings of the CAAP'83, 1983

Generalized Heterogeneous Algebras.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

[BibT_eX]

Inform. Spektrum, 1982

Partial Abstract Types.

[BibT_eX]

[DOI]

Acta Informatica, 1982

On the Algebraic Specification of Finitary Infinite.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Fixed PointTheory for Communication and Concurrency.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Program Development as a Formal Activity.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1981

Programming in a Wide Spectrum Language: A Collection of Examples.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1981

Nichtdeterminismus - Das aktuelle Schlagwort.

[BibT_eX]

Rupert Gnatz

Inform. Spektrum, 1981

On the Power of Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Algebraic Extensions of Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Formalization of Programming Concepts, 1981

Are Fairness Assumptions Fair?

[BibT_eX]

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the GI, 1981

Prospects of New Tools for Software Development.

[BibT_eX]

[DOI]

Proceedings of the Trends in Information Processing Systems, 1981

On language constructs for concurrent programs.

[BibT_eX]

[DOI]

Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981

On the Algebraic Specification of Nondeterministic Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the CAAP '81, 1981

1980

Transformation parallel ablaufender Programme (Transformation of parallel running programs)

[BibT_eX]

[DOI]

PhD thesis, 1980

Derivation of Invariant Assertions During Program Development by Transformation.

[BibT_eX]

[DOI]

Bernd Krieg-Brückner

ACM Trans. Program. Lang. Syst., 1980

Program Development: From Enumeration to Backtracking.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1980

Transformational Semantics for Concurrent Programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1980

Programmtransformationen - Das aktuelle Schlagwort.

[BibT_eX]

Inform. Spektrum, 1980

On Relations Between Programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Programming, 1980

Abstract Data Types as Lattices of Finitely Generated Models.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Zur Spezifikation von Programmen für die Textverarbeitung.

[BibT_eX]

[DOI]

Proceedings of the Textverarbeitung und Informatik, 1980

Semantic Relations in Programming Languages.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

Programming languages as abstract data types.

[BibT_eX]

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1979

Existential Quantifiers in Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979

1978

Towards a wide spectrum language to support program specification and program development.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1978

Towards a wide spectrum language to support program specification and program development.

[BibT_eX]

[DOI]

Proceedings of the Programmiersprachen, 1978

Examples for Change of Types and Object Structures.

[BibT_eX]

[DOI]

Helmuth Partsch

Proceedings of the Program Construction, International Summer School, July 26, 1978

Semantics of Nondeterministic and Noncontinuous Constructs.

[BibT_eX]

[DOI]

Rupert Gnatz