TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

2008

Stefan Wagner, Manfred Broy, Florian Deissenboeck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit Eine Forschungsagenda für Softwarequalität In Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB '08), Technische Universität München, 2008 Conference paper   Details | Bibtex Entry

Stefan Wagner, Manfred Broy, Florian Deissenboeck, Jürgen Münch, Peter Liggesmeyer (Hrsg.) Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB \'08) Technical Report, Technische Universität München, 2008 Technical Report   Details | Bibtex Entry

2007

Manfred Broy, María Victoria Cengarle, Bernhard Rumpe Semantics of UML, Towards a System Model for UML, Part 2: The Control Model Technical Report, Technische Universität München, 2007 Technical Report   Details | Bibtex Entry

Manfred Broy, María Victoria Cengarle, Bernhard Rumpe Semantics of UML, Towards a System Model for UML, Part 3: The State Machine Model Technical Report, Technische Universität München, 2007 Technical Report   Details | Bibtex Entry

2006

Manfred Broy, Florian Deissenboeck, Markus Pizka Demystifying Maintainability In Proceedings of the 4th Workshop on Software Quality, 4th Workshop on Software Quality (Eds.), 2006 Conference paper   Details | Bibtex Entry

Manfred Broy, Andreas Rausch, Thomas Ternite, David Bettencourt da Cruz, Marco Kuhrmann IT-Projekte erfolgreich mit dem neuen V-Modell XT Technical Report, number TUM-I0616, Technische Universität München, 2006 Technical Report   Details | Bibtex Entry

Manfred Broy, María Victoria Cengarle, Bernhard Rumpe Semantics of UML. Towards a System Model for UML. The Structural Data Model Technical Report, Technische Universität München, 2006 Technical Report   Details | Bibtex Entry

Manfred Broy, Norbert Diernhofer, Johannes Grünbauer, Michael Meisinger, Martin Rappl, Sabine Rittmann, Bernhard Schätz, Maurice Schoenmakers, Bernd Spanfelner Service-Oriented Development - Whitepaper Technical Report, Technische Universität München, 2006 Technical Report   Details | Bibtex Entry | Link

2005

Manfred Broy, Andreas Rausch, Marc Sihling, Marco Kuhrmann IT-Projekte erfolgreich mit dem neuen V-Modell XT Technical Report, number TUM-I0508, Technische Universität München, 2005 Technical Report   Details | Bibtex Entry

2003

Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria Victoria Cengarle, Jan Jürjens, Bernhard Rumpe, Maurce Schoenmakers Componentware - State of the Art 2003 In Proceedings of the CUE Workshop Venedig, 2003 Conference paper   Details | Bibtex Entry

A. Alkassar, M. Broy, F. Gehring, M. Garschhammer, H.-G. Hegering, P. Keil, H. Kelter, U. Löwer, M. Pankow, A. Picot, A.-R. Sadeghi, M. Schiffers Kommunikations- und Informationstechnik 2010+3: Neue Trends und Entwicklungen in Technologie, Anwendungen und Sicherheit 2003 Book   Details | Bibtex Entry

Manfred Broy, Markus Pizka (Eds.) Models, Algebras and Logic of Engineering Software III: Computer and Systems Sciences, volume 191, number ISBN 1-58603-342-5, IOS Press, 2003 Book   Details | Bibtex Entry

Markus Pizka, Manfred Broy Success and Failure of 1000 First Semester CS Students In Computers and Advanced Technology in Education - CATE 2003, Vladimir Uskov (Eds.), pp. 771 - 776, ACTA Press, 2003 Conference paper   Details | Bibtex Entry

2002

Klaus Bender, Manfred Broy, Istvan Peter, Alexander Pretschner, Thomas Stauner Model based development of hybrid systems: specification, simulation, test case generation number LNCS 279, Springer, 2002 Book chapter   Details | Bibtex Entry

2001

Manfred Broy, Michael Gnatz, Ingolf Krüger, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg) ADL-Workshop München 2001 Technische Universität München, 2001 Book   Details | Bibtex Entry

Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin Methodik, Sprachen und Grundlagen des Software Engineering - Abschlußbericht des Forschungslabors SysLab (1.10.94 - 30.9.99) In Informatik: Forschung und Entwicklung, pp. 53 - 59, number 16(1), Springer-Verlag, 2001 Journal article   Details | Bibtex Entry

Jan Jürjens, Guido Wimmel Specification-based Testing of Firewalls In Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), Novosibirsk, Russia, D. Bjorner, M. Broy, A. Zamulin (Eds.), Springer-Verlag, 2001 Conference paper   Details | Bibtex Entry

2000

Manfred Broy, Michael Gnatz, Frank Marschall, Sascha Molterer, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg.) Architektur-Workshop München 2000 Technische Universität München, 2000 Book   Details | Bibtex Entry

Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin SysLab - Abschlußbericht Technical Report, number TUM-I0008, Technische Universität München, 2000 Technical Report   Details | Bibtex Entry

1999

Manfred Broy, Franz Huber, Bernhard Schätz AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme In Informatik Forschung und Entwicklung, Theo Härder, Stefan Jähnichen (Eds.), pp. 121--134, number 13(3), Springer Verlag, 1999 Journal article   Details | Bibtex Entry

Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy Focusing on Mobility In Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences, Ralph H. Sprague, Jr. (Eds.), IEEE Computer Society, 1999 Conference paper   Details | Bibtex Entry

Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy From MSCs to Statecharts pp. 61 - 71, Kluwer Academic Publishers, 1999 Publication   Details | Bibtex Entry

1998

Radu Grosu, Thomas Stauner, Manfred Broy A Modular Visual Model for Hybrid Systems pp. 75 - 91, number LNCS 1486, Springer-Verlag, 1998 Publication   Details | Bibtex Entry

Manfred Broy Compositional Refinement of Interactive Systems Modelled by Relations In International Symposium Compositionality, pp. 130 - 149, number LNCS 1536, Springer, 1998 Conference paper   Details | Bibtex Entry

Manfred Broy, Ingolf Krüger Interaction Interfaces -- Towards a scientific foundation of a methodological usage of Message Sequence Charts In Formal Engineering Methods (ICFEM'98), J. Staples, M. G. Hinchey, Shaoying Liu Hinchey, Shaoying Liu (Eds.), pp. 2 - 15, IEEE Computer Society, 1998 Conference paper   Details | Bibtex Entry

Manfred Broy, Derek Coleman, Tom S. E. Maibaum, Bernhard Rumpe PSMT -- ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques In Proceedings of International Conference on Software Engineerig (ICSE'98) Addendum, volume 2, IEEE Computer Society, 1998 Conference paper   Details | Bibtex Entry

Manfred Broy, Derec Coleman, Tom S. E. Maibaum, Bernhard Rumpe PSMT'98- Workshop on Precise Semantics for Software Modeling Techniques Technical Report, number TUM-I9803, Technische Universität München, 1998 Technical Report   Details | Bibtex Entry

Manfred Broy, Bernhard Rumpe (Eds.) Requirements Targeting Software and Systems Engineering number LNCS 1526, Springer-Verlag, 1998 Book   Details | Bibtex Entry

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies Software and System Modeling Based on a Unified Formal Semantics In Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, Benried, Germany, Manfred Broy, Bernhard Rumpe (Eds.), pp. 43 - 68, number LNCS 1526, Springer Verlag, 1998 Conference paper   Details | Bibtex Entry

R. Grosu, M. Broy, B. Selic, Gh. Stefanescu Towards a Calculus for UML-RT Specifications In Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, Haim Kilov, Bernhard Rumpe, Ian Simmonds (Eds.), Technische Universität München, 1998 Journal article   Details | Bibtex Entry

R. Grosu, G. Stefanescu, M. Broy Visual Formalisms Revisited In CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima, L. Lavagno, W. Reisig (Eds.), IEEE Computer Society Press, 1998 Conference paper   Details | Bibtex Entry

1997

R. Grosu, K. Stoelen, M. Broy A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing Technical Report, number TUM-I9724, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt A Graphical Description Technique for Communication in Software Architectures Technical Report, number TUM-I9705, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner Innovation durch Kooperation im Software-Engineering In Informatik ´97: Jahrestagung der Gesellschaft für Informatik, Reihe Informatik aktuell, M. Jarke, K. Pasedach, K. Pohl (Eds.), pp. 503 - 504, Springer-Verlag, 1997 Conference paper   Details | Bibtex Entry

Manfred Broy, Stefan Jähnichen KORSO -- Korrekte Software durch formale Methoden In Informatik Forschung und Entwicklung, A. Endres (Eds.), pp. 157 - 160, number 12 (3), Springer, 1997 Journal article   Details | Bibtex Entry

M. Broy Mathematical Methods in System and Software Engineering NATO ASI, Series F: Computer and System Sciences, volume 158, Springer, 1997 Publication   Details | Bibtex Entry

M. Broy, R. Grosu, C. Klein Reconciling Real-Time with Asynchronous Message Passing In FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313, J. Fitzgerald, C.B. Jones, P. Lucas (Eds.), Springer, 1997 Conference paper   Details | Bibtex Entry

M. Broy Refinement of Time In Transformation-Based Reactive System Development, ARTS'97, M. Bertran, Th. Rus (Eds.), pp. 44 - 63, number LNCS 1231, TCS, 1997 Conference paper   Details | Bibtex Entry

M. Broy Requirements Engineering for Embedded Systems In FemSys'97, 1997 Conference paper   Details | Bibtex Entry

Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (Eds.) Software Architectures and Design Patterns in Business Applications Technical Report, number TUM-I9746, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Jan Philipps, Bernhard Rumpe Stepwise Refinement of Data Flow Architectures In Software Architectures and Design Patterns in Business Applications, Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (Eds.), number TUM-I9746, Technische Universität München, 1997 Conference paper   Details | Bibtex Entry

Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies Summary of Case Studies in Focus - Part II Technical Report, number TUM-I9740, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Manfred Broy The Specification of System Components by State Transition Diagrams Technical Report, number TUM-I9729, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies The Steamboiler Specification - A Case Study in Focus Technical Report, number TUM-I9714, Technische Universität München, 1997 Technical Report   Details | Bibtex Entry

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt Using Extended Event Traces to Describe Communication in Software Architectures In Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong, IEEE Computer Society, 1997 Conference paper   Details | Bibtex Entry

1996

Manfred Broy A Functional Solution to the RPC-Memory Specification Problem M. Broy, S. Merz, K. Spies (Eds.), pp. 183 - 211, number LNCS 1169, Springer-Verlag, 1996 Book chapter   Details | Bibtex Entry

Cornel Klein, Bernhard Rumpe, Manfred Broy A stream-based mathematical model for distributed information processing systems - SysLab system model - In FMOODS'96, Formal Methods for Open Object-based Distributed Systems, Elie Naijm, Jean-Bernard Stefani (Eds.), pp. 323 - 338, ENST France Telecom, 1996 Conference paper   Details | Bibtex Entry

Martín Abadi, Leslie Lamport, Stephan Merz A TLA Solution to the RPC-Memory Specification problem pp. 21 - 66, Springer-Verlag, 1996 Publication   Details | Bibtex Entry

Manfred Broy Algebraic Specification of Reactive Systems In Algebraic Methodology and Software Technology, M. Nivat, Martin Wirsing (Eds.), pp. 487 - 503, Springer, 1996 Conference paper   Details | Bibtex Entry

M. Broy Formal Description Techniques - How Formal and Descriptive are they pp. 95 - 112, Chapman & Hall, 1996 Publication   Details | Bibtex Entry

Bernhard Schätz, Heinrich Hußmann, Manfred Broy Graphical Development of Consistent System Specifications In FME'96: Industrial Benefit and Advances In Formal Methods, Marie-Claude Gaudel, James Woodcock (Eds.), Springer, 1996 Conference paper   Details | Bibtex Entry

Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy State Transition Diagrams. Technical Report, number TUM-I9630, Technische Universität München, 1996 Technical Report   Details | Bibtex Entry

Manfred Broy, Gheorghe Stefanescu The Algebra of Stream Processing Functions. Technical Report, number TUM-I9620, Technische Universität München, 1996 Technical Report   Details | Bibtex Entry

Manfred Broy, Stephan Merz, Katharina Spies (eds.) The RPC Memory Case Study: A Synopsis M. Broy, S. Merz, K. Spies (Eds.), pp. 1 - 4, number LNCS 1169, Springer, 1996 Book chapter   Details | Bibtex Entry

Manfred Broy Towards a Mathematical Model of a Component and Its Use In Componentware Users Conference 1996, Munich, Proceedings, SIGS Publications, 1996 Conference paper   Details | Bibtex Entry

Ketil Stoelen Using Relations on Streams to Solve the RPC-Memory Specification Problem pp. 477 - 520, Springer-Verlag, 1996 Publication   Details | Bibtex Entry

1995

Manfred Broy Advanced Component Interface Specification In Theory and Practice of Parallel Programming - International Workshop TPPP'94, Takaysau Ito, Akinori Yonezawa (Eds.), pp. 89 - 104, Springer, 1995 Conference paper   Details | Bibtex Entry

Manfred Broy Characterizing the Behavior of Reactive Systems by Trace Sets Technical Report, number TUM-I9102, Technische Universität München, 1995 Technical Report   Details | Bibtex Entry

Bernhard Rumpe, Cornel Klein, Manfred Broy Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell - Technical Report, number TUM-I9510, Technische Universität München, 1995 Technical Report   Details | Bibtex Entry

Manfred Broy Equations for Describing Dynamic Nets of Communicating Systems In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Astesiano, Reggio, Tarlecki (Eds.), pp. 170 - 187, Springer, 1995 Conference paper   Details | Bibtex Entry

Manfred Broy Mathematical System Models as a Basis of Software Engineering In Computer Science Today, J. van Leeuwen (Eds.), pp. 292 - 306, Springer, 1995 Journal article   Details | Bibtex Entry

Manfred Broy On the Design and Verification of a Simple Distributed Spanning Tree Algorithm Technical Report, number TUM-I9046, Technische Universität München, 1995 Technical Report   Details | Bibtex Entry

Martin Abadi, Stephan Merz On TLA as a logic In Deductive Program Design, Manfred Broy (Eds.), Springer, 1995 Journal article   Details | Bibtex Entry

1994

Manfred Broy A Functional Rephrasing of the Assumption/Commitment Specification Style Technical Report, number TUM-I9417, Technische Universität München, 1994 Technical Report   Details | Bibtex Entry

Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder Interpreter Verification for a Functional Language In Proc. 14th Conf. Foundations of Software Technology and Theoretical Computer Science, P.S. Thiagarajan (Eds.), pp. 77 - 88, 1994 Conference paper   Details | Bibtex Entry

Manfred Broy Specification and Refinement of a Buffer of Length One In Deductive Program Design, Manfred Broy (Eds.), pp. 273 - 304, ASI Series, Series F: Computer and System Sciences, volume 152, Springer, 1994 Conference paper   Details | Bibtex Entry

Manfred Broy, Ketil Stoelen Specification and Refinement of Finite Dataflow Networks - A Relational Approach Technical Report, number TUM-I9412, Technische Universität München, 1994 Technical Report   Details | Bibtex Entry

Manfred Broy, Ketil Stoelen Specification and Refinement of Finite Dataflow Networks - a Relational Approach In Proc. FTRTFT'94, Lecture Notes in Computer Science 863, H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.), pp. 247 - 267, Springer, 1994 Conference paper   Details | Bibtex Entry

Manfred Broy, Michal Walicki Structured Specifications and Implementation of Nondeterministic Data Types Technical Report, number TUM-I9442, Technische Universität München, 1994 Technical Report   Details | Bibtex Entry

Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz, Katharina Spies, Ketil Stølen Summary of Case Studies in FOCUS - a Design Method for Distributed Systems Technical Report, number TUM-I9423, Technische Universität München, 1994 Technical Report   Details | Bibtex Entry

1993

Manfred Broy (Inter-)Action Refinement: The Easy Way Manfred Broy (Eds.), Series F: Computer and System Sciences, volume 118, Springer NATO ASI Series, 1993 Book chapter   Details | Bibtex Entry

Manfred Broy Functional Specification of Time Sensitive Communicating Systems In ACM Transactions on Software Engeneering and Methodology 2:1, pp. 1 - 46, 1993 Conference paper   Details | Bibtex Entry

Manfred Broy, Claus Dendorfer, Ketil Stoelen HOPSA - a High-level Programming Language for Parallel Computations In Proc. Euro-ARCH'93, Informatik aktuell, Peter Spies (Eds.), pp. 636 - 646, Springer, 1993 Conference paper   Details | Bibtex Entry

Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hußmann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, Ketil Stølen The Requirement and Design Specification Language SPECTRUM An Informal Introduction (V 1.0) Technical Report, number TUM-I9311, TUM-I9312, Technische Universität München, 1993 Technical Report   Details | Bibtex Entry

1992

Manfred Broy Compositional Refinement of Interactive Systems 1992 Publication   Details | Bibtex Entry

Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs, Thomas Gritzner, Rainer Weber The Design of Distributed Systems - An Introduction to FOCUS Technical Report, number TUM-I9202, Technische Universität München, 1992 Technical Report   Details | Bibtex Entry

1991

Manfred Broy, Claus Dendorfer Modelling Operating System Structures by Timed Stream Processing Functions Technical Report, number TUM-I9042, Technische Universität München, 1991 Technical Report   Details | Bibtex Entry

Manfred Broy Towards a Formal Foundation of the Specification and Description Language SDL pp. 21 - 57, 1991 Publication   Details | Bibtex Entry

1990