Software testing macke modular and compositional analysis with the klee and afl engine. Stefan kriebel bmw group munich, germany deni raco chair of software engineering rwth aachen university aachen, germany bernhard rumpe chair of software engineering rwth aachen university aachen, germany sebastian. Dr broy and his teams first step towards achieving this ease of interaction has been to build a reliable foundational model, onto which improvements in software and systems engineering. The focus of our research is on development of critical embedded systems, mobility and contextawareness, and. A metamodelbased approach to effectively construct and manage families of software process models. In 1989 he went to the technical university munich tum, where in 1992 he became the founding dean of. Welcome to the chair for software and systems engineering. Understand how quality attributes affect the software architecture and conversely, how architectures influence these attributes in different. Architecture modelling as a backbone for devops in automotive systems, auto. We currently focus on those disciplines of software engineering where safety and security intersect, both in research and education. Orchestration of global software engineering projects. The marktoberdorf summer school is a two weeks course for young computer scientists and mathematicians working in the field of formal software and systems development. All software products we provide centrally for tum members e. Motivation the major objective of the sep is to provide students with the experience of an industrylike software development project.
University of munich in a course called software engineering project sep conducted by the authors during summer term 2002. Journal of software engineering and applications 10 5, 2017, 457481 mehr legat, christoph. Leibnizrechenzentrum lrz has campus agreements and software licenses in place with numerous manufacturers, which in most cases allow the tum employees to get products at no cost or at extremely reasonable cost. Within the framework of the fraunhofer attract program he then moved on to head a research group at the fraunhofer institute for experimental software engineering in kaiserslautern. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Peter braun, manfred broy, frank houdek, matthias kirchmayr, mark muller. Content software engineering is the the establishment and systematic use of engineering principles, methods, and tools for the division of work, the development and application of extensive, complex software. Mathematics, physics and chemistry by manfred broy, johannes gruenbauer, david harel, and tony hoare 2005 kindle book. The programme imparts indepth, practice and applicationoriented knowledge in the central topics of software engineering. Build complex software systems in the context of frequent change. A logical basis for componentoriented software and. Within the framework of the fraunhofer attract program he then moved on to head a research group at the fraunhofer institute for experimental software engineering.
He turned his fondness for formalisation into his profession and is now one of the most cited computer scientists worldwide. Engineering theories of software intensive systems. Manfred broy, johannes grunbauer, david harel and tony hoare. Manfred broy s 526 research works with 7,787 citations and 9,220 reads, including. Munch noncompositional greybox fuzzer for high function coverage based on klee and afl.
Study of mathematics and computer science at the technical university of. First workshop on software engineering for ai in autonomous systems colocated with icse 2018. Jul 26, 2018 tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he enjoyed it a lot. This includes foundations, methods, processes, models, description techniques and tools. Alexander has organized several workshops in the field of software engineering for automotive systems. Daniel m endez fern andez, wolfgang b ohm, manfred broy technical university of munich boltzmannstr. Awarded by tum, the program is conducted in singapore and serves to provide graduates with an indepth knowledge in the field of aerospace engineering, focusing in the areas of aeronautical design. Engineering dependable software systems july 31 to august 12, 2012. Software engineering from auxiliary to key technology. Dependable software systems engineering july 29 to august 10, 2014.
A framework for safety violation identification and assessment in autonomous driving. Seeber tum lab prototype of a magnetic flow cytometer with inserted cartridge for cell function analysis image. Seamless method and modelbased software and systems engineering. A good description of such an environment can be found in berenbach and broy s account of professional and ethical dilemmas in software engineering 26. Welcome to the tum department of electrical and computer. Celebrating the 20th anniversary of adesso ag, adesso gathered some of the pioneers of software engineering including manfred broy, ivar jacobson and carlo ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. A configurable partialorder planning approach for field level operation strategies of plcbased industry 4. Bauer on the subject of transformation of programs running in parallel transformation parallel ablaufender programme in 1983 he founded the faculty of mathematics and computer science at the university of passau, whose dean he was until 1986. A logical basis for componentoriented software and systems. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions.
Engineering theories of software intensive systems, marktoberdorf, 315 august 2004, germany, nato science series, ii. Stefan kriebel bmw group munich, germany deni raco chair of software engineering rwth aachen university aachen, germany bernhard rumpe chair of software engineering. Marco kuhrmann, thomas ternite, jan friedrich, andreas rausch, manfred broy. Reynolds, cmu wonderfully novel, very readable, and most engaging grady booch, ibm fellow. Institut fur informatik, technische universitat munchen, d80290 munchen, germany. Journal of software engineering and applications 10 5, 2017, 457481 more legat, christoph. The goal is to support and advance the methods of software and systems engineering, with a focus on quality assurance and longterm system evolution. Specification and design of services and layered architectures the janus approach. Broy is with software and systems engineering, institut fur informatik, technische universita. The maximilian order is a prestigious accolade presented by the free state of bavaria to reward outstanding achievements in the fields of science and art. Proceedings of the nato advanced study institute on engineering theories of software intensive systems, ii. This report is the conclusion of the ongoing cooperation with siemens corporate research in princeton scr. Software industry, softwarecentred areas in other industries, itfocused service industry, financial and insurance. The methods developed in our group have been validated in various industry cooperations in the telecommunications.
Software expert and tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he enjoyed it a lot. The essence of software engineering volker gruhn, rudiger. Informatics 4 software and systems engineering prof. The order was established by king maximilian ii in 1853 and was initially awarded until 1932, when it was discontinued. Please contact the department or the student council. Componentoriented software and systems engineering manfred broy. Alexander pretschner doron peled manfred broy executive director katharina spies. Research and teaching assistant at the technical university of munich, institute of informatics and the sonderforschungsbereich 49 programmiertechnik. Klee22 adaptation of the popular symbolic execution engine, with targeted path search strategy rritbed realtime remote ids testbed for connected vehicles. Challenges in automotive software engineering proceedings. Abstract the amount of software in cars grows exponentially. After obtaining his doctorate at tum, he worked as a senior researcher at eth zurich for five years.
Special emphasis is on distributed data usage control and. Through maniac tum students and staff members can obtain microsoft software for academic and educational purposes. Broy gained his phd in 1980 at the chair of friedrich l. After studying mathematics with a minor in computer science, professor broy received a doctorate from the department of mathematics and computer science of tum and remained there to complete his. Tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he. Workshop automotive software engineering, innsbruck, february 2020. Manfred broy research interests empirical software engineering, mining software repositories, freeopen source software, technologyenhanced learning i enjoyed the research atmosphere at the tum. Professional and ethical dilemmas in software engineering. Eva geisberger, manfred broy technische universitaet.
Software testing macke modular and compositional analysis with the klee and afl engine munch noncompositional greybox fuzzer for high function coverage based on klee and afl. Department of civil, geo and environmental engineering. Diego marmsoler technische universitat munchen, munich tum. V bauer, m broy, m irlbeck, c leuxner, m spichkova, m dahlweid. For finding the best mathematical foundation, we need a clear recognition of the economical and technical benefits of mathematical concepts in software engineering. Manfred broys research works technische universitat. Oct 10, 2019 attendandce to the lecture introduction to software engineering in0006.
Manfred broy doron peled executive director katharina spies. Free software for academic and educational purposes tum. Engineering applications of artificial intelligence 66, 2017, 128144 mehr. The masters degree program in environmental engineering deals with the complex connectivity of human activites with the natural environment. Munchen tum department of software and systems engineering. Practical software metrics for project management and process improvement. International summer schools, laser 202014, elba, italy, revised tutorial lectures. In addition, students can solve concrete problems in software engineering, e. Introduction to software engineering eist summer 2019. In 1983, he founded the faculty of mathematics and informatics at the university of passau in germany, where he worked as the dean for several years. The dawn of software engineering is a rich and fascinating account of the time when software engineering was a compelling intellectual discipline at the center of computer science.
International journal on automated software engineering, computing science research and education, special issue on collaborative embedded systems organisation coorganisation of the 6th international workshop on automotive system software architectures wasa 2020, salvador, brazil. Technische universitat munchen institut fur informatik boltzmannstr. Lukas heinzmann and sina shafaei and mohd hafeez osman and christoph segler and alois knoll. Important products, such as current operating systems, are also available in other languages. Manfred broy conducts research into the areas of modeling anddeveloping complex softwareintensive systems. In the last decade, the chair of software and systems engineering at technische universitat munchen tum participated in a series a of eight research transfer. We are one of the 25 chairs of the informatics faculty at technische universitat munchen and contribute to the informatics and business informatics education at the phd, master and bachelor level. Andreas vogelsang technical university of berlin ernstreuterplatz 7, 10587 berlin, germany email. Software expert and tum emeritus of excellence manfred broy i want to implement digital technology in a socially responsible way already in school maths came easy to tum alumni manfred broy and he. Eva geisberger, manfred broy technische universitaet muenchen. Professor broy is the founding dean of the tum department of computer science 1992 and a member of the european academy of science, leopoldina, acatech and the bavarian academy of sciences and.
Successful graduates can evaluate software processes, requirements engineering methods, design and architectural principles, validation methods and techniques and can create technical solutions in analysis, design, implementation, and validation of software intensive systems. This requires a careful analysis of the role of mathematics and logic in software engineering. Where can i dowload software for free or at low cost. Jul 10, 2019 professor manfred broy received his phd in informatics in 1980 at the technical university of munich tum, germany, for a thesis focussing on the transformation of programs running in parallel. Principles and a process for successful industry cooperation the. The marktoberdorf summer school is a two weeks course for young computer scientists and mathematicians working in the field of formal software. A practical approach of teaching software engineering tum. Diego marmsoler of technische universitat munchen, munich tum read 40. The software is generally offered in german and english.
I want to implement digital technology in a socially. We currently focus on those disciplines of software engineering where safety and security. We show, how software engineering methods can be backed up by mathematical techniques. Software engineering for business information systems sebis professor florian matthes holds this chair since its establishment in 2002. Tumi9807 rtse97 workshop on requirements targeting software engineering technical report tumi9807, tu munich, 1998.
A theory for the systematic development of distributed interactive software systems constructed in. In 1989 he went to the technical university munich tum. Maniac was first developed and implemented in 2002 by the staff at the department for software and systems engineering prof. Engineering theories of software construction nato science series. Journal articles department of mechanical engineering. The master programme software engineering qualifies for a career especially in.
653 210 1328 570 1138 1189 1520 939 59 536 512 222 667 1429 963 1242 1271 688 193 811 1099 1579 1000 320 1211 505 38 107 1570 713 1086 180 1000 967 1562 857 1208 1042 954 393 1185 1092 337 881 563