10 Treffer in 0.006 Sek.
Specification and development of interactive systems : focus on streams, interfaces and refinement
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Stølen, Ketil | Verlagsort: New York [u.a.] | Verlag: Springer | Erscheinungsjahr: 2001 | 365 S.
Zeitschrift / Sammelband: Monographs in computer science
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Stølen, Ketil | Verlagsort: New York [u.a.] | Verlag: Springer | Erscheinungsjahr: 2001 | 365 S.
Zeitschrift / Sammelband: Monographs in computer science
Fachgebiet: Informatik
Partial abstract types; 1
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 1982 | 18 S.
Zeitschrift / Sammelband: Acta informatica; 18
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 1982 | 18 S.
Zeitschrift / Sammelband: Acta informatica; 18
Fachgebiet: Informatik
A formal model of services; 1
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
On the algebraic definition of programming languages; 1
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin; Pepper, Peter | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1987 | 46 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 9
Fachgebiet: Informatik; Mathematik
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin; Pepper, Peter | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1987 | 46 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 9
Fachgebiet: Informatik; Mathematik
Compositional refinement of interactive systems; 6
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
Adding fair choice to Dijkstra's calculus; 3
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Nelson, Greg | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Nelson, Greg | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
[Externer Link]
A theory for nondeterminism, parallelism, communication and concurrency
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
[Externer Link]
Algebraic implementations preserve program correctness
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Science of computer programming; 7
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Science of computer programming; 7
Fachgebiet: Informatik
[Externer Link]
Nondeterministic data flow programs : how to avoid the merge anomaly; 1
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 10
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 10
Fachgebiet: Informatik
[Externer Link]
Views of queues
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 11
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred | Verlagsort: Amsterdam [u.a.] | Verlag: Elsevier | Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 11
Fachgebiet: Informatik