![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
From: "Torsten Meyer" <tmeyer@informatik.uni-essen.de>
To: seworld@cs.colorado.edu
Subject: (SEWORLD) Call for Participation: Tutorial on Graph Transformation in Software Engineering @ ASE 2000
Date: Tue, 25 Jul 2000 10:52:12 +0200
Call for Participation
Tutorial on Graph Transformation in Software Engineering
Automated Software Engineering 2000
15th IEEE International Conference
September 11-15, 2000
Grenoble, France
The Role of Graph Transformation in Software Engineering and Requirements
Engineering
With Selected Examples From Software Specification and Design
Graphical representations are an obvious means to describe various aspects
of software systems. Many widely used methods in requirements engineering
and software design are based on graphs and graph changes. These graph
manipulation are systematically investigated in the area of graph
transformation. This formalism provides a variety of benefits important in
the context of visual development, e.g., the combination of intuitive
usability with the formal basis of visual specifications. A graph
transformation step is described in a rule-based manner by defining parts of
the graph structure before and after a transformation.
To handle several distributed parts of a graph where each part can be
changed independently of others or in a synchronized way, distributed graph
transformation has been developed. Here, graph transformation is employed
twice: to describe the dynamic reconfiguration of the overall network of
components, and to model evolving data and object structures within the
components.
The main goal of this tutorial is to give an overview on the many
application areas of graph transformation in the context of requirements
engineering and software design and to impart a profound insight into the
techniques of graph transformation based on algebra (category theory). In
addition, tool support in form of a graph transformation machine implemented
in Java is presented.
Two major case studies are discussed in order to demonstrate how the
techniques presented in this tutorial work. The first case study refers to
requirements engineering and tackles the multiple perspectives problem. We
sketch how distributed graph transformation serves as a natural underlying
formalism for the ViewPoints framework and how this approach helps to
support multiple perspectives integration, Inter-ViewPoint negotiation and
inconsistency management. The second case study refers to classical software
engineering problems centered around architecture design. We discuss the
possibility to represent semantic properties of components by the techniques
presented in this tutorial with the final aim of realizing
semantics-directed component negotiation and dynamic architecture (re-)
configuration. Both case studies include a brief presentation of tool
support developed for each case study on top of the general graph
transformation tool.
Schedule:
1. Introduction and Motivation: Graph Transformation in SE/RE
2. Algebraic Graph Transformation
3. Distributed Graph Transformation
4. Tool Support: AGG
5. Case Study in RE: Multiple Perspectives Integration and the ViewPoints
Framework
6. Case Study in SE: Dynamic Architecture Configuration and Component
Negotiation
Prof. Dr. Michael Goedicke
Specification of Software Systems
Department of Mathematics and Computer Science
University of Essen
Germany
goedicke@informatik.uni-essen.de
http://www.cs.uni-essen.de/goedicke
Michael Goedicke is professor for computer science at the Department of
Mathematics and Computer Science at the University of Essen, Germany. He
studied Computer Science at the University of Dortmund and received there
his Diploma Degree (Masters Degree) in Computer Science in 1980. He received
his Ph.D. in 1985 and his Habilitation in 1993 from the Department of
Computer Science of the University of Dortmund as well. His special field of
interest is specification of software systems and software engineering. He
is principal investigator in various national and international research
projects and currently conducting research in formal methods and languages
for requirements engineering.
Dr. Torsten Meyer
Specification of Software Systems
Department of Mathematics and Computer Science
University of Essen
Germany
tmeyer@informatik.uni-essen.de
http://www.cs.uni-essen.de/tmeyer
Torsten Meyer is research assistant at the Department of Mathematics and
Computer Science at the University of Essen, Germany. He studied Business
Computing at the University of Essen and received there his Diploma Degree
(Masters Degree) in 1995. He received his Ph.D. in 2000 from the Department
of Computer Science of the University of Essen as well. His special fields
of interest are software architecture, configurable distributed systems,
requirements engineering and graph transformation.
Dr. Gabriele Taentzer
Theoretical Computer Science / Formal Specification Group (TFS)
Computer Science Department
Technical University of Berlin
Germany
gabi@cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~gabi/
Gabriele Taentzer is working in the field of graph transformation since more
than 10 years. After studying computer science at the Technical University
of Berlin she received her Diploma degree in 1990 and her Ph.D. in 1996. She
has extensive teaching experience including a lecture on the European School
on Graph Transformation. She coorganized the last workshop on graph
transformation which took place as a satellite event of ETAPS 2000 in Berlin
this year. She is coeditor of two special issues on graph transformation
appearing in the journals MSCS and SCP. Her research addresses the
application of graph transformation to software engineering and the visual
development of distributed systems.
Gabriele Taentzer is working in the group of Prof. Hartmut Ehrig at the
Technical University of Berlin. Hartmut Ehrig is a leading authority in the
field of graph transformation.
References:
Goedicke, M., Meyer, T., and Taentzer, G., "ViewPoint-oriented Software
Development by Distributed Graph Transformation: Towards a Basis for Living
with Inconsistencies", Proceedings 4th IEEE International Symposium on
Requirements Engineering, Limerick, Ireland, 1999.
Taentzer, G., Goedicke, M., and Meyer, T., "Dynamic Change Management by
Distributed Graph Transformation: Towards Configurable Distributed Systems",
Proceedings 6th International Workshop on Theory and Application of Graph
Transformations, Paderborn, Germany, 1998, Lecture Notes on Computer
Science, Springer, 2000.
Meyer, T., "Dynamic Semantics Negotiation in Distributed and Evolving
Software Systems: Towards Automated Semantics-Directed System
Configuration", Ph.D. thesis, Department of Mathematics and Computer
Science, University of Essen, Germany, Logos Verlag Berlin, 2000.
Date: Wed, 05 Jul 2000 09:37:37 -0700
From: Gerald Gannod <gannod@asu.edu>
Subject: (SEWORLD) ASE'00 Call for Participation
To: seworld@cs.colorado.edu
Call for Participation:
Automated Software Engineering
ASE'00
15th IEEE International Conference
September 11-15, 2000
IMAG
Grenoble, France
http://sigart.acm.org/Conferences/ase/
*** EARLY REGISTRATION DEADLINE: July 21st, 2000 ***
The IEEE International Conference on Automated Software Engineering brings
together researchers and practitioners to share ideas on the foundations,
techniques, tools and applications of automated software engineering. Both
automatic systems and systems that support and cooperate with people are
within the scope of the conference, as are models of software and
software engineering activities.
Invited Speakers
G=E9rard Berry, INRIA
Jeff Magee, Imperial College
ASE2000 Programme
Monday, 11th September 2000
(Doctorial Symposium)
Tuesday, 12th September 2000
(Tutorials 1, 2, 3 and 4)
Wednesday, 13th September 2000
(Registration; Opening & Welcome; Overview of Doctoral Symposium; Keynote
Address; Sessions 1, 2, 3 and 4; Panel 1; Demo Session)
Thursday, 14th September 2000
(Session 5 and 6; Short Papers 1 and Doctoral Symposium)
Friday, 15th September 2000
(Invited Speaker; Session 7 and 8; Short Papers 2; Panel 2; Closing
Remarks)
------------------------------------------------------------------------
Monday, 11th September 2000
9:00 am - 12:30 pm Doctoral Symposium
12:30 pm - 2:00 pm Lunch (On your own)
2:00 pm - 5:30 pm Doctoral Symposium
Tuesday, 12th September 2000
9:00 am - 12:30 pm Tutorial 1
Verification (tentative title), NASA Ames
Tutorial 2
The Role of Graph Transformation in
Software Engineering and Requirements
Engineering - With Selected Examples
From Software Specification and Design
Michael Goedicke and Torsten Meyer,
University of Essen
12:30 pm - 2:00 pm Lunch (On your own)
2:00 pm - 5:30 pm Tutorial 3
Synchronous Languages (tentative title)
Nicolas Halbwachs,
VERIMAG
Tutorial 4
Component technologies - an Overview
Wolfgang Emmerich, University College
London/Zuehlke Engineering GmbH
Wednesday, 13th September 2000
8:30 am - 9:00 am Registration
9:00 am - 9:30 am Opening & Welcome
Yves Ledru, LSR/IMAG (General Chair)
(Programme Co-Chairs)
Perry Alexander, Univ. of Kansas
Pierre Flener, Uppsala Univ.
Overview of Doctoral Symposium
Renaud Marlet, Trusted Logic
John Penix, NASA Ames
9:30 am - 10:30 am Keynote Address:
G=E9rard Berry, INRIA
title to be announced later
10:30 am - 11:00am Break
11:00 am - 12:30 pm Session 1 - Verification
Model Checking Programs
- Willem Visser, Guillaume Brat,
Klaus Havelund, SeungJoon Park
CM-Builder: An Automated NL-based
- Robert Gaizauskas, H.M. Harmain
Exploring the design of an
intentional naming scheme
using an automatic constraint CASE Tool
analyzer
- Sarfraz Khurshid, Daniel Jackson
Management of Change in
Structured Verification
- Dieter Hutter
Session 2 - Requirements
A Comparison of Questionnaire-Based
and GUI-Based Requirements Gathering
- J. Michael Moore, Frank Shipman
Finding comparatively important
concepts between texts
- Renaud Lecoeuche
12:30 pm - 2:00 pm Lunch
2:00 pm - 3:30 pm Session 3 - Evolution
Upgrading Legacy Instances of Reactive Systems
- Robert J. Hall
Renaming Detection
- Walter F. Tichy, Guido Malpohl, James J. Hunt
Mutation Operators for Specifications
- Paul E. Black, Vadim Okun, Yaacov Yesha
Session 4 - Synthesis and Code Generation
Predicate Synthesis and other Fault Correction
Techniques via Recursion-Editor and Abduction
- Ra=FAl Monroy
A DSL Approach to Improve Productivity and
Safety in Device Drivers Development
- Laurent Reveillere, Fabrice Merillon,
Charles Consel, Renaud Marlet, Gilles Muller
A Declarative Approach for Designing and
Developing Adaptive Components
- Philippe Boinot, Renaud Marlet,
Gilles Muller, Charles Consel
3:30 am - 4:00 am Break
4:00 pm - 5:00 pm Panel 1
Automatic code generation for safety
critical systems (preliminary title)
Organizer: Mats Heimdahl, University of Minnesota
5:00 pm - 6:30 pm Demo Session
7:00 pm Reception at the Mairie de Grenoble (City Hall)
Thursday, 14th September 2000
9:00 am - 10:30 am Session 5- Algebraic Specification
Circular Coinductive Rewriting
- Joseph Goguen, Kai Lin, Grigore Rosu
Formal Construction of the Mathematically
Analyzed Separation Kernel
- Brad Martin, Peter White, Allen Goldberg,
Frank Seaton Taylor
Simultaneous Checking of Completeness and
Ground Confluence
- Adel Bouhoula
Session 6 - Process
Specifying the Coordination of Agents Using
Little-JIL
- Alexander Wise, Aaron G. Cass, Barbara Staudt
Lerner, Eric K. McCall, Leon J. Osterweil,
Stanley M. Sutton Jr.
Large Scale What-if Queries: A Case Study
Using COCOMO-II
- Tim Menzies, Erik Sinsel
10:30 am - 11:00 am Break
11:00 am - 12:00 pm Short Papers 1 and Doctoral Symposium
Architecture and Components
Automating the Composition of Middleware
Configurations
- Christos Kloukinas, Valerie Issarny
Pi-SPACE: A Formal Architecture Description
Language Based on Process Algebra For Evolving
- Christelle Chaudet, Flavio Oquendo
Facilitating Automation of Architecture
Description Meta-models
- John J. Kyaruzi, Jan van Katwijk
Verification and Validation
Java Model Checking
- Ulrich Stern, David Park, David L. Dill
Non-Interference Analysis for Mixed Criticality
Code in Avionics Systems
- Mike Hill, Thomas Lake
Automated Security Checking and Patching Using
TestTalk
- Chang Liu, Debra J. Richardson
Transformation
Controlled Automation of Consistency Enforcement
- Klaus-Dieter Schewe
Automatic Generation of B Specifications from
Precise UML Notations for Data Intensive Applications
- Regine Laleau, Amel Mammar
A transformational viewpoint on design patterns
- Mikal Ziane
Automatic Code Generation / Doctoral Symposium
Issues for the automatic generation of safety
critical software
- Colin O'Halloran
Other Doctoral Symposium Papers TBD
12:00 pm - 1:30 pm Lunch
2:00 pm - 6:30 pm Tour of the Chartreuse mountains and cellar
(Don't forget hiking shoes)
meet at the Grenoble Train Station
7:00 pm Conference Banquet
meet at the Grenoble Train Station
Friday, 15th September 2000
9:30 am - 10:30 am Invited Speaker:
Jeff Magee, Imperial College
Architecture, Analysis and Animation
(tentative title)
10:30 am - 11:00 am Break
11:00 am - 12:30 pm Session 7 - Design
Validating the contribution of real world
knowledge to the diagnostic performance of
automated database design tools
- Shahrul Noah, Michael Williams
Using Graph Rewriting in the Transformation
of Software Architectures
- Hoda Fahmy, Richard C. Holt
Specialization Patterns
- Charles Consel, Ulrik P. Schultz, Julia L. Lawall
Session 8 - Testing
Identification of Potentially Infeasible
Program Paths by Monitoring the Search for Test Data
- Paulo Marcos Siqueira Bueno, Mario Jino
Generating Test Data for Branch Coverage
- Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
Test sequence generation from LUSTRE descriptions: GATeL
- Bruno Marre, Agn=E8s Arnould
12:30 pm - 2:00 pm Lunch
2:00 pm - 3:00 pm Short Papers 2
Reuse
An Experiment in Scientific Program Understanding
- Mark Stewart
Representing Technology to Promote Reuse in the
Software Design Process
- K. Suzanne Barber, Sutirtha Bhattacharya
Towards Automatic Assessment of Evolvability for
Reusable Class Libraries
- H. A. Sahraoui, H. Lounis, M. Boukadoum, F. Eth=E8ve
Requirements and Modelling
Translating Use Cases to Sequence Diagrams
- Liwu Li
User-friendly approach to engineerning UML use case models
- Nikolai Mansurov, Dmitri Vasura
Semantic Abstraction Rules for Class Diagrams
- Alexander Egyed
Process
Automatic Derivation of Petri Net Based Distributed
Specification with Optimal Allocation of Resources
- Hirozumi Yamaguchi, Khaled El-Fakih,
Gregor v. Bochmann, Teruo Higashino
Combining the Best Attributes of Qualitative
and Quantitative Risk Management Tool Support
- Martin S. Feather, Timothy W. Larson,
Steve Cornford, Burton C. Sigal
A Group Critic System for Object-Oriented
Analysis and Design
- Cleidson R.B. de Souza, Jair S. Ferreira Jr.
Applications
Computing Types in Java Programs
- Marianne Huchard, Herve Leblanc
Extending UML to Support Domain Engineering
- Maurizio Morisio, G.H. Travassos, M. Stark
Systematic Generation of Dependable Change
Coordination Plans for Automated Switching
of View Maintenance Policy
- Prasanta Bose, Mark G. Matthews
3:00 pm - 4:00 pm Panel 2
Testing (tentative title)
Organizer: Debra Richardson, UC Irvine
4:00 pm Closing Remarks
Introduction to ASE 2001 - Debra Richardson
From: gannod@imap3.asu.edu
Newsgroups: comp.sw.components,comp.human-factors,comp.infosystems,
comp.object,comp.software.testing,comp.software.config-mgmt,
comp.specification.misc,comp.specification.larch,comp.specification.z
Subject: 2nd CFP: ASE'00 Doctoral Symposium
Date: 2 Jun 2000 13:06:52 +1000
Organization: Arizona State University
Automated Software Engineering - ASE'2000
Doctoral Symposium
September 11th, 2000
Grenoble, France
---------------------------------------------------------------------------
http://sigart.acm.org/Conferences/ase/ASE00-DocSymp.html
Call for Participation
The ASE'2000 Doctoral Symposium is intended to bring together PhD students
working on foundations, techniques, tools and applications of automated
software engineering technology, and give them the opportunity to present
and to discuss their research in a constructive and international
atmosphere. The goals of the symposium are:
* To provide a setting for mutual feedback on participants' current
research, and guidance on future research directions,
* To develop a supportive community of scholars and a spirit of
collaborative research,
* To contribute to the conference goals through interaction with other
researchers and conference events.
The Doctoral Symposium will be held one day before the main conference, on
September 11th. Selected students will present their work and receive
constructive feedback from a panel of advisors and other Doctoral Symposium
students. Besides scientific matters, the students will also have the
opportunity to seek advice on various aspects of completing a PhD and
performing research as a young professional in automated software
engineering.
Moreover, during the ASE conference itself, a session will be
organized where the students presenting at the symposium will also be
able to present their work to all the conference attendees.
The ASE'2000 Doctoral Symposium has the same scope as the main conference.
Topics include but are not restricted to:
* Automated software specification
* Automated software design and synthesis
* Category-theoretic approaches
* Computer-supported cooperative work
* Domain modeling
* Knowledge acquisition
* Maintenance and evolution
* Process and workflow management
* Program understanding
* Re-engineering
* Requirements engineering
* Reuse
* Software architectures
* Testing
* Tutoring, help, documentation systems
* Human computer interaction
* Verification and validation
Submissions
To apply for participation at the symposium, you should submit an abstract
of your doctoral work to the symposium organizers (see below). Only
electronic submissions will be accepted. All submissions must be in either
PDF or PostScript form. Abstracts should be less than 3000 words, and
should:
* clearly identify the research question you are addressing,
* outline the significant problems in the field of research and the
current solutions,
* present the preliminary ideas and state the proposed approach clearly,
and
* present the contributions of the applicant and the results of the work.
In addition, you should provide a (short) letter (possibly e-mail) of
recommendation from your dissertation advisor. The letter must include an
assessment of the current status of your thesis research, and an expected
date for dissertation submission. The Doctoral Symposium is intended for
students who have not yet completed their dissertation research, and do not
expect to write up their dissertation before the conference. If you are
already writing your dissertation, or expect to be substantially done by
the time of the Symposium, we encourage you to submit your work as a full
paper to a future ASE conference. Note that advisors of student presenters
will not be allowed to attend their student's presentations.
Submissions will be reviewed by the Doctoral Symposium advisors panel, and
selected for inclusion in the symposium on the basis of originality,
technical merit, presentation quality, and relevance to the conference
topics.
Proceedings will be provided, that will include all accepted papers at the
Doctoral Symposium. The proceedings will also be available on-line on the
ASE web site.
Financial Support
Travel scholarships may be available for some or all students presenting
at the Doctoral Symposium, contingent on the availability of funding.
Quality of the submitted work will be a factor in allocating any
scholarships. All presenting students will receive free registration, and
will be expected to work at the registration tables during the conference
in return.
Important Dates
Deadline for submission: June 13th, 2000
Notification of acceptance: July 3rd, 2000
Camera-ready paper due: July 16th, 2000
Symposium presentations: September 11th, 2000
ASE'2000 main conference: September 12-15th, 2000
Contact Address
Questions regarding the Doctoral Symposium should be directed to:
Renaud Marlet or John Penix
Trusted Logic Automated Software Engineering Group
5, rue du bailliage NASA Ames Research Center, M/S 269-3
78000 Versailles Moffett Field, CA 94035
FRANCE USA
Phone: +33 1 30 97 25 08 Phone: +1 (650) 604-6576
Fax: +33 1 30 97 25 19
Renaud.Marlet@trusted-logic.fr JPenix@ptolemy.arc.nasa.gov
For more information, see
http://sigart.acm.org/Conferences/ase/ASE00-DocSymp.html
Date: Tue, 09 May 2000 14:51:12 -0700 From: Gerald Gannod <gannod@asu.edu> Subject: (SEWORLD) Call for participation: ASE '00 Doctoral Symposium To: seworld@cs.colorado.edu [ 128 lines deleted; see updated version above -- dc ]
Date: Mon, 21 Feb 2000 10:07:15 -0700
From: Gerald Gannod <gannod@asu.edu>
Subject: (SEWORLD) Call for Papers: Automated Software Engineering (ASE'00)
To: seworld@cs.colorado.edu
Automated Software Engineering --- ASE'00
15th IEEE International Conference
September 11--15, 2000, Grenoble, France
Abstracts due: March 24, 2000; Papers due: March 31, 2000
Latest information: http://sigart.acm.org/Conferences/ase/
Call for Papers
The IEEE International Conference on Automated Software Engineering
brings together researchers and practitioners to share ideas on the
foundations, techniques, tools, and applications of automated software
engineering technology. Both automatic systems and systems that
support and cooperate with people are within the scope of the
conference, as are models of software and software engineering
activities. ASE'00 encourages contributions describing basic
research, novel applications, and experience relevant to automating
software engineering activities. Solicited topics include, but are not
limited to:
- Automated software specification
- Automated software design and synthesis
- Category-theoretic approaches
- Computer-supported cooperative work
- Domain modeling
- Knowledge acquisition
- Maintenance and evolution
- Process and workflow management
- Program understanding
- Re-engineering
- Requirements engineering
- Reuse
- Software architectures
- Testing
- Tutoring, help, documentation systems
- Human computer interaction
- Verification and validation
The IEEE International Conference on Automated Software Engineering
was formerly known as the Knowledge-Based Software Engineering
Conference. In conjunction with the name change three years ago, the
conference expanded to encourage worldwide participation and to reach
other scientific communities concerned with formal methods, partial
evaluation, process support, human-computer interface support,
requirements engineering, reverse engineering, testing, or
verification & validation.
Accepted papers will be published in the conference proceedings, at
IEEE Computer Society Press. In addition, several of the highest
quality papers will be selected for a special issue of the Journal of
Automated Software Engineering (Kluwer). ASE'00 will also include
invited talks, tutorials, panel discussions, a doctoral symposium, and
project demonstrations, for which separate calls for participation
will be issued.
Papers should not exceed 6000 words, with full-page figures counting
as 300 words. Papers that exceed the length restriction will not be
reviewed. Papers will be reviewed by at least three program committee
members. All papers, especially application papers and experience
reports, should clearly identify their novel contributions. See
http://sigart.acm.org/Conferences/ase/SubmissionPointers.html for
guidelines.
All papers should be submitted electronically to ase00@ittc.ukans.edu
in PostScript, MS Word, or PDF format, on or before March 31, 2000.
In addition, a single hard copy should be mailed to Perry Alexander at
the address below; it serves as a backup should printing problems
occur, and it may arrive later than the electronic submission date.
To expedite the review process, each paper's title, authors, abstract,
keywords, and contact author's email address should be submitted by
March 24, 2000 through a link at http://sigart.acm.org/Conferences/ase/.
Use the returned paper number to identify your paper when submitting it.
All subsequent communications will take place via email to the
contact author.
General Chair
Yves Ledru
IMAG
Grenoble, France
Yves.Ledru@imag.fr
Program Co-Chairs
Perry Alexander
ITTC / The Univ. of Kansas
2291 Irving Hill Rd
Lawrence, KS 66044-7321
Tel +1 785 864-7741
palexand@ukans.edu
Pierre Flener
Dept of Information Science
Uppsala University, Box 513
S-751 20 Uppsala, Sweden
Tel +46 18 471-1028
Pierre.Flener@dis.uu.se
Program Committee:
Perry Alexander, USA
Daniel Berry, Israel
Yves Deville, Belgium
Steve Easterbrook, USA
Wolfgang Emmerich, UK
Martin Feather, USA
Steve Fickas, USA
Bernd Fischer, USA
Pierre Flener, Sweden
Alfonso Fuggetta, Italy
Gerry Gannod, USA
Michael Goedicke, Germany
Joseph Goguen, USA
Ian Green, UK
John Grundy, New Zealand
Robert Hall, USA
Mehdi Harandi, USA
Mats Heimdahl, USA
Scott Henninger, USA
Bernd Kraemer, Germany
Kung-Kiu Lau, UK
Baudouin Le Charlier, Belgium
Yves Ledru, France
Julio Leite, Brazil
Mike Lowry, USA
Tom Maibaum, UK
Neil Maiden, UK
Renaud Marlet, France
Mihhail Matskin, Norway
Ali Mili, USA
Bashar Nuseibeh, UK
Colin O'Halloran, UK
Charles Pecheur, USA
John Penix, USA
Alex Quilici, USA
David Redmiles, USA
Arthur Reyes, USA
Debra Richardson, USA
Julian Richardson, UK
Spencer Rugaber, USA
Conor Ryan, Ireland
Houari Sahraoui, Canada
Akiyoshi Sato, Japan
Dorothy Setliff, Australia
Frank Shipman, USA
Doug Smith, USA
Kurt Stirewalt, USA
Enn Tyugu, Sweden
Jeff van Baalen, USA
Richard Waldinger, USA
Virginie Wiels, France
Chris Welty, USA
David Wile, USA
==============================================
Jerry Gannod, Ph.D. Assistant Professor
Department of Computer Science and Engineering
Arizona State University
phone: (480) 727-4475
fax: (480) 965-2751
e-mail: gannod@asu.edu
homepage: http://www.public.asu.edu/~gannod
==============================================
From: Jerry Gannod <ggannod@asu.edu> Newsgroups: comp.ai,comp.groupware,comp.human-factors,comp.infosystems, comp.object,comp.software.testing,comp.software.config-mgmt, comp.specification.misc,comp.specification.larch,comp.specification.z, comp.sw.components Subject: CFP: ASE'00 Date: 29 Jan 2000 11:43:06 +1100 Organization: Arizona State University [ 149 lines deleted; see updated version above -- dc ]
To the Ada-Belgium home page.
Last update: 2000/08/16.
Dirk Craeynest