Manfred Broy

10. srpen 1949

Software pioneers

Esaurito

Manfred Broy Software pioneers

4,0

Projektorganisation und Management im Software Engineering

Esaurito

Manfred Broy Projektorganisation und Management im Software Engineering

5,0

Model based testing of reactive systems

Esaurito

Manfred Broy Model based testing of reactive systems

4,0

Model driven development of reliable automotive services

Esaurito

Manfred Broy Model driven development of reliable automotive services

3,7

Deductive program design ; [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]

Esaurito

Manfred Broy Deductive program design ; [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]

Formal systems specification

Esaurito

Manfred Broy Formal systems specification

Mathematical methods in program development

Esaurito

Manfred Broy Mathematical methods in program development

Requirements targeting software and systems engineering

Esaurito

Manfred Broy Requirements targeting software and systems engineering

Specification and development of interactive systems

Esaurito

Manfred Broy Specification and development of interactive systems

Perspectives of system informatics

Esaurito

Manfred Broy Perspectives of system informatics

Automotive software connected services in mobile networks

Esaurito

Manfred Broy Automotive software connected services in mobile networks

Software Pioneers. Contributions to Software Engineering

Esaurito

Manfred Broy Software Pioneers. Contributions to Software Engineering