UT Austin seal / 5K

Distinguished Lecture Series in
Software Development and
Software Engineering

A Lecture Series
Highlighting State-of-the-Art Research in
Software Development Technology

Presented by:
Department of Computer Sciences
Department of Electrical and Computer Engineering
Software Quality Institute
Austin Software Council

The University of Texas at Austin



Overview of Lecture Schedule:
October 26, 1999
Prof. Dr. Edsger W. Dijkstra
"Some Signposts in Software Development"
November 2, 1999
Dr. Barbara Kitchenham
"Guidelines for Empirical Studies"
November 18, 1999
Dr. Hermann Kopetz
"Architecture Design is Interface Design"
November 23, 1999
Dr. Leon J. Osterweil
"Using Software Engineering to Engineer Processes"
January 20, 2000
Dr. Connie Smith
"Performance Engineering in Early Stages of Software Development"
February 8, 2000
Dr. Nick Jennings
"Agent-Oriented Software Engineering"

About the Series

The Departments of Computer Sciences and Electrical and Computer Engineering, the Software Quality Institute, and the Austin Software Council are proud to announce the continuation of the Distinguished Lecture Series on Software Development and Software Engineering for the fall and winter of 1999 - 2000. This series will bring leading scientists and engineers to Austin to present important concepts of modern software development and engineering, practical applications in state-of-the-art software engineering and development, and results from leading research programs in software development technology.

Joint sponsorship of this program by the Departments of Computer Sciences and Electrical and Computer Engineering, the Software Quality Institute, and the Austin Software Council recognizes the broad span of competence and experiences that are required for effective speakers and topics in software development and software engineering. Each speaker in this lecture series will be at The University of Texas at Austin campus for two days. Each visit will include a lecture by the speaker, lunch with invited industrial contacts, meetings with faculty and students, and a dinner hosted by the faculty sponsor.

Videotapes of the lecture series will be shown for software professionals during evening video-discussion events at the Software Quality Institute's "Tuesday Nights at the Commons" (TNC). These events will be held at The University of Texas at Austin's J. J. Pickle Research Campus. The dates for the video-discussions will be announced in a special mailing and at the SQI web site (http://www.sqi.utexas.edu/). The videotapes will also be used for educational purposes.

The Lectures

October 26, 1999, 11:00 a.m. in Taylor Hall 2.106
Coffee at 10:30pm in Taylor Hall 3.128

Edsger W. Dijkstra
Department of Computer Sciences, University of Texas at Austin
host: J. C. Browne

"Some Signposts in Software Development"

Abstract: This will be a technical/historical talk. We shall identify about a dozen ideas that shaped programming; they roughly date from the third quarter of this century. The surprising thing is that many of them, while now so familiar that people tend to forget that once they were new inventions, started as very controversial notions that took decades to get accepted. One of the morals of the story is that the rate at which society can absorb progress is stricly limited.

Speaker Background: Edsger W.Dijkstra was born in 1930 in Rotterdam, The Netherlands, where he lived until 1948. He then studied mathematics and theoretical Physics at the University of Leyden, until he graduated in 1956. During that period, in September 1951, he was introduced to programming in Cambridge, England, and in March 1952 he was appointed at the Mathematical Centre. Amsterdam, as The Netherlands' first professional programmer. In1959 he got his Ph.D. in Computing Science at the University of Amsterdam. In 1962 he was appointed Full Professor of Mathematics at the Eindhoven University of Technology. In 1973, while retaining links with the University, he became Research Fellow of Burroughs Corporation, a position he enjoyed until 1984, when he got the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin.

He is known for early graph-theoretical algorithms, the first implementation of ALGOL 60, the first operating system composed of explicitly synchronized processes, the invention of guarded commands and of predicate transformers as a means for defining semantics, and programming methodology in the broadest sense of the word.

He has been elected the first Distinguished Fellow of The British Computer Society (together with Christopher Strachey), Member of the Royal Netherlands Academy of Arts and Sciences, 1972 Recipient of the A.M.Turing Award of the ACM, 1974 Recipient of tthe AFIPS Harry Goode Memorial Award, Foreign Honorary Member of the American Academy of Arts and Sciences, and Honorary Doctor of Science of The Queen's University of Belfast.

His current research interests focus on the formal derivation of proofs and programs, and the streamlining of the mathematical argument in general. His publications represent only a minor fraction of his writings; he writes, in fact, so much that he cannot afford the use of time-saving devices such as word processors. He owns, however, several fountain pens and has a very readable, unambiguous handwriting. His increasing interest in methodology is reflected in his teaching.

November 2, 1999, 11:00 a.m., in Taylor Hall 2.106
Coffee at 10:30 am in Taylor Hall 3.128

Barbara Kitchenham
Department of Computer Science, University of Keele
hosts: Vicki L. Almstrum and Al Dale

"Guidelines for Empirical Studies"

Abstract: I will present a set of guidelines for empirical software engineering research covering the research process and the reporting process. They were developed from a review of research guidelines developed for medical researchers together with my own and my colleagues experience of software engineering research. The guidelines are intended to assist researchers, reviewers, and meta-analysts. They cover the experimental context, experimental design, data collection, analysis, and presentation of results. In each case I identify problems that exist with current software engineering research and suggest specific guidelines to address those problems. I also suggest that editorial boards of software engineering journals need to adopt both guidelines for reviewers and policies for dealing with the reporting of raw data. The following people have worked with me on these guidelines: Dr. Shari Lawrence Pfleeger, Dr. Lesley Pickard, Dr. Jarret Rosenberg, Professor Peter Jones.

Materials from Dr. Kitchenham's presentation:

Speaker Background: Dr. Barbara Kitchenham is Managing Director of Butley Software Services, Ltd., and works part-time as a principal researcher in software engineering at the University of Keele. Her main research interests are software metrics and empirical software engineering. She is a Fellow of the Royal Statistical Society and a Chartered Mathematician. She is a visiting professor at the University of Bournemouth and the University of Ulster.

To schedule an appointment with Dr. Kitchenham, contact either host (Vicki L. Almstrum or Al Dale) or fill in a spot on the Department of Computer Sciences Visitor Schedules Page for this visitor.

November 18, 1999, 11:00 a.m., Taylor Hall 2.106
Coffee at 10:30 am in Taylor Hall 3.128

Hermann Kopetz
Technical University of Vienna
hosts: Al Mok and Brian Evans

"Architecture Design is Interface Design"

Abstract: The realization of large distributed real-time systems requires a technical system architecture that guides the designer and constrains the design. A proper architecture will force the designer to partition the design problem into a set of nearly autonomous subsystems that communicate via well-defined and small interfaces. In the real-time environment, the interface definition must be precise in the value domain and in the temporal domain. Since temporal properties can only be associated with a software/hardware unit, the proper subsystems of a large real-time system are software/hardware components. In this talk we will describe the interfaces of the components that are at the core of the time-triggered architecture.

Speaker Background: Hermann Kopetz received his PhD degree in physics "sub auspiciis praesidentis" from the University of Vienna, Austria in 1968. He was a manager of a computer process control department at Voest Alpine in Linz, Austria, before joining the Technical University of Berlin as a professor for Computer Process Control in 1978. Since 1982 he has been professor for Real-Time Systems at the Technical University of Vienna, Austria. Dr. Kopetz's research interests focus at the intersection of real-time systems, fault-tolerant systems, and distributed embedded systems. Dr. Kopetz has published more than 100 papers and patents in the fields real-time computing, distributed computing and fault tolerance. From 1990 to 1992 he was the chairman of the IEEE Technical Committee on Fault-Tolerant Computing. In 1993 Dr. Kopetz was elected to the grade of Fellow of the IEEE for his outstanding contributions to the field of fault-tolerant real-time local-area distributed systems. Dr. Kopetz was the Chairman of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance from Jan 1, 1996 to Dec. 31. 1998. In 1998 Dr. Kopetz was elected to become a full member of the Austrian Academy of Science.

To schedule an appointment with Dr. Kopetz, contact either host (Al Mok or Brian Evans) or fill in a spot on the Department of Computer Sciences Visitor Schedules Page for this visitor.

November 23, 1999, 11:00 a.m., Taylor Hall 2.106
Coffee 10:30 am in Taylor Hall 3.128

Leon J. Osterweil
Department of Computer Science, University of Massachusetts
hosts: J. C. Browne and Dewayne Perry

"Using Software Engineering to Engineer Processes"

Abstract: In earlier work I have suggested that software processes be considered to be items of software themselves, and that they be developed and defined using software engineering approaches. It was hypothesized that this perspective would support automation of key software development tasks, smooth integration of software tools and human software developers, and effective reasoning about the properties of software development processes. Subsequent research has supported these early hypotheses. Recent work has also indicated that the languages and technologies for defining software processes seem equally useful in supporting the automation, analysis, and integration of far broader classes of hybrid human-software processes. In this talk I will introduce the notion of developing processes as software, summarize key research in this area, present a new state-of-the-art process definition language, and then summarize the application of this work to such areas as software tool integration, robot team coordination, data mining, and electronic commerce.

Speaker Background: Prof. Leon J. Osterweil is a Professor in the Department. of Computer Science, University. of Massachusetts at Amherst. He is a Fellow of the ACM, has been an ACM Lecturer, has served on the editorial board of IEEE Software and on the board of ACM Transactions on Software Engineering and Methodology since its inception. His paper suggesting the idea of process programming was recognized as the Most Influential Paper of the 9th International Conference on Software Engineering (ICSE 9), awarded as a 10-year retrospective. Another paper on software tool integration, presented at ICSE 6, was runner-up for this honor. Prof. Osterweil was Chair of the Computer Science Department at the University of Colorado at Boulder, and of the Information and Computer Science Department of the University of California at Irvine. He was also the founding director of UCI's Irvine Research Unit in Software. Prof. Osterweil has been the Program Chair of many conferences, including ICSE 16. He is a director of the International Software Process Association, and General Chair of SIGSOFT's Sixth International Symposium on the Foundations of Software Engineering. He has been a member of the Software Engineering Institute's Process Program Advisory Board since its inception. He is a member of the KLA-Tencor Software Technical Advisory Board and has been on similar boards for SAIC, MCC, and IBM. He has consulted for such organizations as IBM, Bell Laboratories, SAIC, MCC, AT&T, Boeing, and TRW, and is a member of SEI's Process Program Advisory Board.

Prof. Osterweil's research has centered on software analysis and testing, software tool integration, and software processes and process programming. He has been a Principal Investigator on a number of NSF and ARPA/DARPA projects over the past 25 years. He was one of the founding principals of the ARPA-funded Arcadia project, and is a co-PI on a DARPA EDCS contract. He has done research and prototype development of testing and analysis systems for over 20 years. He was a principal designer of the DAVE static dataflow analysis system, developed in 1973, and of the Cecil/Cesar programmable dataflow analysis system in the late 1980's. He was a codeveloper of the Odin object management system, and a principal in the Toolpack project that developed an early integrated set of tools for numerical software development. He was a leader of the Appl/A process programming language development activity, and currently leads the JIL process programming language project and the Visual-JIL system development activity. He has published and presented dozens of papers on these and other software engineering topics in leading venues worldwide. He has been a keynote speaker at a number of conferences, most notably the 9th International Conference on Software Engineering, Quality Week 96, CASE 92, and the Inaugural Symposium of JAIST, the Japan Advanced Institute for Software Technology.

To schedule an appointment with Dr. Osterweil, contact either host (J. C. Browne or Dewayne Perry) or fill in a spot on the Department of Computer Sciences Visitor Schedules Page for this visitor.

January 20, 2000, 11:00 a.m., Taylor Hall 2.106
Coffee 10:30 am in Taylor Hall 3.128

Connie Smith
L&S Computer Technology, Inc.
host: Don Batory and Dewayne Perry

"Performance Engineering in Early Stages of Software Development"

Abstract: We consider what aspects of software performance can be predicted during the early stages of development, before the architecture is fully determined, and how this can be approached. There are mature and successful methods available for immediate use, but there are also difficult aspects that need further research. We also consider the process of engineering performance into systems using these analysis techniques at appropriate stages of development. This talk describes issues in early performance prediction, methods, successes and difficulties, and conclusions.

Speaker Background: Connie U. Smith, Ph.D. is a principal consultant of the Performance Engineering Services Division of L&S Computer Technology, Inc. She received a BA in mathematics from the University of Colorado and MA and Ph.D. degrees in computer science from the University of Texas at Austin. She is the author of Performance Engineering of Software Systems, published in 1990 by Addison-Wesley, and numerous scientific papers. She has over 25 years of experience in the practice, research and development of the SPE performance prediction techniques. Her other research interests include computer performance modeling and evaluation, object-oriented development, tool interoperability, and tool development. Dr. Smith received the Computer Measurement Group's AA Michelson Award for technical excellence and professional contributions for her SPE work. She frequently serves on conference and program committees, most recently chairing the First International Workshop on Software and Performance. She served as an officer of ACM SIGMETRICS for 10 years, is a past ACM National Lecturer, and is an active member of the Computer Measurement Group. L&S Computer Technology specializes in the development and support of the performance engineering tool, SPE·ED®, applying performance prediction techniques to software, and teaching SPE seminars. Dr. Smith can be reached by email at cusmith@perfeng.com.

To schedule an appointment with Dr. Smith, contact either host (Don Batory or Dewayne Perry) or fill in a spot on the Department of Computer Sciences Visitor Schedules Page for this visitor.

February 8, 2000, 11:00 a.m., Taylor Hall 2.106
Coffee 10:30 am in Taylor Hall 3.128

Nick Jennings
Dept. of Electronic Engineering, University of Southampton
hosts: Suzanne Barber and Ben Kuipers

"Agent-Oriented Software Engineering"

Abstract: Multi-agent system technology represents an exciting new means of analysing, designing and building complex software. It has the potential to significantly improve current practice in software engineering and to extend the range of applications that can feasibly be tackled. Yet, to date, there has been no systematic analysis of what makes agents effective as a solution technology. In seeking to rectify this omission, it will be argued that: (i) adopting an agent-oriented approach affords a number of significant advantages over contemporary methods and (ii) wide-spread can be comparatively quick because the paradigm shift is evolutionary rather than revolutionary.

Speaker Background: Nick Jennings is a professor in the Department of Electronics and Computer Science at Southampton University where he carries out basic and applied research in agent-based computing. He has helped pioneer the use of agent-based techniques for real-world applications and has developed systems for the following domains: telecommunications network management, business process management, electricity management, patient care, digital libraries, electronic commerce, data interpretation, virtual training laboratories and process control. In particular, the electricity management application developed on the ESPRIT II project ARCHON (Europe's largest ever multi-agent project) was one of the world's first deployed agent-based applications. He has also made a number of contributions to the area of agent-based interaction -- including: social rationality, cooperation, coordination, negotiation and argumentation.

Professor Jennings' current projects include: agent-based connection admission control (EPSRC) that is using techniques from computational economics for telecommunications network management; practical negotiation (EPSRC) that is using techniques from game theory to build automated negotiators for electronic commerce applications; negotiation techniques for agent-based service management (Nortel Networks); scaleable information brokerage for on-line trading environments (Marconi Communication Systems); and team-oriented problem solving (DERA Malvern).

Professor Jennings has been an invited lecturer at numerous national and international conferences related to agent systems, he has initiated and co-chaired two major international conferences (The Practical Application of Agents and Multi-Agent Systems (PAAM) and Autonomous Agents), and has initiated and co-chaired the Agent Theories, Architectures and Languages Workshop series. He was the recipient of the Computers and Thought award (the premier award for a young AI scientist) in 1999 for his contribution to practical agent architectures and applications of multi-agent systems (this is the first time in the award's 30 year history that it has been awarded to a European). He has published over 110 articles on various facets of agent-based computing, written one monograph and co-edited four books. He is the founding editor-in-chief of the International Journal of Autonomous Agents and Multi-Agent Systems.

To schedule an appointment with Dr. Jennings, contact either host (Suzanne Barber or Ben Kuipers) or fill in a spot on the Department of Computer Sciences Visitor Schedules Page for this visitor.

Locations of Parking and Rooms

Parking Garage on San Jacinto

The parking garage is located on San Jacinto south of Dean Keeton (formerly known as 26th Street). It is marked as PG1 in this map of the law area and this parking map of the law area. If you exit the parking garage on the San Jacinto side (to the west), you will reach Taylor Hall by walking west along 24th Street.

Taylor Hall

Taylor Hall is located at the southeast corner of Speedway and 24th Street. It is the building to the upper left, marked TAY, in this map of the east mall area.

The easiest entry to the building will be from any of the three sets of entry doors on the south side of Taylor Hall. (Due to construction at Taylor Hall during 1999-2000, other sets of doors will sometimes be inaccessible.) The central set of southern doors is marked with a green triangle on this accessibility map of the east mall area; the elevator, which is located in the middle of the long hallway that runs parallel to 24th Street, is marked with a blue square on the same map.

The various events at Taylor Hall will be in the following rooms:

Lecture Series Committee

Dr. Vicki L. Almstrum almstrum@cs.utexas.edu Computer Sciences
Dr. Tony Ambler ambler@ece.utexas.edu Electrical and Computer Engineering
Dr. K. Suzanne Barber barber@mail.utexas.edu Electrical and Computer Engineering
Dr. Don Batory dsb@cs.utexas.edu Computer Sciences
Mr. Les Belady belady@jabis.com Austin Software Council
Dr. J. C. Browne browne@cs.utexas.edu Computer Sciences
Dr. Craig Chase chase@ece.utexas.edu Electrical and Computer Engineering
Dr. Al Dale aldale@cs.utexas.edu Software Quality Institute
Dr. J Strother Moore moore@cs.utexas.edu Computer Sciences
Dr. Dewayne Perry dep@research.bell-labs.com Electrical and Computer Engineering