Mehdi Jazayeri   "Education of a software engineer"

Distributed Systems Group, Information Systems Institute, Vienna University of Technology

pdf-Version of slides

Mehdi Jazayeri is professor of computer science and heads the Distributed Systems Group at the Technical University of Vienna. He is interested in programming, software engineering, programming languages, and distributed systems. He has worked at both technical and management capacities at Hewlett-Packard Laboratories, Palo Alto, Synapse Computer Corporation, Ridge Computers, and TRW Vidar. He spent two years in Pisa, Italy, to set up and manage a joint research project on parallel systems between Hewlett-Packard and the University of Pisa. He has been an assistant professor of computer science at the University of North Carolina at Chapel Hill, adjunct professor at Georgia Institute of Technology, University of Santa Clara, and San Jose State University. He was a Fulbright Scholar at the University of Helsinki (1979) and a visiting professor at the Politecnico di Milano (1988). He was a principal investigator on several European projects dealing with software architectures and advanced distributed systems.

Barry W. Boehm  "Automating Value-Based Software Engineering"

TRW Professor of Software Engineering and Director
Center for Software Engineering, University of Southern California.

pdf-Version of slides

Barry W. Boehm is TRW Professor of Software Engineering and Director of the Center for Software Engineering at University of Southern California. He received his B.A. degree from Harvard in 1957, and his M.S. and Ph.D. degrees from UCLA in 1961 and 1964, all in Mathematics. He also received an honorary Sc.D. in Computer Science from the U. of Massachusetts in 2000. His current research interests focus on value-based software engineering, including a method for integrating a software system's process models, product models, property models, and success models called Model-Based (System) Architecting and Software Engineering (MBASE). His contributions to the field include the Constructive Cost Model (COCOMO), the Spiral Model of the software process, the Theory W (win-win) approach to software management and requirements determination, the foundations for the areas of software risk management and software quality factor analysis, and two advanced software engineering environments: the TRW Software Productivity System and Quantum Leap Environment.

Famantanantsoa Randimbivololona  "Deploying formal static analysis"

Airbus France

pdf-Version of slides

Famantanantsoa Randimbivololona is a Senior Industrial Scientist at Airbus France and leads the Software verification Group within the Avionics and Simulation Products Center Of Competence. Research and development in the domain of verification engineering is an essential part of the activities of the group. Research aims at the improvement of verification processes for safety-sensitive embedded software, notably critical flight control. Since the mid-90, the application of formal program static analysis as the privileged verification technique is the main research orientation. As first education, he holds a 3ème cycle thesis in computer science from the University of Toulouse.