| |
KeynotesChair: Wilhelm Schäfer (University of Paderborn, Germany)
Wednesday, 14 May 2008 | 40 Years of Software Engineering - Keynotes |  |
Wednesday, 14 May 2008, 09:00-11:00
Hall 1, Congress Center Leipzig
Chair: Wilhelm SchäferThe opening plenary session will feature appearances and presentations from the key organisers of the Garmisch meeting Peter Naur and Brian Randell, the coeditors of the 1968 proceedings. Fritz Bauer, the third key organiser will probably not attend in person, but we are hoping that he will either be on a live video hookup, or by videotape. Manfred Broy will represent him in person if he is not able to be there himself. They all will share their reminiscences of the workshop and observations about the subsequent development of Software Engineering at their session.
| Sam S. Adams: The Future of End User Programming? | |
Wednesday, 14 May 2008, 16:45-18:00
Hall 1, Congress Center Leipzig
Chair: Matt Dwyer 
Sam S. Adams, IBM Distinguished Engineer, IBM Research
Abstract
One of the Holy Grails of Computer Science for many decades has been to
make the power of computer programming accessible to more and more people.
The earliest "high level" languages, FORTRAN and COBOL, were intentionally
designed to be written and understood by specific communities of users with
problems to solve, namely the Scientific/Engineering and Business
communities. As computing became more accessible to more people, the
number of dedicated full time programmers mushroomed and formed a community
unto itself, who largely created languages and tools by and for themselves
to use. The end users, the people with the non-computing problems to
solve, became isolated from the computer itself and were forced have their
business problems encoded in the increasingly esoteric script of a powerful
new programmer priesthood. But even throughout these "dark ages", a small
number of valiant desenters survived and flourished in distant monasteries
and hermitages, dedicating there lives and technical prowess to liberate
computing from its raised floor temples. Resistance was stiff, but not
futile, as every decade or so breakthroughs like spreadsheets, Hypercard,
4GLs and HTML empowered more and more "non-programmers" to create their own
computing solutions. Now, well into the second era of the Web,
consumer-oriented websites like Flickr and YouTube routinely offer end
users "snippets" of JavaScript code to reuse in their own software
creations, their Facebook and MySpace pages. Projects like IBM's
CoScripter have achieved programming by demonstration for end users.
Mashup tools abound, and the Web is filled with billions of customized
applications, most created by end users themselves. Have we finally
achieved the goals of those happy few who dreamed of a world where
programming was as common as dialing a telephone? Have we finally arrived
at the Long Tail of Programming? And if we have built it, did they come?
This talk will assess the current state of end user programming and present
a heretical perspective about the future of this endeavor from a confessed
true believer.
Biography
Sam S. Adams is an IBM Distinguished Engineer within IBM Research.
Sam joined IBM in 1994 as an Enterprise Object Architect to help found the first Object Technology practice for the IBM Consulting Group. He was honored in 1995 by being elected to the IBM Academy of Technology, and again in 1996 by being appointed one of the first IBM Distinguished Engineers. Mr. Adams then moved to IBM Research to lead the study of Self Configuring Systems, an effort that foreshadowed IBM's Autonomic Computing initiative. He transferred to IBM's Network Computing Software Division in 1996 and coauthored IBM's XML Technical Strategy which focused on the value of XML in machine-to-machine communication. This vision became the core of IBM's Web Services strategy. In 1998 Sam coined the term "Service Oriented Architecture" and along with Steve Graham defined the Publish-Find-Bind triangle model for SOA. In 2000, Mr. Adams rejoined IBM Research to lead the Joshua Blue project, resulting in a number of breakthroughs in Artificial General Intelligence including the Metasemantic Affective Interest-flow Network. In 2003 Sam shifted gears to focus on end user programming of web services, resulting in the On Demand Integration Environment (ODIE), the first example of mashup technology at IBM. In 2006, he became the lead architect for the Enterprise 2.0 Initiative, a global effort across a dozen projects in IBM Research to explore the opportunities for Web 2.0 technology in the enterprise. In the summer of 2007, Sam shifted gears again to focus on the programming challenges and opportunities raised by the arrival of large scale multicore processors. Prior to joining IBM, Mr. Adams was the Chief Scientist and cofounder of Knowledge Systems Corporation, a software startup that helped commercialize object-oriented programming in Smalltalk. A Native American of Cherokee and Sac-and-Fox descent, Sam is also IBM's executive liaison to AISES, the American Indian Science and Engineering Society.
Thursday, 15 May 2008 | Herbert Hanselmann: Challenges in Automotive Software Engineering | |
Thursday, 15 May 2008, 09:30-10:30
Hall 1, Congress Center Leipzig
Chair: Volker Gruhn 
Herbert Hanselmann, CEO, dSPACE GmbH
Abstract
Developing and integrating automotive embedded software is
a complex undertaking. The software is large. It is developed by many
contributors. It is distributed over many control units connected by
a variety of in-vehicle buses. Often much of the equipment or
functions in a car are optional and regulatory requirements also vary
between markets, leading to large combinatorial variations of
software features.Targets running the software have to be cheap.
Errors can be extremely expensive. New software and system features
are demanded by the market and also by governmental regulations.
Model-based design (MBD) of functional behaviour has been a big help
in the recent past on the one hand, and on the other hand has by
itself created new complexity by allowing relatively quick
development of ever more features, especially when combined with
autocoding. All this creates new challenges that did not exist a few
years ago when feature development was slow. Major new challenges now
are to tame all the complexity, get a system view on top of the
individual functions, and to leverage executable system models to put
more comprehensive testing into early phases of a development. Tools
are required which really help those engineers and software
developers. Their needs may not ask for a lot of computer science
glamour. They can be quite basic and sophisticated concepts from
computer science may find it difficult to find acceptance outside
some niches. This presentation will outline the achievements, the
current challenges and will point to upcoming tools and approaches
that help meeting those challenges.
Biography
Dr.-Ing. Herbert Hanselmann is president, CEO, and founding
member of dSPACE. Based in Paderborn, Germany, with offices in
Europe, USA and Japan, dSPACE is a leading worldwide supplier of
engineering tools for embedded control development and testing with
focus on automotive applications. Those tools cover function
behaviour development for control engineers, software architecture
design and simulation, autocoding and testing. They are used by
virtually all car manufacturers and suppliers of electronic control
units worldwide. He holds a PhD in Engineering from Karlsruhe Technical University.
Friday, 16 May 2008 | Lori A. Clarke: Using Software Engineering Technology to Reduce Medical Errors | |
Friday, 16 May 2008, 09:00-10:30
Hall 1, Congress Center Leipzig
Chair: Wilhelm Schäfer 
Lori A. Clarke, Department of Computer Science, University of Massachusetts, Amherst
Abstract
It has been estimated that there are approximately 98,000 deaths per year in the United States caused by medical errors. In the University of Massachusetts Medical Safety Project, we are investigating if software engineering technologies can be used to help reduce medical errors. Specifically, we are modeling medical processes with a process definition language, analyzing these processes using finite-state verification, fault-tree analysis, and other analysis techniques, and, if subsequently modified, reevaluating the changed processes to assure that discovered problems have been addressed without introducing other concerns. Working with the UMASS School of Nursing and the Baystate Medical Center, we are undertaking in-depth case studies on error-prone and life-critical medical processes. In many ways, these processes are similar to complex, distributed systems in that they have many interacting, concurrent threads and exceptional conditions frequently arise that must be carefully handled before normal execution can continue.
We have been able to develop detailed process models, to specify important safety properties, and to detect vulnerabilities in actual processes. This talk describes the technologies we are using, discusses the case studies, and presents our observations and findings to date. Although presented in terms of the medical domain, the described approach could be applied to other human-centric processes to provide a technology-driven approach to process improvement.
Biography
Lori A. Clarke is a professor in the Department of Computer Science at the University of Massachusetts, Amherst. She is a Fellow of the ACM, vice chair of the Computing Research Association (CRA), and co-chair of the CRA's Committee on the Status of Women in Computing Research (CRA-W). She is a former IEEE Publication Board member, associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF advisory board, ACM SIGSOFT chair, IEEE Distinguished Visitor, and ACM National Lecturer. She received a 2004 Distinguished Engineering Alumni Award from the University of Colorado, Boulder, the 2002 SIGSOFT Distinguished Service Award, a 1993 University Faculty Fellowship, and a 1991 University of Massachusetts Distinguished Faculty Chancellor's Medal. She was program co-chair of the 14th and general chair of the 25th International Conference on Software Engineering.
Dr. Clarke research is in the area of software engineering, primarily focusing on the finite-state verification of concurrent systems and requirements engineering. Recently she has been investigating applying software engineering technologies to detect vulnerabilities in complex processes in domains such as medicine, scientific workflow, and digital government. She is also involved in several programs to increase participation of underrepresented groups in computing research.
|
|
