Вы здесь

Broy M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Logical Basis for Component-Oriented Software and Systems Engineering 2010 Broy M. The Computer Journal 29.03.2011
СТ From "Formal Methods" to System Modeling 2007 Broy M. Lecture Notes in Computer Science Lecture Notes in Computer Science 07.01.2008
СТ Interaction and Realizability 2007 Broy M. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.03.2007
СТ From Chaosto Undefinedness: A Story about Recursion as Well as Termination, Underspecification, Nondeterminism, Fixpoints, Metric Treatment, And Logical Models 2006 Broy M. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation 2006 Broy M. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.08.2006
СТ Distributed Concurrent Object-Oriented Software 2004 Broy M. Lecture Notes in Computer Science 27.04.2004
СТ A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems 2003 Broy M. Lecture Notes in Computer Science 26.03.2004
П GOTOs - A Study in the Algebraic Specification of Programming Languages 1981 Broy M., Dosch W., Moller B., Wirsing M. Univ.Edinburgh 19.03.2004
СТ Service-Oriented Systems Engineering: Modeling Services and Layered Architectures 2003 Broy M. Lecture Notes in Computer Science 26.12.2003
СТ Multi-view Modeling of Software Systems 2003 Broy M. Lecture Notes in Computer Science 25.12.2003
П Unifying Models and Engineering Theories of Composed Software Systems 2002 Broy M. Techn.Univ.Munchen 24.08.2002
СТ Mathematics of Software Engineering 1995 Broy M. Lecture Notes in Computer Science 30.03.2002
СТ From Requuirements to Validated Embedded Systems 2001 Broy M., Slotosch O. Lecture Notes in Computer Science 03.11.2001
СТ Algebraic State Machines 2000 Broy M., Wirsing M. Lecture Notes in Computer Science 17.06.2000
П The Design of Distributed Systems - An Introduction to FOCUS 1992 Broy M., Dederichs F., Dendorfer C., Fuchs M., Gritzner T. F., Weber R. Lecture Notes in Computer Science TUM 08.12.1999
П The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II 1993 Broy M., Facchi C., Grosu R., Hettler R., Hussman H., Nazareth D., Regensburger F., Slotosch O., Stolen K. Lecture Notes in Computer Science TUM 08.12.1999
П (Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems 1992 Broy M. Techn.Univ.Munchen 04.12.1999
СТ Enriching the Software Development Process by Formal Methods 1999 Broy M., Slotosch O. Lecture Notes in Computer Science 29.09.1999
СТ Adapting Calculational Logic to the Undefined 1999 Schieder B., Broy M. The Computer Journal 20.08.1999
П Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant 1992 Broy M. Digital 05.06.1999
СТ Compositional Refinement of Interactive Systems Modelled by Relations 1998 Broy M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Software and System Modeling Based on a Unified Formal Semantics 1998 Broy M., Huber F., Paech B., Rumpe B., Spies K. Lecture Notes in Computer Science 10.12.1998
СТ A Logical Basis for Modular Software and Systems Engineering 1998 Broy M. Lecture Notes in Computer Science 04.12.1998
СТ Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That 1997 Broy M. Lecture Notes in Computer Science 28.11.1997
СТ A Functional Solution to the RPC-Memory Specification Problem 1996 Broy M. Lecture Notes in Computer Science 24.12.1996
СТ Correct Software: From Experiments to Applications 1995 Broy M., Wirsing M. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ Mathematical System Models as a Basis of Software Engineering 1995 Broy M. Lecture Notes in Computer Science Computer Science Today 01.12.1995
П Specification and Refinement of a Buffer of Length One 1994 Broy M. TUM МИР ПК 26.07.1995
П Summary of Case Studies in FOCUS - a Design Method for Distributed Systems 1994 Broy M., Funchs M., Gritzner T. F., Schatz B., Spies K., Stolen K. TUM 05.07.1995
П A Functional Rephrasing of the Assumption/Commitment Specification Style 1994 Broy M. TUM 05.07.1995
П A Functional Specification of the Alpha AXP Shared Memory Model 1995 Broy M. Digital 24.06.1995
СТ On the Herbrand Kleene Universe for Nondeterministic Computations 1983 Broy M. Univ.Passau 02.06.1995
СТ Views of Distributed Systems 1986 Broy M., Streicher T. Univ.Passau 02.06.1995
СТ Equations for Describing Dynamic Nets of Communicating Systems 1995 Broy M. Lecture Notes in Computer Science 24.05.1995
СТ Advanced Component Interface Specification 1995 Broy M. Lecture Notes in Computer Science 19.05.1995
СТ Interpreter Verification for a Functional Language 1994 Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. Lecture Notes in Computer Science 11.01.1995
СТ Adding Fair Choice to Dijkstra s Calculus 1994 Broy M., Nelson G. ACM Trans. Programming Languages and Systems 01.09.1994
СТ Functional Specification of Time-Sensitive Communicating Systems 1993 Broy M. ACM Trans. Software Engineering and Methodology 13.03.1993
П Compositional Refinement of Interactive Systems 1992 Broy M. Digital 26.11.1992
СТ Modular Functional Modelling of Petri Nets with Individual Tokens 1992 Broy M., Streicher T. Lecture Notes in Computer Science 09.07.1992
СТ On Denotational versus Predicative Semantics 1991 Broy M., Lengauer C. J. Computer and System Sciences 21.06.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Model-Driven Development of Reliable Automotive Services: Revised Selected Papers/Second Automotive Software Workshop, ASWSD 2006. San Diego, CA, USA, March 2006 2008 Lecture Notes in Computer Science
  1. Broy M.
  2. Krueger I. H.
  3. Meisinger M.
20.09.2008
СБ Automotive Software - Connected Services in Mobile Networks: Revised Selected Papers/1st Automotive Software Workshop, ASWSD 2004. San Diego, CA, USA, January 2005 2006 Lecture Notes in Computer Science
  1. Broy M.
  2. Krueger I. H.
  3. Meisinger M.
11.01.2007
СБ Model-Based Testing of Reactive Systems: Advanced Lectures 2005 Lecture Notes in Computer Science
  1. Broy M.
  2. Jonsson B.
  3. Leucker M.
  4. Katoen Et Al J. -P.
30.07.2005
СБ Perspectives of System Informatics: Proc./5th Intern. Andrei Ershov Memorial Conf., PSI 2003, Akademgorodok, Novosibirsk, Russia, July 2003 2003 Lecture Notes in Computer Science
  1. Broy M.
  2. Zamulin A. V.
18.02.2004
СБ Perspectives of System Informatics: Proc./4th Intern. A.Ershov Memorial Conf., PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2001 2001 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Zamulin A. V.
06.02.2002
СБ Perspectives of System Informatics: Proc./Third Intern. Andrei Ershov Memorial Conf., PSI 99. Akademgorodok, Novosibirsk, Russia, July 1999 2000 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Zamulin A. V.
18.02.2000
СБ Methods of Programming: Selected Papers on the CIP-Project 1991 Lecture Notes in Computer Science
  1. Broy M.
  2. Wirsing M.
25.09.1999
СБ Requirements Targeting Software and Systems Engineering: Proc./Intern. Workshop RTSE 97. Bernried, Germany, October 1997 1998 Lecture Notes in Computer Science
  1. Broy M.
  2. Rumpe B.
10.12.1998
СБ Perspectives of System Informatics: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996 1996 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Pottosin I. V.
14.02.1997
СБ Formal Systems Specification: The RPC-Memory Specification Case Study 1996 Lecture Notes in Computer Science
  1. Broy M.
  2. Merz S.
  3. Spies K.
24.12.1996
СБ KORSO: Methods, Languages, and Tools for the Construction of Correct Software 1995 Lecture Notes in Computer Science
  1. Broy M.
  2. Jahnichen S.
Final Report 27.12.1995
СБ Formal Methods in Programming and Their Applications: Proc./Intern. Conf. Academgorodok, Novosibirsk, Russia, June-July 1993 1993 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Pottosin I. V.
19.11.1993