****************REQUIREMENTS ENGINEERING NEWSLETTER******************** No. 33. Contents 1. Message from the Moderator! (Anthony Finkelstein) 2. KBSE R&D at GTE Labs (Sol Greenspan) 3. CFP: Z Users Meeting and Educational Issues Session (David Till) 4. CFP: CASE'95 (Hausi Muller) 5. New Reports from Lancaster Univ, UK, Computing Dept (Annie I. Anton) 6. CFP: ACM SIGSOFT '95 (Annie I. Anton) 7. CAiSE-95 CfC (Matti Rossi) 8. 6th European Workshop on Next Generation of CASE Tools (George Grosz) 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: re-list@doc.ic.ac.uk (will be moderated). Subscription or Removal requests should be sent to: re-request@doc.ic.ac.uk Back issues can be obtained via anonymous ftp from ftp-host: dse.doc.ic.ac.uk (IP number: 146.169.2.20). Directory: requirements. Files are called renl1, renl2, etc. If you cannot use ftp then you can get any back issues using email. Send email containing the following to ftpmail@doc.ic.ac.uk open dse.doc.ic.ac.uk cd requirements get quit The Requirements Engineering Newsletter and its archive is also accessible through WWW. The URL is: http://web.doc.ic.ac.uk/req-eng/index.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 ftp archive to be linked to the RE Newsletter archive please inform me. If you are unfamiliar with WWW you may wish to obtain a copy of the Mosaic public domain internet browser which is available for X-Windows, Macintosh or Microsoft Windows. The RE Newsletter can be conveniently accessed through the Imperial College, Department of Computing, United Kingdom, WWW Home Page (http://www.doc.ic.ac.uk/). Requirements Engineering Newsletter is published solely as an educational service. Copyright (c) 1994, Anthony Finkelstein; All Rights Reserved. ********************************************************************** From: acwf@cs.city.ac.uk (Anthony Finkelstein) Subject: Message from the Moderator! I am sorry for the long delay in producing this newsletter which is due to my move. I hope that from now on I will be able to get them out regularly. ********************************************************************** From: greenspan@gte.com (Sol J. Greenspan) Subject: KBSE R&D at GTE Labs KBSE R&D at GTE Labs NOTE: This posting replaces an earlier posting. The earlier posting indicated a parttime position with possibility of extension. The position is now FULLTIME. A full-time, permanent position at GTE LABS, the central research facility of the GTE Corporation. Located in Waltham, MA. The employee will work with the existing staff of the Requirements Engineering project, whose objective is to perform state-of-the-art research and to transfer technology to the business units. The job will involve design, development and deployment of proof-of-concept prototypes involving significant use of AI techniques. The position requires superior implementation skills as well as superior knowledge of AI problem-solving techniques. Background in knowledge-based software engineering (KBSE), Requirements Engineering and other Software Engineering subjects is strongly desired. MS in Computer Science required, Ph.D. preferred, with several years of R&D experience in relevant fields. Replies should emphasize proven experience in the fields of Requirements Engineering and/or KBSE, and a demonstrated record of seeing projects through to completion with successful results. Please note the emphasis on implementation skills in addition to the other job requirements. GTE Laboratories is the central research facility that supports GTE's business units. It is located in Waltham, Massachusetts and is an equal opportunity employer, M/F/D/V. Please send resume (e-mail preferred) to: Sol Greenspan GTE Laboratories Incorporated 40 Sylvan Road Waltham, MA 02254 e-mail: greenspan@gte.com fax: (617) 890-9320 (plaintext, postscript, or BinHex'd MS Word are okay) ********************************************************************** Subject: CFP: Z Users Meeting and Educational Issues Session From: David Till Notice of Conference and Call for Papers ZUM'95 9th International Conference of Z Users Organized by the Z User Group Sponsored by BT, Forbairt, Praxis and University of Limerick Supported by BCS FACS and ESPRIT ProCoS-WG 7--8th September 1995 University of Limerick, Ireland The 9th International Conference of Z Users (ZUM'95) will be held at University of Limerick in the West of Ireland in September 1995. The conference is being held outside the UK for the first time. Limerick (Shannon Airport) is easily reached by air, with several flights per day from London (Heathrow), Leeds/Bradford and Manchester, and direct flights from major cities in Europe and the US. The programme committee invites authors to submit papers on or related to the Z family of formal specification languages and notations (including Z, object-oriented and real-time variants, B AMN, etc.), in particular, and formal methods in general, for presentation and inclusion in the published Proceedings to be distributed at the meeting. Case studies and industrial usage reports are particularly welcome. The conference will also include: * Tool demonstrations * Exhibitions by publishers * Posters or leaflets Associated tutorials will be held immediately before or after the conference if appropriate proposals are submitted; tutorial proposals should be submitted to the Tutorial Chair by the paper submission deadline. The following invited speakers will give presentations as part of the main sessions of the conference: - Dr. Jean-Raymond Abrial, Consultant, France (to be confirmed) - Prof. David Lorge Parnas, McMaster University, Canada - Dr. John Rushby, SRI International, USA - Prof. Jeannette M. Wing, Carnegie Mellon University, USA The conference dinner will be held at historic Dromoland Castle. Submission Guidelines --------------------- Authors should submit four (4) copies of papers not exceeding 20 pages in length (minimum 11pt, single-line spacing), to arrive not later than 9th December 1994 to: Mike Hinchey (Programme Chair, ZUM'95) University of Cambridge Computer Laboratory New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK. Email: Mike.Hinchey@cl.cam.ac.uk Tel: +44-1223-334419 (secretary 334656) Fax: +44-1223-334678 Industrial contributors may submit extended abstracts, which need not necessarily conform to the requirements of a full paper. Please include full contact information, telephone and fax numbers, and electronic mail address (if available), and in the case of multiple authors, indicate the corresponding author. Papers for presentation and publication will be reviewed and selected by the programme committee. Proposals for tutorials, tool demonstrations, publishers' stands, etc., should be sent to: Norah Power (Tutorial Chair & Local Organizer, ZUM'95) Dept. of Computer Science & Information Systems University of Limerick, Plassey Technological Park, Limerick, Ireland. Email: powern@ul.ie Tel: +353-61-333644 ext 5181 Fax: +353-61-330876 The timetable for submitted papers is as follows: Submission of draft paper: 9th December 1994 Notification of acceptance: 10th February 1995 Final copy for Proceedings: 28th April 1995 Z User Meeting in Limerick: 7--8th September 1995 Educational Issues Session -------------------------- Following a successful session on educational issues relating to formal methods at ZUM'94, a further session is planned as part of ZUM'95. Full papers on educational issues of formal methods, in general, and Z in particular, which may also be published in the proceedings of ZUM'95 should be sent to the Programme Chair, following the submission guidelines set out for full papers, and clearly marked for consideration for the Educational Issues session. Position statements (5 pages or less), and posters (with one or two-page abstracts) on education and formal methods, in both academia and industry, are also solicited for presentation at the educational issues session, and for inclusion in the informal proceedings to be distributed at the session. Such contributions should be sent by 12 May 1995 to the session organizer, from whom further details are available: Neville Dean (ZUGEIS Organizer) Anglia Polytechnic University Applied Sciences, East Road, Cambridge CB1 1PT, UK Email: cdean@va.anglia.ac.uk Tel: +44-1223-63271~ext~2329 Fax: +44-1223-352979 It may prove possible to publish revised versions of selected papers and abstracts in a more formal manner at a later date. A separate mailing list related to the meeting, and acting as a forum for educators and others to discuss related areas, is available. To subscribe, send e-mail to {\tt zugeis-request@comlab.ox.ac.uk} including your name and address and a brief statement of your interests. Further Information ------------------- General enquiries about the conference and the Z User Group may be directed to: Jonathan Bowen (Conference Chair, ZUM'95) Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. Email: Jonathan.Bowen@comlab.ox.ac.uk Tel: +44-1865-283512 (secretary 283521) Fax: +44-1865-273839 Programme Committee ------------------- Jonathan Bowen, Oxford University, UK Stephen Brien, Oxford University, UK Elspeth Cusack, BT, UK Neville Dean, Anglia Polytechnic Univ., UK David Garlan, Carnegie Mellon Univ., USA Howard Haughton, JP Morgan, UK Ian Hayes, Univ. of Queensland, Australia Mike Hinchey, New Jersey Institute of Technology, USA Trevor King, Praxis, UK Kevin Lano, Imperial College, London, UK Norah Power, Univ. of Limerick, Ireland Gordon Rose, Univ. of Queensland, Australia Chris Sennett, DRA Malvern, UK David Till, City University, London, UK Sam Valentine, University of Brighton, UK Jim Woodcock, Oxford University, UK ********************************************************************** From: hausi@csr.uvic.ca (Hausi Muller) Subject: CFP: CASE'95 CALL FOR PAPERS CASE '95 SEVENTH INTERNATIONAL WORKSHOP ON COMPUTER-AIDED SOFTWARE ENGINEERING Toronto, Ontario, Canada July 9-14, 1995 Sponsored by International Workshop on CASE, Inc. IEEE Computer Society's Technical Council on Software Engineering The Institute of Electrical and Electronics Engineers, Inc. Evolutionary Engineering of Systems and Software Software and systems development, management, and evolution will undergo dramatic change in the last half of the 1990s. The growing reliance on client/server architectures, the growth of industrial- strength object-oriented techniques, advances in systems engineering automation, the emergence of powerful repository capabilities, multimedia opportunities, and other factors are already having profound impact on the way systems are designed and implemented. CASE methods, techniques, tools, and environments are evolving to meet these many new needs. Indeed, the CASE in 1995 is far different from the CASE of the late 1980s. Now that CASE is past its initial marketplace boom and bust cycle, attention is turning to the value of CASE technology and the CASE approach for the long term in systems and software engineering. CASE '95 is the premier conference and working meeting of the CASE field. It is the crossroads of practitioners and researchers from industry, academia, and government. Workshops, refereed papers, presentations, tutorials, and working meetings explore and report on the most important practical, applied, experimental, and theoretical work currently conducted in the CASE field for systems and software evolution. Major Topics include, but are not limited to: (a) CASE for systems engineering and evolutionary development: business process reengineering, system and software reengineering, reverse engineering, design recovery, reengineering methodologies, reusability, domain modeling, reengineering economics, program analysis and understanding, impact analysis, legacy systems; (b) Enabling technologies for CASE environments: architectures, integration mechanisms, software buses, distribution, client/server and distributed architectures, scripting languages, repositories, data interchange standards, user interface technologies, multimedia, groupware; (c) CASE adoption and technology transfer including standards, impact on productivity, quality, and reliability, success factors, management and economic issues, trends and directions, case studies of successful and unsuccessful usage of CASE tools; (d) Lifecycle Coverage and Methodology Support: software process improvement, object-oriented techniques and the evolution of development methods, requirements engineering, metrics and measurement technology, configuration and project management, formal methods, quality control. (e) Software Engineering Education: form and content of software engineering laboratories, the role of CASE tools, needs of the software industry, teaching software maintenance and evolution. Workshop structure CASE '95 seeks a broad perspective of the technical issues facing the CASE field. Feel free to suggest timely topics beyond the scope suggested here. Research quality papers are encouraged. Tutorials (full and half day), experience reports and panel session proposals are invited. CASE '95 workshops are topical discussion-oriented meetings, often half or full day, for detailed exploration of state- of-the-art issues as proposed by knowledgeable users, developers, and researchers. Exhibits will feature both research prototypes and commercial tools. CASE '95 also invites co-location of working group activities, standards bodies, and other technical meetings. Submissions Submit 5 copies of papers, experience reports, workshop, tutorial or panel proposals in English to one of the Program Co-Chairs by November 30, 1994. Notification of acceptance or rejection of all submissions will be made by March 15, 1995. The final papers will be due April 30, 1995. Submissions will be refereed by an international program committee for their applicability and relevance to the CASE community. For Papers submit 2000-5000 words, which have not been previously published and are not under consideration for publication elsewhere. Please include on the first page the title, all authors' names, complete contact information of the lead author (address, phone/fax numbers, e-mail), a short abstract of no more than 250 words, a list of descriptive keywords, and a specification of the type of submission (Research/ Experience). Research Papers will be evaluated for originality, significance, soundness, and clarity. Methodological papers should show how the results presented contribute to CASE practice. Papers on systems should concentrate on technical and architectural issues. Experimental papers should describe the experimental methods used and interpret the results in terms of practice. Experience Reports might include experiences with CASE technologies or processes (e.g., using a tool or a method, applying a metric, following a project management or software process discipline). Emphasize outcomes, insights gained, and lessons learned. Workshop Proposals should include a title, the proposed chair or co- chairs, the tentative list of invited speakers, proposed duration (half-day or full-day), a description of the the workshop subject, and a supporting rationale. Panel Proposals should include a title, the proposed chair, the tentative panelists, a brief description of the panel session subject, and a supporting rationale. Panelists should have agreed to participate before the submission of the proposal. Tutorials Proposals should address computer-aided software engineering topics that are of particular interest to practitioners. Proposals for full-day or half-day tutorials should include a detailed outline of the material, a description of past experience with the tutorial, an assessment of the materials' maturity, and credentials of the instructor. Submit 5 copies to the Tutorials Chair. Exhibits A tools fair proposal should include a 1-2 page description of the tool or environment, its applicability to computer-aided software engineering, an outline of the proposed demonstration, the amount of exhibit space required, hardware platform required, and any other requirements. Clearly identify the submission as "Research Prototype" or "Vendor Tool." Submit 3 copies by January 31, 1995 to the Tools Fair Chair. Conference Location. The conference will be held at the Toronto Hilton Hotel in downtown Toronto, 20 minutes from the Pearson International Airport and within walking distance from the Toronto waterfront, the theater district, the Toronto concert hall, the CN tower, and the Skydome (home of the Blue Jays). Toronto can be reached directly from many airports in the US and in Europe. ********************************************************************** Subject: New Reports from Lancaster Univ, UK, Computing Dept From: anton@cc.gatech.edu (Annie I. Anton) LANCASTER UNIVERSITY COMPUTING DEPARTMENT =========================================== TECHNICAL REPORTS ================= The following technical reports are available in the research areas of CSCW and Software Engineering. There is no charge for these reports. They are available by anonymous ftp from ftp.comp.lancs.ac.uk. The reports are listed by reference number in a sub-directory called reports inside the pub directory. If you are unable to obtain the reports in this way, please quote the reference number and contact Jacqui Forsyth, Computing Department, Lancaster University, Lancaster, LA1 4YR, UK. Telephone: (+44) 524 593041. Fax: (+44) 524 593608. Email: jacqui@comp.lancs.ac.uk. Centre for Research in CSCW ==================== Requirements Engineering for Cooperative Systems I. Sommerville and T. Rodden Abstract This paper addresses the problem of Tproduction-qualityU CSCW software development where software is developed from an agreed statement of the system requirements. In particular, we are concerned with ways in which requirements specifications for CSCW systems can be developed and with the integration of ethnography into traditional specification methods. Existing approaches to requirements engineering are briefly described as are our experiences of using ethnographic studies in systems requirements analysis. We suggest that existing requirements analysis methods and ethnography must both evolve to accommodate the strengths of the other approach to produce an effective and complete method of deriving cooperative system requirements. An investigation of the changes required to notations for system description and analysis methods is a long-term research goal. However, we suggest shorter-term results can be obtained by using integrated tools for ethnography and requirements capture. (Submitted to Collaborative Computing) (Ref: CSCW/1/94) ********************************************************************** Subject: CFP ACM SIGSOFT '95 From: anton@cc.gatech.edu (Annie I. Anton) CALL FOR PAPERS ACM SIGSOFT '95 The Third Symposium on the Foundations of Software Engineering (FSE3) Washington, DC 10-13 October 1995 Sponsored by ACM SIGSOFT (approval pending) The ACM SIGSOFT '95 Symposium on the Foundations of Software Engineering (FSE) is oriented towards software engineering research, and focuses on outstanding results that identify and contribute to the foundations of software engineering. Papers are solicited in all technical areas of software engineering (which includes the specification, design, implementation and evaluation of software systems), and are expected to report on new principles, methods and/or techniques with direct application to software engineering. Papers should clearly state the contribution and underlying assumptions, and must assess the results, making appropriate comparisons with and references to the literature. Papers will be judged on clarity, originality, correctness, significance and relevance. Papers must contain substantive ideas not previously published in or currently submitted to another forum (exceptions, such as expanded versions of work published or submitted only as short workshop papers, may be considered if the Program Chair is informed in advance). A special category, poster papers, will be considered if there is sufficient interest. Posters may present novel ideas that have not yet been proven, or alternatively may describe lessons learned building/using innovative systems. Student and industry posters are particularly encouraged. Posters will be judged primarily on the basis of immediate interest to the software engineering research community. Accepted posters will be scheduled for presentation in special session(s) at conference but will not be published in the proceedings. Full papers are limited to 6000 words with each full-page figure treated as 500 words. Poster papers are limited to 1500 words. Overly long submissions will be returned without review. Title, authors names and affiliations, an abstract of no more than 200 words, and 5-10 keywords must be RECEIVED by the Program Chair no later than February 21 (plain ascii by email preferred, NO FAX). Six copies of the paper or poster, preferably double-sided, must be RECEIVED by the Program Chair by March 7 (fedex preferred, NO EMAIL OR FAX). These are hard deadlines; submissions whose abstracts have not been received by February 21 will not be reviewed, and papers and posters arriving after March 7 will be discarded. Proceedings will be distributed at the symposium and as a special issue of ACM Software Engineering Notes. Papers of particular merit may be recommended for a major software engineering journal. IMPORTANT DATES 21 February 1995 abstract due to Program Chair 7 March 1995 5 copies of paper/poster due to Program Chair 9 May 1995 author notification mailed 23 June 1995 camera-ready and copyright release due Tutorials should address important topics in software engineering. Proposals should include: (1) a detailed outline of the material to be covered, (2) the background and experience of the instructor(s), and (3) the length of the tutorial (full or half day). Tutorials will be selected based on quality, relevance, expected appeal to prospective attendees, and credentials of instructor(s). Three paper copies or postscript (via email) must by RECEIVED BY the Tutorials Chair by March 7. General Chair John Gannon University of Maryland Computer Science Department College Park MD 20742 gannon@cs.umd.edu Program Chair Gail Kaiser Columbia University Department of Computer Science 500 West 120th Street New York NY 10027 fse@cs.columbia.edu Tutorials Chair Naser Barghouti AT&T Bell Laboratories 3D-552 600 Mountain Avenue Murray Hill, NJ 07974 naser@research.att.com ********************************************************************** From: mor@jytkoson2.jyu.fi (Matti Rossi) Subject: CAiSE-95 CfC (short) CALL FOR CONTRIBUTIONS * CAiSE*95 * * The 7th Conference on Advanced Information Systems Engineering * * * * 12-16 June 1995 Jyvaskyla, Finland * The full call for papers and in the future also program and organisation information is available by WWW at: http://www.jyu.fi/~mor by eMail at: caise95@jyu.fi * * * CALL FOR PAPERS * * * Please, send five copies of your paper (max 5000 words) to Juhani Iivari, Programme Chair for CAiSE*95. The exact word count (exclusive references) should be indicated on the title page. All papers will be blind refereed prior to acceptance. To facilitate the blind refereeing process, the authors' names and affiliations should appear only on a separate title page. Papers submitted must be original, and not submitted to or accepted by any other conference or journal. The language of the Conference is English. Accepted papers will be published in CAiSE*95 Proceedings in the Springer Lecture Notes in Computer Science Series. Proceedings are available at the conference site. The proceedings for CAiSE*94, CAiSE*93, CAiSE*92, CAiSE*91 and CAiSE*90 are also available in this series. The best papers of the conference will be submitted for a review to be published in a special issue of Information Systems by Pergamon Press. Important Dates: Deadline for Papers: 30 November 1994 Notification of acceptance: 1 February 1995 Camera-ready copy due: 1 March 1995 Conference dates: 12-16 June 1995 * * * IMPORTANT DATES * * * Deadline for workshop proposals : 30 October 1994 Deadline for papers : 30 November 1994 Deadline for panel proposals : 30 November 1994 Deadline for tutorial proposals : 30 November 1994 Deadline for poster descriptions: 1 March 1995 Workshop dates: 12-13 June 1995 Conference dates: 14-16 June 1995 Tutorial dates: 12-16 June 1995 If you have any further questions about the conference or its organization, please contact: Taru-Maija Heilala (local arrangements) University of Jyvaskyla Jyvaskyla Congresses P.O. Box 35 FIN-40351 Jyvaskyla, Finland Tel: 358-41-603663 Fax: 358-41-603621 e-mail: heilala@jyu.fi or Matti Rossi (programme) University of Jyvaskyla METAPHOR Project Department of Computer Science and Information Systems P.O. Box 35 FIN-40351 Jyvaskyla, Finland Tel: +358-41-603030 Fax: +358-41-603011 e-mail: mor@jyu.fi ********************************************************************** Subject: 6th European Workshop on Next Generation of CASE Tools From: grosz@masi.ibp.fr (George Grosz) CALL FOR PAPER AND PARTICIPATION 6th EUROPEAN WORKSHOP ON NEXT GENERATION OF CASE TOOLS 12 - 13 June 1995 Jyvaskyla, Finland Held in association with CAiSE*95 PURPOSE The Next Generation of CASE Tools (NGCT) workshop brings together leading researchers in Computer Aided System Engineering. The first five workshops held at Noorwijkerhout, Holland; Trondheim, Norway; Manchester, UK, Paris, France and Utrecht, The Netherlands. Each was attended by 25-30 researchers, and have laid the groundwork for continuing exchange and integration of research ideas in this area. The 6th workshop will consolidate and expand this exchange of ideas into active development of the agenda for CASE research. Attendance at the workshop will be limited to approximately 25 delegates to promote effective discussion and exchange of ideas in a small group. The programme has been arranged to encourage informal exchange of ideas. Every effort will be made to keep costs to a minimum. THEMES NGCT*95 invites contributions from both industry and academia, dealing with (but not limited to) the following topics: - Novel CASE architectures and repository technology - Product and process support in CASE - Method engineering - Meta-CASE environments - Intelligent CASE tools - Human Factors and Organisation issues - Computer Supported Cooperative Work - Impact of domain knowledge on CASE - AI influence on CASE - Reuse - Re-engineering Emphasis will be placed on novel techniques and approaches to CASE as well as on the demonstration of advanced research prototypes. WORKSHOP PROGRAMME NGCT*95 will adopt a presentation format and then a group format to stimulate development of ideas on focussed themes. Each participant will be asked to read two accepted papers before the workshop. Concerning the presentation format, each author will briefly present his work. The two readers will initiate an interactive discussion between authors and audience. Groups will be formed on the basis of the submitted paper. Each group will be composed of 4-5 participants and will address a specific area of interest. Two types of submission are invited: State of the art review papers, length not more than 5,000 words Position papers, length not more than 2,500 words. Papers will be refereed by three members of the workshop committee, and attendance at the workshop is conditional on acceptance of a paper. The authors of the state of the art review papers should give an overview of the work carried out in a specific field and present the results that constitute the state of the art in this field. Position papers are intended to describe experience and overview of results of a group's work in a particular field. Choice of these papers will depend on their academic merit and coverage of topics. All accepted papers will be published in the informal workshop proceedings supplied to delegates. It is intended to proceed to a formal published volume of edited proceedings after the workshop. INSTRUCTIONS FOR AUTHORS Send 4 copies of your submission by February 15th (arrival date) in camera ready format (Times 12 point, single spacing, at least 3 cm, margins on A4 paper) to : Georges GROSZ NGCT*95 University of Paris 1 - Sorbonne C.R.I. 17, rue de Tolbiac 75013 PARIS FRANCE phone : (33) 1 44 24 93 65 fax : (33) 1 45 86 76 66 email : grosz@masi.ibp.fr Please make sure that your submission includes in the first page full details for the contact person including, if possible, an email address. IMPORTANT DATES Submission deadline (camera ready format): 15th February 1995 Notification of acceptance: 1st April 1995 ORGANISATION Programme: Georges Grosz, France Local Organisation: Matti Rossi, Finland Workshop committee: Sjaak Brinkkemper, the Netherlands Jon Atle Gulla, Norway Terry Halpin, Australia Neil Maiden, United Kingdom Veli-Pekka Tahvanainen, Finland Naveen Prakash, India Babis Theodoulidis, United Kingdom Benkt Wangler, Sweden **********************************************************************