Contents:
Overview of Lecture Schedule:
- The schedule for each speaker's visit will be on the Department
of Computer Sciences Visitor
Schedules Page.
- The hosts for each speaker are listed immediately after the
speaker's affiliation. If you have questions about a particular
speaker's visit, please contact one of the hosts.
- As speakers make transparencies or other materials available
to us, we will add links to this page immediately following the
speaker's abstract.
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:
- The coffee before all lectures will be served in Taylor
3.128, the CS faculty lounge. This room is located on the
first floor above ground level. If you take the elevator, this
room is immediately to your left as you exit the elevator.
- All of the lectures will be held in Taylor 2.106.
This lecture hall is located on the ground floor of Taylor Hall,
at the eastern end of the long corridor that runs parallel to
24th Street.
- The industry lunches will all be held in Taylor 2.144.
This conference room is located on the ground floor of Taylor
Hall, two doors west of the elevator. The door has a cipher lock,
so you may need to knock to get someone to open the door for
you.
Lecture
Series Committee
