****************REQUIREMENTS ENGINEERING NEWSLETTER********************
No. 41.
Contents
1. Message from the Moderator! (Anthony Finkelstein)
2. CFP: 7th Intl Workshop on Software Configuration Management (Reidar Conradi)
3. CFP: 8th SDL Forum (Toma Macavei)
4. CFP: 4th Intl Conference on OO Information Systems (Wolfgang Emmerich)
5. WEB: Requirements Engineering Journal (Alan Florance)
6. WEB: Requirements Bibiography (Al Davis)
7. BOOK: Concurrent Engineering Fundamentals, Volume II (Biren Prasad)
8. BOOK: Process-Centred Requirements Engineering (Klaus Pohl)
9. EVENT: 3rd IEEE Intl Symposium on Requirements Engineering (Ralph Jeffords)
10. EVENT: Workshop on formal methods & requirements engineering (Orlena Gotel)
11. EVENT: European Conferences on Theory & Practice of Software (Jose Fiadeiro)
12. EVENT: Symposium on Current Trends in Software Engineering (Viviane Dehut)
13. EVENT: Intl Conference on Software Maintenance (Walcelio Melo)
14. QUESTIONNAIRE: Procurement of Requirements Methods/Tools (Cornelius Ncube)
-------------------------------------------------------------------------------
| If you have questions about particular items appearing in the newsletter - |
| send them to the originators. If you wish to contribute send your material |
| to the moderator at: requirements@cs.city.ac.uk |
| |
| Subscription (or removal) requests should be sent to: |
| requirements-request@cs.city.ac.uk Just send an email message containing: |
| |
| subscribe
OR unsubscribe |
| |
| The Requirements Engineering Newsletter and its archive is also accessible |
| through WWW. The URL is: |
| |
| http://web.cs.city.ac.uk/homes/acwf/rehome.html |
| |
| You may wish to link any Internet software engineering information resource |
| you maintain to this and/or notify the manager of your local Web server by |
| passing this message on to them. If you wish your requirements or software |
| engineering pages to be linked to the RE Newsletter page please inform me. |
| |
| You can access the archive via anonymous ftp: |
| |
| Ftp-host : ftp.cs.city.ac.uk (IP number: 138.40.91.9) |
| Directory : pub/requirements |
| Files are called renl1, renl2, etc. |
| |
| Requirements Engineering Newsletter is published solely as an educational |
| service. Copyright (c) 1995, Anthony Finkelstein; All Rights Reserved. |
| |
-------------------------------------------------------------------------------
**********************************************************************
[1]
From: acwf@cs.city.ac.uk (Anthony Finkelstein)
Subject: Message from the Moderator!
Usual apologies for the irregularity of this newsletter ...
Anthony
**********************************************************************
[2]
From: conradi@idt.unit.no (Reidar Conradi)
Subject: CFP: 7th Intl Workshop on Software Configuration Management
CALL FOR PAPERS
7th International Workshop on Software Configuration Management (SCM7)
Boston, 19-20 May 1997
Program Committee:
Geoffrey Clemm, Atria, USA
Reidar Conradi, NTNU, Trondheim, Norway (chair)
Susan A. Dart, Continuus, USA
Klaus R. Dittrich, University of Zuerich
Jacky Estublier, LRS, Grenoble
Andre van der Hoek, University of Colorado at Boulder
Annita Persson, Ericsson, Sweden
Ian Sommerville, University of Lancaster
Walter F. Tichy, University of Karlsruhe
This workshop is the 7th in the series. Previous workshops were held
in Grassau (Germany, '88), Princeton (USA, '90), Trondheim (Norway,
'91), Baltimore (USA, '93), Seattle (USA, '95), and Berlin (Germany,
'96). The goal of the workshop series is to merge the work of
researchers, vendors and practitioners in an attempt to discuss and
establish concepts and techniques, and to gather experiences in the
field of Software Configuration Management (SCM).
SCM is the discipline of managing the evolution of families of software
systems. It involves supporting the versioning, composition, and generation
of all relevant software items, as well as controlling and supporting related
team activities. It is central to any large software engineering project
and requires significant system support. SCM takes advantage of advances in
various fields such as system modeling, distributed databases, software
process technology, software engineering environments, and tool integration
and interoperability.
The goal of this workshop is to bring together researchers, vendors
and practitioners to discuss the state of the art in SCM as well as
challenges for the future. We will discuss leading-edge research in
SCM, how current research might lead to improved SCM products, and the
requirements of industry for SCM solutions.
We are looking for high quality, original full papers presenting advances
and experiences in the following topics:
- Practice and experience reports with SCM tools and methods
- Industrial requirements for SCM
- Versioning models and version selection,
- Data modeling and data management for SCM,
- Access, sharing and visibility models,
- Software process modeling for SCM,
- Team support and distributed, cooperative work,
- Software building/rebuilding,
- Tool integration and interoperability,
and any other topic related with SCM.
We especially welcome experience papers, and encourage researchers and
practitioners to join forces on this.
We also would prefer papers on the relation between SCM and
other software technologies, cf. above list.
Attendees must submit an original full paper (6000 words maximum), or a
one-page position paper describing their work.
Full papers will be published in the workshop proceedings which is intended
to be published in Springer's LNCS series.
Position papers will be distributed to all participants at the workshop.
Full papers must be sent to the chair in FOUR paper copies
(no electronic submission) by Friday, November 22nd, 1996:
Reidar Conradi
Norwegian University of Science and Technology (NTNU)
N-7034 Trondheim-NTH
Norway
Phone: +47 73.593444, Fax: +47 73.594466, conradi@idt.unit.no
Abstracts of above full papers or one-page position papers
should be submitted electronically as plain ASCII text --
by the same deadline and to the indicated email address.
Notifications will be mailed approximately the 20th of January, 1997.
Final papers are due 3 March 1997.
The workshop will be held in Boston, on the 19th and 20th of May, 1997,
immediately before ICSE'97.
**********************************************************************
[3]
From: Toma.Macavei@hugo.int-evry.fr (Toma Macavei)
Subject: CFP: 8th SDL Forum
CALL FOR PAPERS: EIGHTH SDL FORUM
INT (Institut National des Telecommunications)
Evry, France, 22-26 September 1997
The ITU (former CCITT) recommended Specification and Description Language,
SDL, has a growing user community, not only within telecommunications
industry, but also in other application areas. The SDL-92
version of the language is an object based language, with
support for concurrent objects (processes) with behaviour in terms of
Extended Finite State Machines and interaction by asynchronous signal
exchange and remote procedure calls. SDL-92 is now available in
industrial and commercial tools. A limited addendum to SDL-92
has been agreed by ITU SG10, and updated tools supporting this last
version (sometimes called SDL-96) should be available by the time
of the conference.
In addition, the SDL Forum has also become a Forum for Message
Sequence Charts (MSC), another cornerstone of ITU-T languages.
The SDL Forum is the meeting place for established and potential users of
the language, tool vendors and ITU Study Group members maintaining the
language. It is held every 2 years and has become the most important event
in the calendar for anyone involved in SDL and related languages
and technology. The proceedings are widely referenced, and the Forum
is the basis of further improvements.
The eighth SDL Forum takes place at INT in Evry, France, September
22-26, 1997, organised by INT and CNET-FRANCE TELECOM. Evry is located
30 km south of Paris and is easily accessible by highway or by
train. During the conference a shuttle service will be organized
everyday between INT and downtown Paris.
PAPERS
Authors are invited to submit papers for presentation at the Forum and
publication in the Proceedings. Suggested topics include, (but are
not limited to):
- Application to telecommunications: ATM networks, mobile
communication, service validation, intelligent networks,
ODP and CORBA architectures
- Other application areas: transport, robotics, electronics and
real time systems
- Message Sequence Charts (MSC): theory and applications
- Verification and testing of distributed systems
- Use of SDL and MSC together with other languages (OMT, ASN.1, Z, GDMO, etc)
- Methodology and Experiences in software engineering
- Tools and tool support
- Education and training
- Proliferation of SDL and MSC
Submissions should be written in English and be no longer than 16
pages (including the illustrations and bibliography), 12 point single spaced.
Send 5 copies to the Programme Co-Chair:
Ana Cavalli
INT- Dept LOR, 9 rue Charles Fourier,
91011 EVry Cedex, FRANCE
Tel: 33-1- 60 76 44 27
Fax: 33-1- 60 78 39 27
Email: Ana.Cavalli@int-evry.fr
The key dates are listed below.
Proceedings are expected to be published as a North-Holland book.
TUTORIALS
Monday 22 September will be a tutorial day, with presentations on relevant
topics by speakers with recognised experience and competence. The
tutorial programme will be published as part of the call for
participation and the final programme. Deadline for submission of
proposals is 1 February 1997. Send the proposals for tutorials
to the SDL Forum tutorials'organizer:
Daniel Vincent
CNET Lannion
Technopole Anticipa, BP40
22301 Lannion Cedex, FRANCE
Tel: 33 - 96 05 39 54
Fax: 33 - 96 05 39 45
Email: Daniel.Vincent@lannion.cnet.fr
WORKSHOPS
Workshops are organised as evening events. They provide an opportunity to
meet and discuss issues that may not be adequately handled by the technical
programme. If you want to organise a workshop, you are invited to submit a
proposal to the SDL Forum workshops organizer: Daniel Vincent.
Deadline for submission of workshops proposals is 1 February 1997.
TOOLS EXHIBITION
The Forum will be accompanied by a tool exhibition. Vendors of
commercial tools, and designers of non-commercial and experimental
tools related to SDL are invited to participate in the exhibition.
Enquiries regarding reservation of exhibition are
forwarded to the conference co-chair: Ana Cavalli before 15 March 1997.
PROGRAMME COMMITTEE
(Provisional and supplemented by a world-wide set of Corresponding Members)
Programme chairs: Ana Cavalli, INT, France,
Amardeo Sarma, EURESCOM, Germany
Chairman of ITU-T SG10 Q6
Rolv Braek, SINTEF, Norway
Laura Cerchio, CSELT, Italy
Pierre Combes, CNET, France
Jan Ellsberger, ETSI, France
Vincent Encontre, VERILOG, France
Ove Faergemand, TDU, Denmark
Joachim Fischer, University of Berlin, Germany
Oystein Haugen, Norwegian Computing Center, Norway
Dieter Hogrefe, University of Lubeck, Germany
Yair Lahav, ECI Telecom Ltd., Israel
Lennart Mansson, Telia Research, Sweden
Maria Manuela Marques, INESC, Portugal
Birger Moeller-Pedersen, NR, Norway
Anders Olsen, TDU, Denmark
Omar Rafiq, Universite de Pau, France
Rick Reed, TSE Ltd, UK
Ekkart Rudolph, SIEMENS, Germany
Louis Verhaard, TELELOGIC, Sweden
Daniel Vincent, CNET, France
Milan Zoric, ETF, Croatia
KEY DATES
-------------------------------------------------------------------------
| Paper submission: 31 December 1996 |
| Acceptance notification: 28 February 1997 |
| Final copy: 15 April 1997 |
| Tutorials proposal: 1 February 1997 |
| Workshop proposal: 1 February 1997 |
| Exhibition reservation: 15 March 1997 |
-------------------------------------------------------------------------
CONFERENCE INFORMATION
The complete call for participation and all information related to
the Forum will be available electronically via:
World Wide Web: http://alix.int-evry.fr/lor/SDL97/
Any correspondence and requests for information should be addressed
to the Conference Secretary:
Maria Guilbert
INT- Dept LOR, 9 rue Charles Fourier
91011 EVry Cedex, FRANCE
Tel: 33-1- 60 76 47 22
Fax: 33-1- 60 78 39 27
Email: Maria.Guilbert@int-evry.fr
LOCAL ARRANGEMENTS
Hacene Fouchal (LERI-REIMS)
Toma Macavei (INT)
Luiz Paula Lima (INT)
Jocelyne Vallet (INT)
**********************************************************************
[4]
From: emmerich@soi.city.ac.uk (Wolfgang Emmerich)
Subject: CFP: 4th Intl Conference on Object-Oriented Information Systems
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
4TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
******************** CALL FOR PAPERS - OOIS'97 ********************
Brisbane, Australia
10 - 12 November 1997
SCOPE:
-------
OOIS'97 is the 4th International Conference on Object-Oriented Information
Systems. It will be held in Brisbane, Australia for three days in
November 1997. OOIS'97 invites both researchers and practitioners to
submit papers outlining recent research in object-oriented concepts and
principles, as well as reports on industrial projects. Papers in the
following areas will be welcome, however topics are not restricted to these
fields:
- Distributed Object Computing - Patterns and Frameworks
- Concepts and Methodologies - Multimedia Systems
- Interoperability Issues - Object-Oriented Metrics
- Object Database Management Systems - Object Ontologies
- Business Process Re-Design - Object Reuse
- Knowledge Management
In order to meet new challenges, OOIS'97 particularly welcomes papers
exploring the areas of significant interest to industry, especially in
providing innovative directions for the development of next generation
systems, for example:
- Coping with Legacy Systems
- Transition to Object Technology
- Lessons learned from Large Scale Projects using Objects
PAPER SUBMISSION:
----------------
Four (4) copies of the paper should be sent to
Professor Maria Orlowska
OOIS'97
Computer Science Department
The University of Queensland
Brisbane Q 4072 Australia
Email: maria@cs.uq.oz.au
Fax: 61-7-3365 1999
by 31 March 1997.
Electronic submissions are greatly encouraged.
Submissions should include:
(1) Name, affiliation and complete address for each author including
email contact.
(2) The following signed statement: "All appropriate organizational
approvals for the publication of this paper have been obtained. If
accepted, the author(s) will prepare the final manuscript in time for
inclusion in the conference proceedings and will present the paper at
the conference."
Please submit the complete text of the paper in English, including a 60-word
abstract.
Papers should be less than 16 pages (double-spaced) in length, and should
present the results of original work to one or more of the listed areas of
interest.
Previous proceedings of the conference series have been published by
Springer-Verlag.
IMPORTANT DATES:
---------------
- Paper Submissions: 31 March 1997
- Notification of Acceptance: 30 June 1997
- Camera-Ready Copy: 31 July 1997
- Conference: 10-12 November 1997
Programme Co-Chairs:
-------------------
Maria Orlowska (Australia)
Roberto Zicari (Germany)
Programme Committee:
-------------------
Serge Abiteboul (US)
Terry Baylis (UK)
Wolfgang Emmerich (UK)
Fabrizio Ferrandina (Germany)
Carlo Ghezzi (Italy)
Igor Hawryszkiewycz (Australia)
Brian Henderson-Sellers (Australia)
Matthias Jarke (Germany)
Keith Jeffery (UK)
Yahiko Kambayashi (Japan)
Roger King (US)
Karl Lieberherr (US)
Frederick Lochovsky (Honk Kong)
Peri Loucopoulos (UK)
Leszek Maciaszek (Australia)
Jens Palsberg (US)
Remo Pareschi (France)
Dilip Patel (UK)
Barbara Pernici (Italy)
Naveen Prakash (India)
Collette Rolland (France)
Felix Saltor (Spain)
Kazimierz Subieta (Poland)
Yuan Sun (UK)
Yannis Vassiliou (Greece)
Organizing Committee:
--------------------
Kathleen Williamson (Australia)
Peter Creasy (Australia)
Exhibition:
----------
During the conference there may be an exhibition which will provide an
opportunity for commercial organizations to display and demonstrate object
technology related products.
Further Information / Paper Submissions:
-------------------
Professor Maria Orlowska
OOIS'97
Computer Science Department
The University of Queensland
Brisbane Q 4072 Australia
Email: maria@cs.uq.oz.au
Fax: 61-7-3365 1999
http://www.cs.uq.edu.au/conferences/oois97
*********************************************************************
[5]
From: Alan.Florance@umist.ac.uk (Alan Florance)
Subject: WEB: Requirements Engineering Journal
The first issue of the Requirements Engineering Journal is now
available both in hard copy and on the World-Wide-Web (first issue
only, abstracts only thereafter) at
http://www.mac.co.umist.ac.uk/RE/Journal.html, could you please let
your colleagues know and inform them of the subscrition rates, a sample
copy of the first issue is available by completing the form on the WWW
pages.
Requirements Engineering Journal Subscription Information
_________________________________________________________
Title No 766
ISSN 0947-3602
Institutional/ Library Subscription Rate: £140 Sterling (including
postage).
Individual Subscription Rate*: £39 Sterling (including postage).
* This is a special rate to members of BCS, IEEE, ACM and IFIP WG 2.9.
Available only direct from Springer, London. Payment must be made by
either personal credit card or personal cheque. Applications for the
special rate will only be accepted if the Professional Society and
Membership No are included.
*********************************************************************
[6]
From: adavis@vivaldi.uccs.edu (Al Davis)
Subject: WEB: Requirements Bibiography
I've decided to make my extensive requirements bibliography available on the
Web. Fee feel to stop and visit:
http://mozart.uccs.edu/adavis/reqbib.html
Al
**********************************************************************
[7]
From: BPRASAD@CMSA.gmr.com (Biren Prasad)
Subject: BOOK: Concurrent Engineering Fundamentals, Volume II
Book Title: Concurrent Engineering Fundamentals
Volume II: Integrated Product Development
==============================
Author: Biren Prasad, Ph.D., EDS/General Motors Account
Date Published: October 1996, 490 PP., Hardcover,
ISBN # 0-13-396496-0
Publisher: Prentice Hall, NJ, USA
WEB PAGE: http://unix.secs.oakland.edu/SECS_prof_orgs/ISPE/
BACK-COVER OUTLINE:
===================
Moving beyond "quality."
Quality is not the only element of a successful product.
For providing a total value to the customers beyond
quality, product manufacturers must also consider responsiveness,
functionality, development cost, and the tools and technology used in
development and production.
Volume I of Concurrent Engineering Fundamentals introduced, besides
many CE techniques, an integrated taxonomy of product
realization process. Volume II explains how to implement those
techniques and process to achieve a truly integrated product development
environment. Using the work-group concept, engineering teams
can learn to balance the interests of the customers and the company
to achieve Total Value Management (TVM). TVM principles are important
to reach a world-class manufacturing leadership.
Identifying and controlling the entire production process is the best way
to remain responsive to consumers' changing demands while remaining
competitive in all stages of product development. Utilizing the holistic
view of life-cycle management, Concurrent Engineering Fundamentals,
Volume II shows how to incorporate the voice of the customer into all
nine phases of the product development cycle, assuring the flexibility
and competitiveness edge needed to keep pace with evolving markets.
Building on the concurrent product realization structure introduced in
Volume I, Volume II of Concurrent Engineering Fundamentals covers:
o 25 metrics and measures for concurrent engineering
o Concurrent Functions Deployment (CFD), the concept of considering a
number of competing values during product development and
production -- not just basing decisions on "quality" as found in
"QFD"
o Regenerative techniques of capturing life-cycle intent
beyond "design intent" so mechanization can happen over the
entire life-cycle.
o Techniques of Total Value Management (TVM) -- not just managing
"quality" as found in "TQM."
o Developing and using intelligent information infrastructure and
decision support systems for managing all aspects of product integrity
and values.
Concurrent Engineering Fundamentals, Volume II includes test
problems as well as suggestions for additional reading. Professor and
students will find this book appropriate for courses in design education.
Practicing engineers, executives managing CE projects, and anyone
interested in understanding the process of CE will find this book
indispensable.
TABLE OF CONTENTS
=================
Introduction: Concurrent Engineering (CE) Wheel
Chapter 1: Concurrent Function Deployment
Chapter 2: CE Metrics And Measures
Chapter 3: Total Value Management
Chapter 4: Product Development Methodology
Chapter 5: Frameworks And Architectures
Chapter 6: Capturing Life-Cycle Intent
Chapter 7: Decision Support Systems
Chapter 8: Intelligent Information System
Chapter 9: Life-Cycle Mechanization
Chapter 10: IPD Deployment Methodology
HOW DO YOU GET MORE INFORMATION:
================================
You can get additional information from the ISPE Web Page as follows:
WEB page >> http://unix.secs.oakland.edu/SECS_prof_orgs/ISPE/
Information on Concurrent Engineering Wheel is available on the Web
WEB PAGE >> http://rassp.scra.org:80/newsletters/96q1/news_6.html
Book Orders are taken by:
CERA Institute, P.O. Box 250254,
W. Bloomfield, MI 48325-0254, USA
Tel: (810) 696-5487
Fax Number: (810) 661-8333/
If you would like to get a copy of the Table of Contents or to discuss
technical details concerning Concurrent Engineering, please direct your
inquiries or Email your request to:
Dr. Biren Prasad, Managing Director
SE Consultant, Electronic Data Systems (EDS)
Email:
*********************************************************************
[8]
From: pohl@I5.Informatik.RWTH-Aachen.DE (Klaus Pohl)
Subject: BOOK: Process-Centred Requirements Engineering
PROCESS-CENTERED REQUIREMENTS ENGINEERING
(KLAUS POHL, RWTH AACHEN)
RSP marked by John Wiley and Sons Ltd, 1996, approx. 350 pp.
ISBN 0 86380 193 5
£ 50.00
This book is about requirements engineering and support for requirements
engineering processes. It is written for all those involved in the subject
area,
whether students or requirements/software engineer practitioners or
researchers.
In contrast to other books on requirements engineering, this book
provides neither an overview of existing requirements engineering
methods nor a comparison between them. Instead it introduces one of the
first comprehensive requirements engineering frameworks and, as Matthias
Jarke says in the Foreword, "claims that support for requirements
engineering must be centered around the requirements process; any
support for requirements documents make sense only in the context of
their creation and usage history".
The book describes, in detail, a framework for requirements engineering,
an approach for automated recording of trace information, a process
repository for requirements engineering, flexible computer-based process
support for creative engineering processes, and a novel architecture for
process-integrated engineering environments.
The book is divided into five parts:
Part I provides an overview and outline of a comprehensive framework for
requirements engineering. Requirements engineering is seen as the
process of establishing an overall system vision within an existing
context. The process itself is characterized by three orthogonal
dimensions: the agreement reached between the various stakeholders
involved (agreement dimensions), the various representation formats
(informal, semi-formal, formal) used to document and represent the
requirements (representation dimension), and the degree of completeness
reached in the actual requirements specification (specification
dimension).
Part II deals with process-orientation in engineering environments.
After introducing the underlying ideas of, and principal approaches to
process improvement, process support offered by process-centered
engineering environments (PCEEs) is elaborated. A framework for process
support and process improvement in engineering environments, called
RAPCEE, is then proposed. RAPCEE consists of three components: the
process repository in which the process definition and traces are
recorded and organized, a process execution environment used to perform
the process, and a process (method) definition environment used to
define and improve the process models.
Part III elaborates on the two principal tasks of the process execution
environment. Requirements pre-traceability is established by an approach
for (almost) automated recording of trace information by the tools of
the execution environment. Flexible process support for creative
processes is achieved by a contextual process definition language and by
our unique process-integrated tool approach, which enables the tools
both to invoke the execution of process definition and also to offer
process-sensitive guidance to the user by adapting their behavior
according to the actual process situation and the process definition.
Part IV defines a process repository for requirements engineering using
the knowledge representation language O-Telos. To enable a comparison
between the actual process performance and the process definition,
thereby empowering process improvement, the prescriptive process model
(guidance meta model) and the descriptive model (traceability meta
model) are defined using a set of common core concepts. Based on these
concepts, a concrete traceability structure for capturing process
execution along the three dimensions (agreement, representation,
specification) is defined.
Part V outlines the architecture of our prototype implementation of the
proposed approaches and concepts, called PRO-ART. An example is used to
explain the interplay between the process enactment mechanism and the
process-integrated tools, the process sensitivity of the tools, and the
automated recording of the process executions (traces).
CONTENTS:
PART 1 - Requirements Engineering:
Requirements Engineering: Definitions, Products, and Processes;
Requirements Engineering: Establishing Visions in Context;
Requirements Engineering: A Three Dimensional Framework;
Requirements Engineering: Rˇsumˇ;
PART II - Process-Centered Engineering Environments:
Process Improvement;
Computer-Based Process Support;
A Repository-Based Approach for Process-Centered Engineering Environments;
Process-Centered Engineering Environments: Rˇsumˇ;
PART III - Process Execution Environment: Principal Concepts and Approaches:
Capturing Traces;
Supporting Requirements Engineering Processes;
Situated and Process-Integrated Tools;
Process-Integrated Tools: Detailed Approach;
Principal Concepts and Approaches: Rˇsumˇ;
PART IV - A Process Repository for Requirements Engineering:
O-Telos: An Implementation Platform for Process Repositories;
Definition of the Descriptive and the Prescriptive Meta Models;
Definition of the Traceability Structure;
A Process Repository for Requirements Engineering: Rˇsumˇ;
PART V - The PRO-ART Environment:
PRO-ART: The Architecture;
PRO-ART: A Detailed Example;
References;
Index
RSP Series: Advanced Software Development Series No. 5
Series Editor: Professor J. Kramer, Imperial College of Science, Technology
and Medicine, University of London, UK
For customers ordering in the USA: This title will be available from John
Wiley & Sons Inc., 605 Third Avenue, New York, NY, 10158-0012, USA, TEL: 1
800 879 4539.
Please quote ISBN 0 471 96184 1. US $ price on application.
Published by Research Studies Press, 24 Belvedere Road, Taunton, Somerset,
TA1 1HD, UK
*********************************************************************
[9]
From: jeffords@itd.nrl.navy.mil (Ralph Jeffords)
Subject: EVENT: 3rd IEEE Intl Symposium on Requirements Engineering
Third IEEE International Symposium on Requirements Engineering
Annapolis, Maryland, USA
6 - 10 January 1997
Preliminary Program
The Third IEEE International Symposium on Requirements Engineering (RE'97)
provides a forum for researchers and practitioners to discuss requirements
engineering, the branch of software engineering concerned with methods,
techniques, and tools for eliciting, specifying, and analyzing software
requirements. Featured this year is an industrial program consisting of
industry experience reports, a panel on the requirements problem in industry,
5 tutorials, and a tools exhibit. The symposium also features 21 research
papers, a minitutorial, 2 workshops, a panel on change, and a doctoral
consortium. The symposium site is historic downtown Annapolis, 30 miles
(50 km) east of Washington, D.C.
SCHEDULE
Monday (6 Jan.): Doctoral Consortium; Monday, Tuesday (6-7 Jan.): Tutorials;
Wednesday, Thursday, Friday (8-10 Jan.): Technical Program
INVITED SPEAKERS
----------------
Anthony Hall (Praxis) "What's the Use of Requirements Engineering?"
Many approaches to requirements engineering exist but often conflict.
Conflicts can best be resolved by asking: "What is the use of doing that?".
How addressing this question helps in choosing requirements methods and in
dealing with difficulties that arise in applying the methods is discussed.
Dr.Hall, a principal consultant with the software engineering company Praxis,
pioneered the use of formal specification in industrial projects and led the
design of the CDIS air traffic information system, one of the largest
industrial applications of formal methods. He has worked on requirements for
many systems and guided the development of major systems from requirements.
Colin Potts (Georgia Inst. Tech.) "Requirements Models in Context"
Traditional requirements engineering stresses generalization and abstraction.
But, by abstracting away from the context, the designer may model only those
things that are easy to model and ignore the subtleties, special cases, and
concrete features of the context. In contrast, approaches that stress context
at the expense of abstraction may lead to floundering or to short-term
customer satisfaction at the expense of long-term system fragility. Needed
is a synthesis of the two approaches. Professor Potts, a member of Georgia
Tech's Software Research Ctr. and its Graphics, Visualization and Usability
Ctr., has held positions in both industrial R&D and software development.
John Rushby (SRI International) "Calculating with Requirements"
Formal techniques, such as strong type checking and completeness and
consistency checking using decision procedures and model checking, reduce
certain questions about requirements to automated (and therefore fast, cheap,
and repeatable) calculations. Examples from space shuttle and other
applications illustrate the techniques. Dr. Rushby, Program Director of
SRI's Computer Science Lab., develops formal verification systems (the
latest is PVS) and applies them to problems in computer security, hardware
design, and safety-critical and fault-tolerant systems. PVS is currently
being used in industrial projects applying formal methods to aerospace
problems.
David Harel (Weizmann Institute of Science) "Will I Be Pretty, Will I Be Rich?
Theory vs. Practice in Systems Engineering"
The role of theoretical vs. applied research in the specification and design
of reactive, highly concurrent systems is discussed. The research performed
by theoreticians can be divided into three kinds of theory--theory for the
sake of theory, theory of foundations and principles, and theory arising
from applications. Different kinds of theory are illustrated with examples
from several areas of computer science. Professor Harel is the William
Sussman Professor of Mathematics at the Weizmann Inst. A cofounder and
chief scientist of i-Logic, Inc., he is also the inventor of the
statecharts language. His most recent book is "Algorithmics: The Spirit
of Computing" (MacMillan 1988).
TUTORIALS
---------
Making Requirements Measurable -- Bashar Nuseibeh (Imperial College ) and
Suzanne Robertson (Atlantic Systems).
Participants in this full-day "interactive" tutorial examine measurability
by building a requirements specification for a familiar system. A
requirements template is used as a guide. How measurable requirements can
be used to build a requirements quality filter is described.
Requirements Specification and Analysis With SCR -- Stuart Faulk (Univ. of
Oregon) and Connie Heitmeyer (Naval Research Lab.).
This half-day tutorial describes the practical, industrial-strength Software
Cost Reduction (SCR) method for developing requirements. The formal model
that underlies SCR and software tools supporting consistency checking,
simulation, and verification are described. The application of SCR to
practical systems is discussed.
Software Requirements Specification and System Safety -- Mats Heimdahl
(Univ. of Minnesota) and Jon Reese (Univ. of Washington).
After introducing system safety, this half-day tutorial discusses how
software control affects safety analysis and outlines the root causes of
safety problems. The formal language RSML (Requirements State Machine
Language) is introduced. RSML has been used to capture the requirements of
several safety-critical systems, most notably TCAS II.
Requirements Traceability -- Anthony Finkelstein (City Univ., London) and
Richard Stevens(QSS).
This half-day tutorial focuses on requirements traceability, the ability to
describe and follow information about the life of a requirement. The focus
will be on traceability in a systems engineering setting. The tutorial will
provide a detailed look at requirements traceability and practical techniques
for supporting it.
Object-Oriented Requirements Specification -- Roel Wieringa (Free Univ.
Amsterdam).
This half-day tutorial presents the latest developments in object-oriented
requirements methods and compares them to recent developments in structured
analysis. Four methods are covered: Unified Modeling Language of Rumbaugh,
Booch and Jacobson; Fusion (1996) extended with Use cases; OOA
(Shlaer-Mellor); and Yourdon Systems Method (1993). The potential for
combining different methods is discussed.
MINITUTORIAL
------------
Model Checking and Requirements - Daniel Jackson (Carnegie Mellon Univ. ).
With its dramatic successes in automatically detecting design errors (mainly
in hardware and protocols), model checking has recently rescued the
reputation of formal methods. This tutorial describes what model checking
is, what tools have been developed, and how the tools might be used to
analyze requirements.
PANELS
------
Impact of Environmental Evolution on Requirements Changes -- Chair:
Nazim Madhavji, McGill Univ.
When a system is being developed, the system's environment usually keeps
evolving. This environmental evolution may adversely affect the system
implementation, causing functional deficiencies, performance problems, etc.
To avoid such problems, the effects of environmental changes on system
requirements must be identified. This panel will discuss the impact of
environmental change on requirements and how this problem can be understood
and solved.
Industrial Priorities for Requirements Engineering Research -- Chair:
Steve Miller, Rockwell-Collins.
Solutions to problems studied by the RE research community often do not
meet the real needs of industry. Industry representatives will provide
insight into the most critical problems that research should be attacking.
WORKSHOPS
---------
Scenario-Based RE Methods.
While scenarios have become an important component of requirements
engineering, little guidance exists on how scenarios may be used in
validation, requirements elicitation, etc. This workshop explores the
different concepts of scenarios and whether a common view of scenarios
exists. Means of technology transfer and research challenges will be
discussed. (Organized by Alistair Sutliffe, City Univ., London)
Software on Demand: Issues for RE.
Software on demand is software that can be delivered over the Internet on
an as-needed basis. The user can download full applications or small
plug-ins to complete the current task at hand. This workshop will explore
topics such as how to specify the requirements of software on demand and how
software on the net can be organized. A prototype software on demand system
will be used as a strawman. (Organized by Steve Fickas, Univ. of Oregon)
TOOLS EXHIBIT
-------------
Chairs: Charles Payne, Dwight Colby, Secure Computing Corp.
Presentations and demos of state-of-the-art commercial tools along with
cutting edge academic efforts are scheduled. Confirmed exhibitors include
Vitech Corp. (CORE), Marconi Systems Technology, Inc. (RTM), QSS (DOORS),
TD Technology (SLATE), Universite' Catholique de Louvain (GRAIL/KAOS), and
Naval Research Lab (SCR Toolset).
DOCTORAL CONSORTIUM
-------------------
Chair: Myla Archer, Naval Research Lab.
One of the most popular events of RE'95, the Doctoral Consortium gives
students whose doctoral research is not yet complete an opportunity to
present their work to colleagues in RE.
ORGANIZING COMMITTEE
--------------------
General Chair: Connie Heitmeyer (Naval Research Lab)
heitmeyer@itd.nrl.navy.mil
Program Chair: John Mylopoulos (Univ. of Toronto)
jm@cs.toronto.edu
Industrial Chair: Stuart Faulk (Univ. of Oregon)
faulk@cs.uoregon.edu
For more information and registration materials:
http://www.itd.nrl.navy.mil/conf/ISRE97
*********************************************************************
[10]
From: olly@soi.city.ac.uk (Orlena Gotel)
Subject: EVENT: Workshop on formal methods & requirements engineering
The BCS Requirements Engineering Specialist Group (RESG) and The Formal
Aspects of Computing Science (FACS) Specialist Group jointly present:
_________________________________________________________
A Workshop on Formal Methods and Requirements Engineering:
Challenges and Synergies
16th - 17th December, 1996
City University, London
_________________________________________________________
OVERVIEW:
Requirements engineering is concerned with trying to ascertain and to
express comprehensively, comprehensibly, complementarily and precisely what
system is thought to be needed in a particular situation. Precision
(certainly) and comprehensiveness (probably) require formality to some
degree so it is inevitable that for most systems it will be necessary to
use some formal (that is, mathematically well-defined) notation.
Comprehensibility requires the ability to interpret formal descriptions in
ways which the stakeholders can understand and comment upon.
Complementarity requires the ability to relate and to investigate the
consistency of requirements expressed in different notations by different
players from different viewpoints.
But we also know that the requirements engineering process is not a
straight line trajectory from a thought cloud in someone's mind to a formal
specification. If we pursue the implications of a specification, formally
or informally, or if we attempt to design and/or implement a system
according to a putative specification we will undoubtedly uncover
misunderstandings, incompleteness and infeasibilities. And of course when
the system is delivered it will still have to adapt to its changing
context. Thus we need to manage changing requirements, be they formally or
informally expressed, and this means that we need precise descriptions of
the processes involved and of the tools to support these processes.
This is just a cursory -- and perhaps slightly provocative -- review of
some of the areas where the fields of formal methods and requirements
engineering touch and overlap. Many of us are indeed already working in
both areas. The intention of this meeting is to consider the mutual
challenges which are presented to each of the two communities and the
synergies which could arise from the attempt to address these challenges.
Needless to say, the aim is to encourage the meeting of minds rather than
adversarial contest.
ORGANISATION:
This workshop is being organised jointly by the BCS Formal Aspects of
Computing Science (FACS) and Requirements Engineering (RESG) Specialist
Groups as part of an established and successful series of "Xmas Workshops".
The workshop will comprise:
- presentations from invited specialists from both the requirements
engineering (RE) and formal methods (FM) communities who are working in
areas relevant to challenges identified in advance of the meeting.
- group discussions, lead by researchers and practitioners in relevant
areas, which will aim to identify further issues and the responses of the
two communities.
TIMETABLE:
A provisional timetable for the workshop is as follows:
16th December
-------------
10.00 - 10.30 Coffee and registration
10.30 - 11.00 Setting the Scene: Michael Jackson
11.00 - 11.45 Change in Software and System Requirements/Specifications
RE: Ken Eason
FM: John Wordsworth
11.45 - 12.30 Requirements Traceability
RE: Laurence James
FM: Francisco Pinheiro
12.30 - 14.00 Lunch
14.00 - 14.45 Requirements Elicitation and Validation
RE: John Dobson
FM: Lee McCluskey
14.45 - 15.30 Non-Functional Requirements
RE: Ian Sommerville
FM: Dave Stuart Robertson
15.30 - 16.00 Tea
16.00 - 17.30 Group discussions lead by Bernie Cohen, Jeremy Dick,
David Jordan and Robert Darimont
19.00 Workshop dinner
17th December
-------------
09.00 - 09.45 Inconsistency in Software/System
Requirements/Specifications
RE: Alfonso Fuggetta
FM: Tony Hunter
09.45 - 10.30 Use of Multiple Notations
RE: John McDermid
FM: Jose Fiadeiro
10.30 - 11.00 Coffee
11.00 - 12.30 Group discussions
12.30 - 14.00 Lunch
14.00 - 14.45 Architecture
RE: Jeff Kramer
FM: Sue Eisenbach
14.45 - 15.30 Domain Knowledge
RE: Peri Loucopoulos
FM: Jeremy Holland
15.30 - 16.00 Plenary session
REGISTRATION:
The workshop is limited to 40 delegates, so please register early to avoid
disappointment. Registration forms (see below) and enquiries to:
Liz Bromley, Centre for HCI Design, City University, Northampton Square,
London, EC1V OHB. Tel: 0171-477-8427. Fax: 0171-477-8859. E-mail:
E.M.Bromley@city.ac.uk
Registration will include a workshop dinner, two buffet lunches, light
refreshments and a delegate pack. Registration is deemed to have been
accepted on receipt of registration details. Substitutes may be made at any
time. Registrations can be cancelled by providing written notification at
least 10 working days before the workshop, when a full refund, less GBP23.50
administrative charge, will be made. Cancellations after this date are
liable for the full fee.
FEES:
Attendance to the symposium is GBP140 (including VAT) for members of RESG,
FACS, BCS and IEE, and GBP170 (including VAT) for others. A very limited
number of student places are available to students at GBP60 including VAT.
DOCUMENTATION:
Viewfoils, abstracts, summaries of group discussions will be sent free of
charge to delegates within two weeks after the event. This documentation
can also be purchased separately for GBP23.50. Contact Liz Bromley at the
above address.
We Look Forward To Seeing You!!
------------------------------cut here-----------------------------------
REGISTRATION FORM
Full delegate rate: GBP170 incl VAT
Discount rate (for RESG, FACS, BCS or IEE members): GBP140 incl VAT
Student rate: GBP60 include VAT
I enclose a cheque for GBP__________
Cheques payable to BCS Requirements Engineering Specialist Group
Delegates receive seminar pack, workshop dinner, two lunches and tea/coffee.
Vegetarian lunch required: yes/no.
Dr/Mr/Ms____ First name_______________ Surname_________________________
Position______________________________________________________________
Organisation___________________________________________________________
Address______________________________________________________________
_________________________________________________ Post code___________
Tel________________ Fax_________________Your purchase order no___________
Please invoice: yes/no
Invoice address if different to above:
Department____________________________________________________________
Organisation___________________________________________________________
Address______________________________________________________________
_________________________________________________ Post code___________
Date___________________________
*********************************************************************
[11]
From: llf@di.fc.ul.pt (Jose Fiadeiro)
Subject: EVENT: European Conferences on Theory & Practice of Software
******* E T A P S ******
European Joint Conferences on Theory and Practice of Software
Lisbon, Portugal
March 30 - April 3, 1998
-- Preliminary Announcement and Call for Satellite Events --
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Internet address for more information: http://www.di.fc.ul.pt/~llf/etaps98/
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
What is ETAPS?
==============
Starting in 1998, a new annual meeting covering a wide range of topics in
Software Science will take place in Europe each spring in the slot
currently occupied by CAAP/ESOP/CC and TAPSOFT. The European Joint
Conferences on Theory and Practice of Software (ETAPS) will be a loose and
open confederation of existing and new conferences and other events. The
overall aim is to create a popular annual meeting that will act as a strong
magnet for academic and industrial researchers working on topics relating
to Software Science.
The events that comprise ETAPS will address various aspects of the system
development process, including specification, design, implementation,
analysis and improvement. The languages, methodologies and tools which
support these activities are all well within its scope. Different blends of
theory and practice will be represented, with an inclination towards theory
with a practical motivation on one hand and soundly-based practice on the
other. Many of the issues involved in software design apply to systems in
general (including hardware systems), and the emphasis on software is not
intended to be exclusive.
Each conference will retain its own identity, with a separate programme
committee and independent proceedings. ETAPS will include an "Advanced
Seminar", consisting of a wide spectrum of talks by invited speakers, which
will take place in plenary sessions. Satellite meetings and system demos
are strongly encouraged. The names and topics of the constituent events
will be largely the same each year, except that some events may not be
annual, and over time new events will be added and old ones will merge or
disappear.
ETAPS Steering Committee
========================
Don Sannella (Edinburgh, Chairman), Jose Fiadeiro (Lisbon, Organiser of
ETAPS'98), Andre Arnold (Bordeaux), Egidio Astesiano (Genova), Ed Brinksma
(Enschede), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), Marie-Claude
Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin (London), Uwe Kastens
(Paderborn), Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum
(London), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona),
Bernhard Steffen (Passau), Wolfgang
Thomas (Kiel)
ETAPS'98
========
The first incarnation of ETAPS will take place in Lisbon, Portugal, March
30 - April 3, 1998. The organiser is Josˇ Fiadeiro, of the University of
Lisbon. The initial set of conferences is shown below. The conferences will
be held at the Gulbenkian Foundation, situated in the middle of landscaped
gardens, next to a museum with Calouste Gulbenkian's private art
collection, a modern art museum, a library, a concert hall, and galleries
with art exhibitions. In 1998, Lisbon will also host the celebrations of
the 5th centenary of Vasco da Gama's arrival in India and a world
exhibition (EXPO'98) on the theme "The oceans - a heritage for the future".
Although the official starting date of
the exhibition is in May, several cultural events have been programmed for
the months before. ETAPS participants can be assured of a busy scientific
and cultural week!
People interested in organising satellite events should contact:
Jose Fiadeiro
Department of Informatics, Faculty of Sciences, University of Lisbon
Campo Grande, 1700 Lisboa, Portugal
phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul.pt
Constituent events of ETAPS'98
==============================
Foundations of Software Science and Computation Structures (FoSSaCS)
--------------------------------------------------------------------
The scope of FoSSaCS is syntactic, algebraic, logical and semantic methods for
describing, analysing, transforming and verifying programs and systems. The
focus is on foundational aspects of such methods rather than on their
applications. Topics include: computational and syntactic foundations of
software science; transition systems and models of concurrency; data
structures and types; domain theory and denotational (fixed-point)
semantics.
Programme Committee Chair: Maurice Nivat (Paris)
Fundamental Approaches to Software Engineering (FASE)
-----------------------------------------------------
To enhance software quality, the software production process requires
systematic
methods,firmly grounded on scientifically justified techniques. Fundamental
approaches are sought, possibly integrating so called formal and informal
aspects, providing the bridge between theory and practice and aimed at
producing engineering methods and tools for the various phases of software
development. FASE is intended to provide a forum where different fundamental
approaches to problems of software specification, development, validation and
verification are presented, compared and discussed. Topics include: methods for
the production of provably correct software and its verification;
integration of
informal and formal methods; formal approaches for real-time, concurrent,
distributed and object-oriented systems; scientific sound approaches to testing
and measurement; tools and environments supporting formal approaches;
fundamental aspects of the specification, design and verification of hardware
components and hybrid systems; reports on the engineering or scientific lessons
gained from industrial experiences in the use of formal and semiformal methods.
Programme Committee Chair: Egidio Astesiano (Genova)
European Symposium On Programming (ESOP)
----------------------------------------
ESOP is devoted to fundamental issues in the specification, analysis and
implementation of programming languages and systems. It particularly
welcomes research that bridges the gap between theory and practice: for
example, practical studies based on theoretical developments and
theoretical developments with a clearly identified potential for practical
application. Topics include: programming paradigms and their integration,
including functional, logic, concurrent and object-oriented; semantics
facilitating the formal development and implementation of programming
languages and systems; advanced type systems; program analysis; program
transformation.
Programme Committee Chair: Chris Hankin (London)
International Conference on Compiler Construction (CC)
------------------------------------------------------
CC is a forum for presentation and discussion of recent developments in
compiler
construction, language implementation and language design. Its scope ranges
from compilation methods and tools to implementation techniques for
specific requirements of languages and target architectures, and includes
language design
and programming environment issues related to language translation. Topics
include: tools for any phase of compilation; methods for code generation
and optimisation; compilation for parallel architectures; translation of
computer languages (imperative, functional, logic, object-oriented,
parallel, etc.); translation of application and specification languages;
other tools closely related to compiler construction - e.g. debuggers, data
flow analysers, etc.
Programme Committee Chair: Kai Koskimies (Tampere)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
-------------------------------------------------------------------------
Many similar tools and algorithms have been independently developed in various
areas of computer science like automata and language theory, verification and
synthesis of hardware and software systems, type and proof theory, and logic.
TACAS is a forum for discussion of the principles and application-independent
features of such algorithms and their implementation, with the aim to increase
the reliability, flexibility and efficiency of current tools by
highlighting common problems, heuristics, data structures, and solutions.
TACAS overlaps with the other events of ETAPS, and is intended to attract
contributions that stimulate discussions between the various communities.
Programme Committee Chair: Bernhard Steffen (Passau)
*********************************************************************
[12]
From: register.ctse@info.ucl.ac.be (Viviane Dehut)
Subject: EVENT: Symposium on Current Trends in Software Engineering
SYMPOSIUM: CURRENT TRENDS IN SOFTWARE ENGINEERING
November 15, 1996
Universite catholique de Louvain
Louvain-la-Neuve
Taking advantage of the granting of a Honorary Degree
by the Faculty of Applied Sciences to Professor D. L. Parnas,
the Department of Computing Science and Engineering of UCL
has decided to organize this one-day symposium to allow a number
of prominent speakers to present their views on the current
state-of-the-art in four important areas of interest in the
field of software engineering.
Concurrently, a number of exhibits and demonstrations will allow
participants to get acquainted with some of the tools acquired and
evaluated by CEDITI, our Technology Transfer Center in Charleroi
(URL: http://www.cediti.be).
The financial support of the Fonds National de la Recherche Scientifique
is gratefully acknowledged.
Programme :
*********
(Abstracts to be found at URL http://www.info.ucl.ac.be/event/CTSE.html)
9h.30 Welcoming address
Prof. E. Milgrom - UCL
9h.45 Process Support for Human-Centered Environments:
the Case of Software Processes
Prof. C. Ghezzi - Politecnico di Milano
10h.45 Coffee break
11h.15 Goal-Driven Requirements Engineering
Prof. A. van Lamsweerde - UCL
12h.15 Lunch break
14h.15 Distributed Software Engineering
Prof. J. Kramer - Imperial College
15h.15 Coffee break
15h.45 Software Inspections We Can Trust
Prof. D.L. Parnas - McMaster University
16h.45 Change of venue
17h.00 Academic Ceremony: Granting, by the Rector,
of the title of Doctor Honoris Causa to
Professor D.L. Parnas (Software Engineering)
and to Professor G. De Carlo (Architecture)
18h.00 Reception
Practical Information :
*********************
Participation to the Symposium is free of charge, but registration
is required. The Symposium will be held in auditorium Socrate 11,
located Place du Cardinal Mercier, 10 in Louvain-la-Neuve.
Lunch may be had in any of the many restaurants in the city of
Louvain-la-Neuve.
Participants who wish to take part in the official lunch
with the speakers are invited to indicate this in their registration
and to transfer the amount of 900 BEF per person to account
nr. 310-1145299-09 of "Unité d'Informatique UCL" with the following
message:
CTSE - Lunch: Name1, Name2, ...
where Name1, Name2, ... designate the names of the participants
to the lunch. The payment must have been received before November 4, 1996
for the reservation to be confirmed.
Registration :
************
Registration may be achieved through any of the following means :
- filling out of a WWW form
(URL: http://www.info.ucl.ac.be/event/CTSE.html)
- phoning our secretariat (Mrs. V. Dehut : 010 - 47 31 50)
- sending back a note to
CTSE - Departement INGI
2, Place Sainte-Barbe
B-1348 Louvain-la-Neuve (Belgique)
- e-mailing the following form to: register.ctse@info.ucl.ac.be
----------------------------------------------------------
First Name :
Last Name :
Title :
Company :
Department :
Street, Nr :
Postcode :
City :
Phone :
Fax :
E-mail :
Participation to the Symposium CURRENT TRENDS IN SOFTWARE ENGINEERING:
- Symposium Yes/No :
- Lunch Yes/No :
If Yes, I transfer 900 BEF to BBL account nr. 310-1145299-90
of Unite d'Informatique UCL
- Academic Ceremony Yes/No :
- Reception Yes/No :
*********************************************************************
[13]
From: Walcelio.Melo@crim.ca (Walcelio Melo)
Subject: EVENT: Intl Conference on Software Maintenance
ICSM'96 Advance Program
International Conference on Software Maintenance
Monterey, CA November 4-8, 1996
ICSM'96 THEME: Software Modernization
KEYNOTE SPEAKER ADDRESSES
Ted Keller, Manager of Shuttle Software, Lockheed-Martin Space
Information Systems, USA
"What does it cost to make that change?"
Lloyd K. Mosemann, II,
Former Deputy Assistant Secretary of the Air Force, USA
"Software Maintenance: Myth or Magic"
Peter de Jager, Sponsored by Data Dimensions, Inc.
"Preparing for the Year 2000"
Website: http://www.iese.fhg.de/Announcements/icsm96.html
REGISTRATION
Name: (Last)___________________________(First)______________________________
Name as it will appear on your badge: ______________________________________
Organization: ______________________________________________________________
Mailing Address: ___________________________________________________________
___________________________________________________________
City: ______________________ State: ________________________ Zip: __________
Country: ___________________ IEEE/CS Membership Number: ____________________
Telephone: ____________________________ Fax: _______________________________
E-Mail Address: ____________________________________________________________
Do you have any special needs? _____________________________________________
Full-Day Tutorial (Monday, November 4, 1996; Price is Per Tutorial)
Advance (Until 10/4/96) Late/On Site (After 10/4/96)
__ Member: $300 __ Member: $360
__ Nonmember: $380 __ Nonmember: $460
Half-Day Tutorial (Tuesday, November 5, 1996; Price is Per Tutorial)
__ Member: $150 __ Member: $180
__ Nonmember: $190 __ Nonmember: $230
Please Indicate Tutorial(s) Selected:
Monday, November 4, 1996:
__ Tutorial 1: A Methodology for Software Quality Metrics for Maintenance
__ Tutorial 2: The Technology of Software Change
__ Tutorial 3: Comprehension and Evolution of Legacy Software
Tuesday, November 5, 1996:
__ Tutorial 4: Using Program Decompositions in Software Maintenance
__ Tutorial 5: Alternative Approaches to Software Maintenance Tasks
__ Tutorial 6: Understanding Software Testability
__ Tutorial 7: Legacy System Reengineering
ICSM'96 Conference (only) registration: November 5-8, 1996
Advance (Until 10/4/96) Late/On Site (After 10/4/96)
__ Member: $350 __ Member: $420
__ Nonmember: $440 __ Nonmember: $530
__ Student: $100 __ Student: $120
The International Workshop on Empirical Studies of Software Maintenance
Friday, November 8, 1996
Advance (Until 10/4/96) Late/On Site (After 10/4/96)
__ Member: $100 __ Member: $120
__ Nonmember: $125 __ Nonmember: $150
Please make all checks payable to: IEEE Computer Society
All checks must be in U.S. Dollars, drawn on U.S. Banks.
Method of Payment Accepted:
__Personal Check __Company Check __Traveler's Check __Visa
__Diners Club __Master Card __American Express
__Purchase Order (U.S. Organizations only: original copy must accompany
registration form)
Card Number______________________________Signature__________________________
Cardholder Name__________________________Expiration Date____________________
Registration fees include conference attendance, refreshment breaks, conference
reception at Monterey Bay Aquarium, one "Birds of a Feather" lunch, one copy
of the conference proceedings, and one copy of industry track slide
presentations for registrants (students and spouses of registrants may purchase
tickets for meals and other events on site). Workshop registration fees
include refreshment breaks, one lunch, and one copy of the workshop proceedings.
Tutorial registration fees include refreshment breaks and notes; full-day
tutorial registration fees also include lunch. We reserve the right to
cancel a tutorial due to insufficient participation or other unforeseeable
problems.
Written requests for refund must be received in the IEEE Computer Society
office no later than Friday, October 4, 1996. Refunds are subject to a $50
processing fee. All no-show registrations will be billed in full. Students
are required to show current picture ID cards at the time of registration.
Registrations after Monday, October 21st will be accepted on-site only.
Send this registration form to: ICSM'96 Registration
IEEE Computer Society
1730 Massachusetts Ave. N.W.
Washington DC 20036-1992
Fax (202)728-0884 For information call (202)371-1013.
CONFERENCE LOCATION
The conference will be held at the Doubletree Hotel, in Monterey, California,
USA. The hotel is located at Fisherman's Wharf and overlooks Monterey Bay.
TRANSPORTATION
Fly any major airline to San Francisco or Los Angeles. Then take a commuter
flight to Monterey (satellites of major airlines). Take a taxi to the
Doubletree Hotel at Fisherman's Wharf (4 miles) or rent a car at the airport.
HOTEL RESERVATIONS
Doubletree Inn Hotel, 2 Portola Plaza, Monterey, CA 93940
Conference Rate: $99+tax
Phone: 408-649-4511
Fax: 408-649-4115
Room reservations should be made under the name IEEE Conference in order to
secure the group rates given above. The group rates are valid during November
2-10, 1996. Please make your reservations early to obtain rooms at these
hotels; the block reservations may be released as early as October 4th, 1996.
----------------------------------------------------------------------------
1996 International Conference on Software Maintenance
Monterey, CA November 4-8, 1996
ICSM'96 provides an effective forum for discussing software maintenance and
modernization through refereed papers, experience reports, panel sessions,
exhibits, and informal meetings. ICSM'96 presents the most important
practical, experimental, and theoretical work currently conducted to
support software maintenance. Participants include practitioners and
researchers from industry, academia, and government.
The Workshop on Software Maintenance held in Monterey, California in 1983
marked the first in a series of software maintenance conferences that have
evolved into the International Conference on Software Maintenance (ICSM).
ICSM is recognized as the world's premier forum for state-of-the-art
developments in the field of software maintenance. In returning to Monterey
in 1996, it is only appropriate to examine developments in software
maintenance over the past thirteen years and to assess the extent to which
these developments have added value to software products and processes.
ICSM'96 THEME: SOFTWARE MODERNIZATION
Software modernization is a key area where software maintenance technology
is making an impact today. Whether it involves moving from an old platform
to a new, migrating stovepipe systems into an integrated architecture, or
renovating an aging software system to be more responsive to change,
software modernization involves modifying existing systems to suite their
ever-changing environments. Software modernization is increasingly becoming
a key activity as software organizations attempt to contain maintenance costs
and maximize investments in their software assets.
This conference examines how software maintenance as a discipline has evolved
to handle more effectively software modernization since 1983. Software
maintenance in 1983 focused on programming-in-the-small (changes to modules)
while in the 1990's it has turned toward programming-in-the-large (changes to
architecture). The conference will include: tutorials, paper and panel
sessions, an industry track, tools fair, and a workshop on empirical studies in
software maintenance.
----------------------- Conference at a Glance -----------------------------
Monday, November 4th, 1996
8:00-9:00 Continental Breakfast
9:00-12:30 Tutorial 1 Tutorial 2 Tutorial 3
12:15-1:30 Lunch (provided)
1:30-5:00 Tutorial 1 Tutorial 2 Tutorial 3
Tuesday, November 5th, 1996
8:00-9:00 Continental Breakfast
9:00-12:30 Tutorial 4 Tutorial 5
12:15-1:30 Lunch (provided)
1:30-5:00 Tutorial 6 Tutorial 7
5:30-8:30 *** Tools Fair with pizza and refreshments ***
Informal Reception held in Tools Fair Room (Portola Room)
Wednesday, November 6th, 1996
8:00-9:00 Continental Breakfast
9:00-10:30 Session 1: Keynote Speaker - Ted Keller, Lockheed-Martin Space
Information Systems, USA
"What does it cost to make that change?"
10:30-11:00 Break
11:00-12:30 Session 2A: Papers Session 2B: Panel
Modernizing Legacy How much has SW Maintenance
Systems changed since 1983?
Chair: Norman Schneidewind
12:30-2:00 Lunch (provided - "Birds of a Feather" session)
Speaker: Peter de Jager, Sponsored by Data Dimensions, Inc.
"Preparing for the Year 2000"
2:00-3:30 Session 3A: Papers Session 3B: Papers
Impact Analysis of Measuring Maintainability
Software Changes
3:30-4:00 Break
4:00-5:30 Session 4A: Papers Session 4B: Panel
Specifing and Using Examining Year 2000 Date Challenges
Tools from the Maintenance Perspective
Chair: Shawn Bohner
* 9:00-4:00 *** Tools Fair ***
* 7:00-10:00 Special Event: A Night at the Monterey Bay Aquarium and
Strolling Dinner provided to ICSM'96 attendees
Thursday, November 7th, 1996
8:00-9:00 Continental Breakfast
9:00-10:30 Session 5: Keynote Speaker - Lloyd K. Mosemann, II, Former Deputy
Assistant Secretary of the Air Force, USA
"Software Maintenance: Myth orMagic"
10:30-11:00 Break
11:00-12:30 Session 6: Industry Track
Chair: Ted Keller
12:30-2:00 Lunch
2:00-3:30 Session 7A: Papers Session 7B: Papers
Understanding the Migrating to Object-Oriented
Maintenance Process Systems
3:30-4:00 Break
4:00-5:30 Session 8A: Papers Session 8B: Papers
Modeling Software Reusing Software
Maintenance Practice during Maintenance
* 9:00-5:00 *** Tools Fair ***
* 5:30-6:30 Open ICSM Steering Committee meeting
Friday, November 8th, 1996
8:00-9:00 Continental Breakfast
9:00-10:30 Session 9A: Papers Session 9B: Papers
Reverse Engineering 1 Documenting
for Maintenance
10:30-11:00 Break
11:00-12:30 Session 10A: Papers Session 10B: Papers Session 10C: Panel
Reverse Engineer 2 Analyzing Code SoftwareMaintenance 2005
Chairs: Keith Bennett
Malcolm Munro
12:30-2:00 Lunch
2:00-5:30 Working Conference on Reverse Engineering:
Keynote Speaker and Sessions
Chaired by: Elliot Chikofsky, Linda Wills, and Ira Baxter
* 8:30-5:30 Full-Day Workshop on Empirical Studies of Software Maintenance
Chaired by: Lionel Briand
TUTORIALS: November 4-5, 1996
Tutorial 1: A Methodology for Software Quality Metrics for Maintenance
by Dr. Norman Schneidewind, Naval Postgraduate School
Tutorial 2: The Technology of Software Change
by Nicholas Zvegintzov, Software Management Network
Tutorial 3: Comprehension and Evolution of Legacy Software
by Vaclav Rajlich, Wayne State University
Tutorial 4: Using Program Decompositions in Software Maintenance
by Keith Gallagher, Loyola College
Tutorial 5: Alternative Approaches to Software Maintenance Tasks
by David Notkin, University of Washington
Gail Murphy, University of British Columbia
Tutorial 6: Understanding Software Testability
by Jeff Voas, Reliable Software Technologies (RST)
Tutorial 7: Legacy System Reengineering
by Scott Tilley and Dennis Smith, Software Engineering Institute
-----------------------------SESSIONS-------------------------------------
Session 1:
Keynote Speaker: Ted Keller, Lockheed-Martin
Title: "What does it cost to make that change?"
Chair: Norman Schneidewind, Naval Postgraduate School, USA
Session 2A: Modernizing Legacy Systems
Chair: Elliot Chikofsky, DMR Group, USA
Identifying Objects in Legacy Fortran Code: A Reverse Engineering Method
Eric Byrne, Gokul Subramaniam
Restructuring Sequential Fortran Code into a Parallel/Distributed Application
C. T. H. Everaars, F. Arbab,F. J. Burger
Recovering the Structure of Software Systems Using Tube Graph
Interconnection Clustering
Spiros Mancoridis, Richard C. Holt
Session 2B: How much has SW Maintenance changed since 1983?
Chair: Norman Schneidewind, Naval Postgraduate School, USA
Panelists: Ted Keller, Lockheed-Martin
Ned Chapin, InfoSci Inc., USA
Tom Pigoski, Technical Software Services, USA
Norm Schneidewind, Naval Postgraduate School, USA
Nicholas Zvegintzov, Software Management Network, USA
Session 3A: Impact Analysis of Software Changes
Chair: Norman Wilde, University of West Florida, USA
Impact Analysis in the Software Change Process:
A Year 2000 Perspective
Shawn A. Bohner
Visual Impact Analysis
Keith B. Gallagher
Assessing the Impact of Changes at the Architectural Level:
A Cast Study on Graphical Debuggers
D. Scott McCrickard, Gregory D. Abowd
Session 3B: Measuring Maintainability
Chair: Taghi M. Khoshgoftaar, Florida Atlantic University, USA
Detection of Fault-Prone Software Modules During a Spiral Life Cycle
Taghi Khoshgoftaar, Edward B. Alleln, Robert Halstead, Gary P. Trio
The Effect of Interface Complexity on Program Error Density
Ryouei Takahashi, Yukihiro Nakamura
Maintainability as Key Factor in Maintenance Productivity: A Case Study
Manuel J. Barranco Garcia, Juan Carlos Granja Alvarez
Session 4A: Specifying and Using Tools
Chair: Tom Pigoski, Technical Software Services, USA
Specifying Code Analysis Tools
G. Canfora, A. Cimitile, A. De Lucia
Software Error Classification Using Purify
Howard D. Owens, Baxter F. Womack, Mario J. Gonzalez
Omega-An Integrated Environment for C++ Program Maintenance
Wei-Tek Tsai, Xiaoping Chen, Hai Huang, Mustafa Pponawala, Sanjai Rayadurgam,
Yamin Wang
Session 4B: Examining Year 2000 Date Challenges from the Maintenance
Perspective
Chair: Shawn A. Bohner, Mitretek Systems, USA
Panelists: Thomas Backman, The MITRE Corporation, USA
Elliot Chikofsky, DMR Group, USA
Peter de Jager, Sponsored by Data Dimensions, Inc., USA
Nicholas Zvegintzov, Software Management Network, USA
Session 5:
Keynote Speaker: Lloyd K. Mosemann, II,
Former Deputy Assistant Secretary of the Air Force
Title: "Software Maintenance: Myth or Magic"
Chair: Norman Schneidewind, Naval Postgraduate School, USA
Session 6:
Industry Track:
Chair: Ted Keller, Lockheed-Martin Space Information Systems, USA
Session 7A: Understanding the Maintenance Process
Chair: Mike Schrank, The MITRE Corporation, USA
The Non-Homogeneous Maintenance Periods: A Case Study of Software Modifications
David Gefen, Scott L. Schneberger
Maintenance in a Dual-Lifecycle Software Engineering Process
D. Eichmann, M. Weisskopf, C. W. Irving, C. W. McKay, C. Atkinson
Measurements for Managing Software Maintenance
George Stark
Session 7B: Migrating to Object-Oriented Systems
Chair: Malcom Slovin, Computer Sciences Corporation, USA
A Design Environment for Migrating Relational to Object Oriented Database
Systems
J. Jahnke, W. Schafer, A. Zundorf
Algorithmic Analysis of the Impact of Changes to Object-Oriented Software
Li Li, A. Jeff Offutt
Discovering a System Modernization Decision Framework: A Case Study in
Migrating to Distributed Object Technology
Kurt C. Wallnau, Paul C. Clements, Evan Wallace
Session 8A: Modeling Software Maintenance Practice
Chair: Walcelio L. Melo, CRIM, Canada
A Study of the Effects of Software Development Practices on Software
Maintenance Effort
Sandra A. Slaughter, Rajiv D. Banker
A Formal Method to Software Maintenance
Hongji Yang, William Chu, Paul Luker
Modelling the Maintenance Process at Zurich Life Insurance
Harry M. Sneed
Session 8B: Reusing Software during Maintenance
Chair: Paul Layzell, UMIST, UK
An Agent-Based Approach to Rapid Software Evolution Based on a Domain Model
S. Glover, K. H. Bennett
Analysing Large COBOL Programs: The Extraction of Reuseable Modules
E.L. Burd, M. Munro, C. Wezeman
Automatic Detection of Function Clones in a Software System Using Metrics
Jean Mayrand, Claude Leblanc, Ettore M. Merlo
Session 9A: Reverse Engineering 1
Chair: Hausi Mueller, University of Victoria, Canada
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis
E.J. Younger, Z. Luo, K.H. Bennett, T.M. Bull
Integration of Informal and Formal Methods for the Reverse Engineering of C
Programs
Betty H. C. Cheng, Gerald C. Gannod
Evaluation of a Knowledge-Based Approach to Program Understanding
Salwa K. Abd-El-Hafiz
Session 9B: Documenting for Maintenance
Chair: Scott L. Schneberger, Georgia State University, USA
A Documentation Suite for Maintenance Programmers
Frank A. Cioch, Scott Lohrer
VIFOR 2: A Tool for Browsing and Documentation
Vaclav Rajlich, Sridhar Adnapaly
Maintenance and Abstraction of Program Data Using Formal Transformations
R.E. Mortimer, K.H. Bennett
Session 10A: Reverse Engineering 2
Chair: Mariam Kamkar, Linkping University, Sweden
Early Field Experience with the Software Reconnaissance Technique for
Program Comprehension
Norman Wilde, Christopher Casey
A Cliche' Based Environment to Support Architectural Reverse Engineering
R. Fiutem, P. Tonella, G. Antoniol, E. Merlo
Preprocessors from an Abstract Point of View
Jean-Marie Favre
Session 10B: Analyzing Code
Chair: Gerardo Canfora, University of Salerno, Italy
Binary Translation: Static, Dynamic, Retargetable?
Cristina Cifuentes, Vishv Malhotra
Regression Testing of GUI Even Interactions
Lee J. White
Semi-Automatic Update of Applications in Response to Library Changes
David Notkin, Kingsum Chow
Session 10C: Software Maintenance 2005
Chair: Keith Bennett, University of Durham, UK
Panelists: Mr. Malcolm Munro, University of Durham, UK
Prof. Paul Layzell, UMIST, UK
Mr. David Griffiths,British Telecom Laboratories, UK
Dr. O. Pearl Brereton, University of Keele, UK
ICSM'96 is held in conjunction with the 1996 Working Conference on Reverse
Engineering (WCRE). WCRE will follow ICSM'96 starting the afternoon sessions
International Workshop on Empirical Studies of Software Maintenance
Chair: Lionel Briand, Fraunhofer IESE, Germany
November 8, 8.30 am till 5.30 pm
Web site: http://www.iese.fhg.de/Announcements/wess.html
ICSM'96 Sponsors:
IEEE Computer Society -- Technical Council on Software Engineering
The Institute of Electrical and Electronics Engineers, Inc.
In Cooperation With:
Centre de Recherche Informatique de Montreal (CRIM)
Fraunhofer Institute for Experimental Software Engineering (IESE)
Mitretek Systems
NASA Johnson Space Flight Center, Space Shuttle Software Division
Naval Postgraduate School
ICSM'96 is held in conjunction with the 1996 Working Conference on Reverse
Engineering (WCRE).
CONFERENCE COMMITTEE
GENERAL CHAIR
Norman Schneidewind, Naval Postgraduate School, USA
PROGRAM CO-CHAIR PROGRAM CO-CHAIRS
Shawn A. Bohner, Mitretek Systems, USA
Aniello Cimitile, University of Naples, Italy
INDUSTRY TRACK CHAIR:
Ted Keller, Lockheed-Martin Space Information Systems, USA
INDUSTRY LIAISONS:
Loredana Mancini, O.Group - Olivetti Information Services, Italy
Keith Bennett, University of Durham, UK
Rajko Milovanovic, British Telcom, UK
TOOLS CO-CHAIRS:
Bill Farr, Naval Surface Weapons Center, USA
Nazim Madhavji, McGill University, Canada
PUBLICITY CHAIR:
Lionel Briand, Fraunhofer IESE, Germany
TUTORIAL CO-CHAIRS
Taghi Khoshgoftaar, Florida Atlantic University, USA
Keith Bennett, University of Durham, UK
LOCAL ARRANGEMENTS CHAIR:
Allen Nikora, Jet Propulsion Laboratory, USA
PROGRAM COMMITTEE MEMBERS:
Keith Bennett, University of Durham, UK
Noureddine Belkhatir, LSR IMAG, France
Paolo Benedusi, CRIAI, Italy
Shawn Bohner, Mitretek Systems, USA
Lionel Briand, Fraunhofer IESE, Germany
Gianluigi Caldiera, University of Maryland at College Park, USA
Gerardo Canfora, University of Salerno, Italy
Ned Chapin, InfoSci Inc., USA
Elliot Chikofsky, DMR Group, USA
Aniello Cimitile, University of Naples, Italy
James H. Cross II, Auburn University, USA
William H. Farr, Naval Surface Warfare Center, USA
Keith Brian Gallagher, Loyola College, USA
Giuseppe Visaggio, Universita' degli Studi di Bari, Italy
Shawna C. Gregory, Mitretek Systems, USA
Mary Jean Harrold, The Ohio State University, USA
Mariam Kamkor, Linkping University, Sweden
Pasi Kavaja, University of Oulu, Finland
Rudolf K. Keller, University of Montreal, Canada
Ted Keller, Lockheed-Martin, USA
Taghi Khoshgoftaar, Florida Atlantic University, USA
Paul Layzell, UMIST, UK
Nazim H. Madhavji, McGill University, Canada
Loredana Mancini, O.Group, Italy
Walcelio L. Melo, CRIM, Canada
Ettore Merlo, Ecole Polytechnique of Montreal, Canada
Rajko Milovanovic, British Telecom, UK
Hausi Mueller, University of Victoria, Canada
Malcolm Munro, Centre for Software Maintenance, UK
John C. Munson, University of Idaho, USA
Allen Nikora, Jet Propulsion Laboratory, USA
Thomas M. Pigoski, Technical Software Services, USA
Stephen R. Rainier, Mitretek Systems, USA
Vaclav Rajlich, Wayne State University, USA
Spencer Rugaber Georgia Institute of Technology, USA
Scott L. Schneberger, Georgia State University, USA
Norman Schneidewind, Naval Postgraduate School, USA
Mike Schrank, MITRE Corporation, USA
Malcom Slovin, Computer Sciences Corporation, USA
Paul G. Sorenson, University of Alberta, Canada
George Stark, MITRE Corporation, USA
Prof. Ugo De Carlini, University of Naples, Italy
Bradford Ulery, Mitretek Systems, USA
Norman Wilde, University of West Florida, USA
Hongji Yang, De Montfort University, UK
Nicholas Zvegintzov, Software Maintenance News, USA
*********************************************************************
[14]
From: c.ncube@soi.city.ac.uk (Cornelius Ncube)
Subject: QUESTIONNAIRE: Procurement of Requirements Engineering Methods/Tools
INFORMAL REQUEST FOR CONSIDERATION
PROCUREMENT OF REQUIREMENTS ENGINEERING METHODS/TOOLS
Date of Issue: 7th October 1996
BACKGROUND
The Centre for HCI Design, City University London, is currently undertaking
an assessment of commercially-available methods and tools intended to
support the acquisition, modelling, validation and management of system
requirements, with an emphasis on requirements for software-intensive
systems. Methods and tools oriented towards system procurement are of
particular interest.
The Centre is undertaking this assessment as part of a commerical exercise.
A large client is looking for new methods and tools to aid the
determination of requirements for a large software-intensive system. The
Centre's role is to recommend one or more such methods and tools to this
client in accordance with the needs of the client.
REQUIREMENTS
The current technical specification for the required methods and tools is
quite broad, in keeping with the current and broad nature of the assessment
task. The client desires commercial methods and tools which shall, at
least:
* enable and assist active guidance for the acquisition and
definition of system requirements represented in text and diagrammatic
form;
* enable and assist the capture and modelling of system elements and
structure, again in text and graphical form;
* enable and assist elaboration of system requirements, with emphasis
on definition of dependencies between the system requirements themselves,
and between requirements and system elements;
* pre- and post-requirements traceability, including trace analysis
and requirements verification to check whether each requirements has been
met;
* configuration management and version control, in particular to
record and manage changing requirements;
* provide requirements and system element repositories to enable
requirements reuse within and across projects;
* provide for an integrated system through interfaces to other
software tools for, for example, code generation, requirements/system
element acquisition, and data base access;
* provide support and maintenance, including warranties, possible
network license policies, maintenance and upgrade policies and training
time.
TO BE CONSIDERED
If you wish your requirements engineering method and/or tool to be included
in this initial assessment then please contact:
Cornelius Ncube
Centre for HCI Design
City University
Northampton Square
London, EC1V OHB
E-mail: c.ncube@soi.city.ac.uk
All requirements methods and tools will be considered. A short list of
possible methods/tools will then be compiled and a second, more detailed
assessment will be undertaken. Please send all information which you
consider pertinent to the assessment. System demonstrations and short site
visits will be considered at this stage.
DEADLINE FOR CONSIDERATION
All expressions of consideration should reach Cornelius Ncube by 17.00hrs,
Monday 28th October 1996.
**********************[That's all folks!]*****************************