About: Manfred Broy

Manfred Broy (* 10. August 1949 in Landsberg am Lech) ist ein deutscher Informatiker und emeritierter Professor an der Fakultät für Informatik der Technischen Universität München.

Property	Value
dbo:abstract	Manfred Broy (* 10. August 1949 in Landsberg am Lech) ist ein deutscher Informatiker und emeritierter Professor an der Fakultät für Informatik der Technischen Universität München. (de) Manfred Broy (* 10. August 1949 in Landsberg am Lech) ist ein deutscher Informatiker und emeritierter Professor an der Fakultät für Informatik der Technischen Universität München. (de)
dbo:author	dbpedia-de:Martin_Wirsing_(Informatiker)
dbo:birthDate	1949-08-10 (xsd:date)
dbo:birthPlace	dbpedia-de:Landsberg_am_Lech
dbo:individualisedGnd	109602137
dbo:isbn	0-387-95073-7 978-3-642-29098-5
dbo:lccn	n/79/60851
dbo:originalTitle	Verifying of Interface Assertions for Infinite State Mealy Machines (de) A Formal Model of Services (de) Challenges in Engineering Cyber-Physical Systems (de) Compositional Refinement of Interactive Systems (de) Multifunctional Software Systems: Structured Modeling and Specification of Functional Requirements (de) Partial Abstract Types (de) Toward a Mathematical Foundation of Software Engineering Methods (de) A Logical Basis for Component-Oriented Software and Systems Engineering (de) Computability and Realizability for Interactive Computations (de) agendaCPS – Integrierte Forschungsagenda Cyber-Physical Systems (de) Verifying of Interface Assertions for Infinite State Mealy Machines (de) A Formal Model of Services (de) Challenges in Engineering Cyber-Physical Systems (de) Compositional Refinement of Interactive Systems (de) Multifunctional Software Systems: Structured Modeling and Specification of Functional Requirements (de) Partial Abstract Types (de) Toward a Mathematical Foundation of Software Engineering Methods (de) A Logical Basis for Component-Oriented Software and Systems Engineering (de) Computability and Realizability for Interactive Computations (de) agendaCPS – Integrierte Forschungsagenda Cyber-Physical Systems (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Manfred_Broy_2004_1.jpeg?width=300
dbo:viafId	91721734
dbo:wikiPageExternalLink	http://www.acatech.de/fileadmin/user_upload/Baumstruktur_nach_Website/Acatech/root/de/Material_fuer_Sonderseiten/Cyber-Physical-Systems/acatech_STUDIE_agendaCPS_Web_20120312_superfinal.pdf http://www.sciencedirect.com/science/article/pii/S016764231000119X/pdf?md5=2682fb2fabdf0010e239bc3b5b2472bf&pid=1-s2.0-S016764231000119X-main.pdf http://www4.informatik.tu-muenchen.de/~broy/index.shtml https://pdfs.semanticscholar.org/a8e4/f802e984efde9dcd61f309dfbd8e30f79508.pdf https://www.worldcat.org/wcpa/oclc/780118339?page=frame&url=http%3A%2F%2Fnbn-resolving.de%2Furn%2Fresolver.pl%3Furn%3Durn%3Anbn%3Ade%3Abvb%3A12-bsb00069229-0%26checksum%3D9732149d94c8a9763e68da5b0b8ad39b&title=&linktype=digitalObject&detail= http://www.genealogy.ams.org/id.php?id=22779 http://www.leibniz-publik.de/de/fs1/object/display/bsb00069956_00002.html
dbo:wikiPageID	1402949 (xsd:integer)
dbo:wikiPageRevisionID	156813398 (xsd:integer)
prop-de:abruf	2016-04-21 (xsd:date) 2016-04-25 (xsd:date) 2016-04-29 (xsd:date)
prop-de:autor	Manfred Broy Manfred Broy et. al. Manfred Broy, Albrecht Schmidt Manfred Broy, Eva Geisberger Manfred Broy, Ketil Stølen
prop-de:band	2 (xsd:integer) 27 (xsd:integer) 44 (xsd:integer) 53 (xsd:integer) 75 (xsd:integer)
prop-de:datum	1982 (xsd:integer) 1997 (xsd:integer) 2001 (xsd:integer) 2010 (xsd:integer) 2012 (xsd:integer) 2014 (xsd:integer) 2015 (xsd:integer) 2007-02-01 (xsd:date)
prop-de:hrsg	Deutsche Akademie der Technikwissenschaften
prop-de:issn	1 (xsd:integer) 98 (xsd:integer) 167 (xsd:integer) 1049 (xsd:integer) 1460 (xsd:integer)
prop-de:kommentar	Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen.
prop-de:kurzbeschreibung	deutscher Informatiker und Professor an der Fakultät für Informatik der Technischen Universität München
prop-de:nummer	1 (xsd:integer) 6 (xsd:integer) 10 (xsd:integer) 18 (xsd:integer) 47 (xsd:integer) 241 (xsd:integer)
prop-de:online	http://www.acatech.de/fileadmin/user_upload/Baumstruktur_nach_Website/Acatech/root/de/Material_fuer_Sonderseiten/Cyber-Physical-Systems/acatech_STUDIE_agendaCPS_Web_20120312_superfinal.pdf http://www.sciencedirect.com/science/article/pii/S016764231000119X/pdf?md5=2682fb2fabdf0010e239bc3b5b2472bf&pid=1-s2.0-S016764231000119X-main.pdf https://pdfs.semanticscholar.org/a8e4/f802e984efde9dcd61f309dfbd8e30f79508.pdf https://www.worldcat.org/wcpa/oclc/780118339?page=frame&url=http%3A%2F%2Fnbn-resolving.de%2Furn%2Fresolver.pl%3Furn%3Durn%3Anbn%3Ade%3Abvb%3A12-bsb00069229-0%26checksum%3D9732149d94c8a9763e68da5b0b8ad39b&title=&linktype=digitalObject&detail= http://www.leibniz-publik.de/de/fs1/object/display/bsb00069956_00002.html [http://www.leibniz-publik.de/de/fs3/object/display/bsb00057176_00001.html?sort=sortTitle+asc&letter=&context=&awardee_str={Broy%2C+Manfred}&mode=awardee_str online]
prop-de:ort	Heidelberg New York
prop-de:sammelwerk	Acta Informatica Journal of the ACM The Computer Journal Science of Computer Programming Journal of Computer and System Sciences IEEE Transactions on Software Engineering IEEE Computer Society Acatech-Studie Information and Computation Monographs in Computer Science ACM Transactions on Software Engineering and Methodology
prop-de:typ	p
dc:description	deutscher Informatiker und Professor an der Fakultät für Informatik der Technischen Universität München
dc:publisher	Springer
dct:subject	category-de:Deutscher category-de:Ehrendoktor_der_Universität_Passau category-de:Geboren_1949 category-de:Hochschullehrer_(Technische_Universität_München) category-de:Informatiker category-de:Leibnizpreisträger category-de:Mann category-de:Mitglied_der_Deutschen_Akademie_der_Technikwissenschaften_(acatech) category-de:Mitglied_der_Leopoldina_(21._Jahrhundert) category-de:Träger_des_Bayerischen_Maximiliansordens_für_Wissenschaft_und_Kunst category-de:Träger_des_Bundesverdienstkreuzes_am_Bande category-de:Hochschullehrer_(Passau)
bibo:pages	1193 bis 1214 1298 bis 1322 1758 bis 1782 277 bis 301 42 bis 57 47 bis 64 70 bis 72 85 bis 115 850 bis 891
rdf:type	owl:Thing foaf:Person schema:CreativeWork wikidata:Q386724 dbo:Work dbo:WrittenWork
rdfs:comment	Manfred Broy (* 10. August 1949 in Landsberg am Lech) ist ein deutscher Informatiker und emeritierter Professor an der Fakultät für Informatik der Technischen Universität München. (de) Manfred Broy (* 10. August 1949 in Landsberg am Lech) ist ein deutscher Informatiker und emeritierter Professor an der Fakultät für Informatik der Technischen Universität München. (de)
rdfs:label	Manfred Broy (de) Manfred Broy (de)
owl:sameAs	dbr:Manfred Broy wikidata:Manfred Broy dbpedia-wikidata:Manfred Broy freebase:Manfred Broy http://www.viaf.org/viaf/91721734
prov:wasDerivedFrom	wikipedia-de:Manfred_Broy?oldid=156813398
foaf:depiction	wiki-commons:Special:FilePath/Manfred_Broy_2004_1.jpeg
foaf:givenName	Manfred
foaf:isPrimaryTopicOf	wikipedia-de:Manfred_Broy
foaf:name	Manfred Broy
foaf:surname	Broy
is dbo:author of	dbpedia-de:Digitale_Transformation
is dbo:wikiPageDisambiguates of	dbpedia-de:Broy
is foaf:primaryTopic of	wikipedia-de:Manfred_Broy