Search Results - "BROY, MANFRED"

It's the Specification, Stupid!

Authors: Broy, Manfred Ruess, Harald Shankar, Natarajan

Source: Communications of the ACM; Dec2025, Vol. 68 Issue 12, p22-24, 3p

Development Use Cases for Semantics-Driven Modeling Languages: Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.

Authors: BROY, MANFRED RUMPE, BERNHARD

Source: Communications of the ACM. May2023, Vol. 66 Issue 5, p62-71. 10p. 3 Diagrams, 4 Charts, 1 Graph.

Subjects: Computer software development, Programming language semantics, Programming languages, Systems design, Syntax in programming languages

Artefacts in software engineering: a fundamental positioning.

Authors: Méndez Fernández, Daniel Böhm, Wolfgang Vogelsang, Andreas et al.

Source: Software & Systems Modeling; Oct2019, Vol. 18 Issue 5, p2777-2786, 10p

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

Authors: Broy, Manfred

Source: Computer Journal; Dec2010, Vol. 53 Issue 10, p1758-1782, 25p

In memory of Heinrich Hussmann, long-time friend and SoSyM editor.

Authors: Broy, Manfred Schmidt, Albrecht Wirsing, Martin

Source: Software & Systems Modeling; Apr2023, Vol. 22 Issue 2, p453-454, 2p

Editorial to the theme section on model-based design of cyber-physical systems.

Authors: Broy, Manfred Daembkes, Heinrich Sztipanovits, Janos

Source: Software & Systems Modeling; Jun2019, Vol. 18 Issue 3, p1575-1576, 2p

A Formal Model of Services.

Authors: Broy, Manfred Kruger, Ingolf H. Meisinger, Michael

Source: ACM Transactions on Software Engineering & Methodology; February 2007, Vol. 16 Issue 1, p1C-40C, 40p

Code Word Cloud in Franz Kafka's "Beim Bau der Chinesischen Mauer" ["The Great Wall of China"].

Authors: Mentzel, Alex^1,2

Source: Humanities (2076-0787); Apr2025, Vol. 14 Issue 4, p73, 19p

Professional and ethical dilemmas in software engineering.

Authors: Berenbach, Brian Broy, Manfred

Source: Computer; January 2009, Vol. 42 Issue 1, p74-80, 7p

Toward a mathematical foundation of software engineering methods.

Authors: Broy, Manfred

Source: IEEE Transactions on Software Engineering; January 2001, Vol. 27 Issue 1, p42-57, 16p

SoSyM special section on service-based software engineering.

Authors: Broy, Manfred Hussmann, Heinrich Krüger, Ingolf H. et al.

Source: Software & Systems Modeling; Jun2006, Vol. 5 Issue 2, p170-171, 2p

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

Authors: Broy, Manfred Rumpe, Bernhard

Source: Software & Systems Modeling; Feb2018, Vol. 17 Issue 1, p5-7, 3p

UML formal semantics: lessons learned.

Authors: Broy, Manfred Cengarle, María

Source: Software & Systems Modeling; Oct2011, Vol. 10 Issue 4, p441-446, 6p

Relating Time and Causality in Interactive Distributed Systems.

Authors: BROY, MANFRED¹ broy@in.tum.de

Source: European Review. Oct2010, Vol. 18 Issue 4, p507-563. 57p.

Modelling operating system structures by timed stream processing functions.

Authors: Broy, Manfred Dendorfer, Claus

Source: Journal of Functional Programming. Jan1992, Vol. 2 Issue 1, p1-21. 21p.

Toward a Holistic and Standardized Automotive Architecture Description.

Authors: Broy, Manfred Gleirscher, Mario Merenda, Stefano et al.

Source: Computer (00189162); Dec2009, Vol. 42 Issue 12, p98-101, 4p, 1 Diagram

Edsger Wybe Dijkstra : His Life, Work, and Legacy

Authors: Krzysztof R. Apt Tony Hoare

Resource Type: eBook.

Subjects: Computer programming

Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Parallel Processing

Time, causality, and realizability: Engineering interactive, distributed software systems.

Authors: Broy, Manfred¹, broy@in.tum.de

Source: Journal of Systems & Software; Apr2024, Vol. 210, pN.PAG-N.PAG, 1p

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

Authors: Uchitel, Sebastian Broy, Manfred Krüger, Ingoif H. et al.

Source: IEEE Transactions on Software Engineering. Dec2005, Vol. 31 Issue 12, p997-998. 2p. 4 Black and White Photographs.

Subjects: Computer systems, Computer graphics, Web services, Application software, Computer network protocols, Graphic methods, Computers, Computer simulation, Computer networks, Computer drawing

Specification and verification of concurrent systems by causality and realizability.

Authors: Broy, Manfred¹, broy@in.tum.de

Source: Theoretical Computer Science; Sep2023, Vol. 974, pN.PAG-N.PAG, 1p