( en | de | ru )

 

Disambiguation of "Broy, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
A Functional Rephrasing of the Assumption/Commitment Specification Style

. Formal Methods in System Design, 13 (1): 87-119 (1998)
DOI: 10.1023/A:1008618722275

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manfred Broy

Manfred Broy

Julius Broy

Werner Broy

Julian Broy

 

Other publications of authors with the same name

Das Einmaleins der Softwareentwicklung, , , , , and . Computerwoche, (October 2003)O.P.E.N. Study (External Version), , , , and . Internal Report for Nemetschek AG, München, (November 1997)Net-Centric - Architecture Evaluation and Recommendations for Deutsche Bank 24, , , and . Internal Report for Deutsche Bank 24, (May 2001)Strategische Bewertung von Java bei Giesecke & Devrient, , , and . Internal Report for Giesecke & Devrient GmbH, München, (June 1997)Testing of Finite State Machines, , , , and . page 1--3. (2005)2nd UML 2 Semantics Symposium: Formal Semantics for UML, , , , , and . (2007)From MSCs to statecharts, , , and . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)A logical basis for component-oriented software and systems engineering. The Computer Journal, 53 (10): 1758--1782 (2010)Multifunctional software systems: Structured modeling and specification of functional requirements. Science of Computer Programming, (2010)Are Fairness Assumptions Fair?. ICDCS, page 116-125. IEEE Computer Society, (1981)