Subject Areas

10 hits in 0.006 sec.

Specification and development of interactive systems : focus on streams, interfaces and refinement [Score: 100%]
Author / Editor: Broy, Manfred; Stølen, Ketil |  Place of publication: New York [u.a.] |  Publisher: Springer |  Year of Publication: 2001 | 365 s.
Journal / Series / Collection: Monographs in computer science
Subject Area: Informatik
[Search within document] [PDF-Download]
Partial abstract types; 1 [Score: 100%]
Author / Editor: Broy, Manfred; Wirsing, Martin |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 1982 | 18 s.
Journal / Series / Collection: Acta informatica; 18
Subject Area: Informatik
[Search within document] [PDF-Download]
A formal model of services; 1 [Score: 100%]
Author / Editor: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 2007 | 40 s.
Journal / Series / Collection: ACM transactions on software engineering and methodology; 16
Subject Area: Informatik
[Search within document] [PDF-Download]
On the algebraic definition of programming languages; 1 [Score: 100%]
Author / Editor: Broy, Manfred; Wirsing, Martin; Pepper, Peter |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1987 | 46 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 9
Subject Area: Informatik; Mathematik
[Search within document] [PDF-Download]
Compositional refinement of interactive systems; 6 [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1997 | 42 s.
Journal / Series / Collection: Journal of the ACM; 44
Subject Area: Informatik
[Search within document] [PDF-Download]
Adding fair choice to Dijkstra's calculus; 3 [Score: 100%]
Author / Editor: Broy, Manfred; Nelson, Greg |  Place of publication: New York, NY |  Publisher: Association for Computing Machinery |  Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
[Search within document] [PDF-Download]
[External link] A theory for nondeterminism, parallelism, communication and concurrency [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
[External link] Algebraic implementations preserve program correctness [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik
[External link] Nondeterministic data flow programs : how to avoid the merge anomaly; 1 [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 10
Subject Area: Informatik
[External link] Views of queues [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 11
Subject Area: Informatik

Active filters [Remove filter]

Drill down result

Language