****************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!]*****************************