sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000065971423 | 1 hits
Person
ISNI: 
0000 0000 6597 1423
Name: 
Broj, M.
Broj, Manfred
Broy, M.
Broy, Manfred
Manfred Broy
Manfred Broy (deutscher Informatiker und Professor an der Fakultät für Informatik der Technischen Universität München)
Manfred Broy (Duits informaticus)
Manfred Broy (German computer scientist)
Manfred Broy (tysk ingeniør og informatikar)
Manfred Broy (tysk ingeniør og informatiker)
Manfred Broy (tysk ingenjör och datavetare)
Dates: 
1949-
Creation class: 
article
Computer file
cre
Language material
Text
Creation role: 
author
contributor
creator
editor
redactor
Related names: 
Bauer, F.L. (1924-)
Bauer, Friedrich Ludwig (1924-)
Bjørner, D. (1937-)
Bjørner, Dines (1937-)
Hoare, C. A. R. (1934-)
Hoare, Charles Antony Richard (1934-)
Meisinger, Michael
North Atlantic Treaty Organization. Scientific Affairs Division
Pottosin, Igor Vasil'evič (1933-2001))
Rumpe, Bernhard
Schieder, Birgit
Spies, Katharina
Stølen, Ketil
Wirsing, Martin
Zamulin, Alexandre V.
Titles: 
Abstract semantics of synchronous languages the example Esterel
algebra of stream processing functions
Algebraic characterisation of models for λ-calculus
ASWSD 2004
Automotive software connected services in mobile networks : First automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
Concurrent systems: semantics, specification, and synthesis 11.3.1991 - 15.3.1991 (9111) ; [report on the Dagstuhl-Workshop "Concurrent Systems: Semantics, Specification, and Synthesis"]
Constructive methods in computing science
Control flow and data flow: concepts of distributed programming internat. summer school ; [proceedings of the NATO Advanced Study Inst. on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Fed. Republic of Germany, Juli 31 - August 12, 1984]
Cyber-physical systems Innovation durch softwareintensive eingebettete Systeme
Engineering methods and tools for software safety and security
Engineering theories of software intensive systems
Extensional behaviour of concurrent, nondeterministic communicating systems
Formal systems specification : the RPC-memory specification case study
Functional Rephrasing of the Assumption/Commitment Specification Style, A
Fünfte F-&-E- und Konstruktionsleiter-Fachtagung
Gestaltung interorganisationaler Software-Entwicklung Herausforderungen durch Wandlungsfähigkeit und Wiederverwendung
graphical description technique for communication in software architectures
Informatik
informationszentrierte Ansatz ein Vorschlag für eine zeitgemäße Form des Informatikunterrichtes am Gymnasium
KORSO: methods, languages, and tools for the construction of correct software : final report
Künstliche Intelligenz
Methodik des Programmierens eine Festschrift zu Ehren von F. L. Bauer
Methods of programming : selected papers on the CIP-project
Model-based engineering of embedded systems : the SPES 2020 methodology
Model-based Synthesis of Distributed Real-time Automotive Architectures
Model-based testing of reactive systems : advanced lectures
Models, algebras, and logic of engineering software
On denotational versus predicative semantics
On modularity in programming invited paper at the IFIP 25th anniversary celebrations
Parallelism algebras a link between process algebras and abstract relation algebras?
Perspectives of system informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers
Pragmatic and formal specification of system properties by tables
Process semantics of communicating concurrent programs
Program construction, International Summer School, 1979 (a.e.)
Program design calculi
Programming and mathematical method
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
PSI 2003
requirement and design specification language Spectrum an informal introduction; version 0.3
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings
RTSE '97
Software pioneers : contributions to software engineering
Some algebraic and functional hocus pocus with abracadabra
Specification and development of interactive systems focus on streams, interfaces, and refinement
Specification and refinement of finite dataflow networks a relational approach
Specification and top down design of distributed systems
specification of system components by state transition diagrams
strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - SysLab-Systemmodell, Ein
Summary of case studies in FOCUS
Towards advanced programming environments based on algebraic concepts
Ultra loose algebraic specification
Weakening the weak conditions for self-timed circuits
Contributed to or performed: 
FORMAL METHODS IN SYSTEM DESIGN
Notes: 
Sources: 
VIAF DNB LC LNB NKC NUKAT SUDOC WKD
BOWKER
NTA
TEL
ZETO