****************REQUIREMENTS ENGINEERING NEWSLETTER******************** No. 35. Contents 1. Message from the Moderator! (Anthony Finkelstein) 2. RE95 Web Page (Laurence Brooks) 3. Useful WWW pages (Anthony Finkelstein) 4. RE Journal (Peri Loucopoulos) 5. CERA Journal -1995 (Biren Prasad) 6. CfP of APSEC'95 (Motoshi Saeki) 7. IWSSD8 Call for Papers (Jeff Kramer) 8. ICRE 96 Call For Papers (Chandra Shekaran) 9. SRE mailing list (Didar Zowghi) 10. The reconstituted Systems Engineering List at think.net (Kent Palmer) 11. Activities of the BCS RE Specialist Group (Bashar Nuseibeh) 12. CESAW 95 Call for Papers (Michael Edwards) 13. WITS' 1995 Call for Papers - Announcement (Matthias Jarke) 14. WIFT'95 on WWW (Robert France) 15. Requirements Traceability (Joe Cotellessa) 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! Well this has been the most delayed issue so far, but here it is anyway! Many European recipients will understand the reason - I am assembling a Network of Excellence in Requirements Engineering for submission within the Framework 4 initiative. This is the lineal descendent of the European Laboratory without Walls discussed in back issues of this newsletter. A by-product of this work will be a guide to European RE research which we will make accessible through WWW. The growth in Internet services (lists and WWW sites) related to RE is quite startling. Several are announced below. I hope however that the newsletter will continue to act as the principle "RE community" focus and a high quality supplier of information. Suggestions for improvements and, of course, submissions are always welcome. The most exciting news in this newsletter is the new RE Journal - I wish Colin & Peri well and I urge all readers to subscribe and submit. The newsletter will be cooperating closely with the new Journal - distributing abstracts, calls and synopses. I hope to see most of you at RE95. To repeat my previous message - IF YOU ARE INTERESTED IN REQUIREMENTS ENGINEERING IT IS ESSENTIAL THAT YOU ATTEND! Anthony ********************************************************************** Subject: RE95 Web Page From: lsb@minster.york.ac.uk (Laurence Brooks) The advance programme and registration details for RE9 are available on WWW at: http://dcpu1.cs.york.ac.uk:6666/lsb/advprog.html Check it out! ********************************************************************** From: acwf@cs.city.ac.uk (Anthony Finkelstein) Subject: Useful WWW pages Technical Review Archive http://www.ics.hawaii.edu/~johnson/FTR/ Formal Methods http://www.comlab.ox.ac.uk/archive/formal-methods.html ********************************************************************** From: "Peri Loucopoulos" Subject: RE Journal REQUIREMENTS ENGINEERING JOURNAL The Requirements Engineering Journal, published by Springer-Verlag, will be launched in early 1996. Details of (a) 'Call for Papers', (b) 'Scope of the Journal', (c) 'Editorial Board' (d) 'Instructions to Authors' and (e) 'Subscription Order Form' are given below. This information is also available on the WWW. The WWW Pages for the Journal are available at: http://www.mac.co.umist.ac.uk/comp-isg/Requirements-Engineering/RE-Journal.html CALL FOR PAPERS Deadline for the first issue: 30th April 1995 Papers are sought in any of the areas described under 'Scope of Journal'. SCOPE OF JOURNAL The scope of the journal is to provide a focus for disseminating new results about the elicitation, representation and validation of requirements of software-intensive information systems or applications. Theoretical and applied submissions are welcome, but all submissions must explicitly address (i) the practical consequences of the ideas for the design of complex systems, and (ii) how the ideas should be evaluated by the reflective practitioner. The scope of the journal is motivated by a multi-disciplinary view that considers requirements not only in terms of software components specification but also in terms of activities for their elicitation, representation and agreement, carried out within an organisational and social context. To this end, contributions are sought from fields such as software engineering, information systems, occupational sociology, cognitive and organisational psychology, human-computer interaction, computer-supported co-operative work, lingusitics, and philosophy, for work addressing specifically requirements engineering issues. Specific topics will include, but are not restricted to: * Theories and models relevant to requirements engineering, in particular unifying fundamentals of requirements engineering techniques and corresponding tools and relationship of requirements engineering to related disciplines, such as structured development methods, system specification, and organisational computing. * Requirements representation formalisms, notations and languages, and refinement techniques for formalising or clarifying informal requirements. * Intersection of requirements engineering with business engineering: methods, tools and techniques for Business Process engineering, competitive advantage analysis and requirements definition. * Elicitation techniques including ethnography and social studies, task analysis, HCI approaches, user centred approaches, participatory design, facilitation techniques, cooperative requirements engineering. * Analysis of cultural, political and organisational factors that affect requirements engineering practice, and systematic evaluation of interventions in requirements engineering projects, organizational issues and politics in RE, teamwork and team management. * Architecture and functions of computer-based tools and environments for requirements engineering, usability of tools and techniques, intelligent tools and knowledge based techniques, groupware design,descriptions and/or reviews of various tools. * Scenarios, design rationales and argumentation based approaches. * The state of practice, including evaluations of different approaches in industrial-size projects, including papers on problems in requirements i.e. what went wrong in requirements projects. Papers addressing different application areas including, data-intensive systems, safety critical systems, distributed systems, Knowledge based systems, robotics, industrial process control, etc. are strongly encouraged. * Curriculum development for Requirements Engineering. * Comprehensive reviews of current research and practice that synthesise findings not customarily integrated in the same place, and reports describing the unifying vision of research underway at particular institutions/research groups, including annotated literature lists and short project descriptions of large group projects. * Comprehensive and authoritative tutorial papers. Submissions are welcomed from practitioners and researchers. EDITORS Peri Loucopoulos UMIST, Manchester, UK Colin Potts Georgia Institute of Technology, Atlanta, USA EDITORIAL BOARD Mack Alford, Alford Enterprises, USA Liam Bannon, University of Limerick, Ireland Dan Berry, Technion-Technical Institute of Technology, Israel Sjaak Brinkkemper, University of Twente, Netherlands Janis Bubenko, Royal Institute of Technology, Sweden Bob Champion, City University of Hong Kong, Hong Kong Panos Constantopoulos, University of Crete, Greece John Dobson, University of Newcastle, UK Eric Dubois, Universite de Namur, Belgium Ken Eason, Loughborough University of Technology, UK Martin Feather, Information Sciences Institute, USA Stephen Fickas, University of Oregon, USA Anthony Finkelstein, City University, UK Marcel Franckson, SEMA Group, France Sol Greenspan, GTE Laboratories Inc, USA Michael Jackson, MAJ Consulting Ltd, UK Matthias Jarke, RWTH Aachen, Germany Marina Jirotka, Oxford University, UK Morten Kyng, University of Aarhus, Denmark Julio Cesar Leite, Pontifica Universitade Catolica do Rio de Janeiro, Brazil Kalle Lyttinen, University of Jyvaskyla, Finland Linda McCalla, Texas Instruments, USA Linda Macaulay, UMIST, UK John McDermid, University of York, UK John Mylopoulos, University of Toronto, Canada Barbara Pernici, Politecnico di Milano, Italy Naveen Prakash, Delhi Institute of Technology, India Colette Rolland, Universite Paris 1, France Kevin Ryan, University of Limerick, Ireland Motoshi Saeki, Tokyo Institute of Technology, Japan Alistair Sutcliffe, City University, UK Arne Solvberg, NTH, The University of Trondheim, Norway Ian Sommerville, Lancaster University, UK Axel van Lamsweerde, Universite Catholique de Louvain, Belgium Tony Wasserman, Interactive Development Environments, USA Bob Wood, University of Salford, UK Pamela Zave, AT&T Bell Laboratories, USA INSTRUCTIONS FOR AUTHORS Original articles are invited and should be sent to the Editor: Professor P. Loucopoulos, Department of Computation, UMIST, P.O. Box 88, Manchester M60 1QD. Tel: +44 (0)161 200 3332 Fax: +44 (0)161 200 3364 E-mail: pl@sna.co.umist.ac.uk TERMS OF SUBMISSION Papers must be submitted to Requirements Engineering on the understanding that they have not been published elsewhere and are not currently under consideration by another journal. The main author is responsible for ensuring that the article has been seen and approved by all the other authors; the covering letter accompanying the manuscript should be signed by all the authors to this effect. It is the authors' responsibility to ensure that articles emanating from a particular institution are submitted with the approval of the necessary authority. The Editor retains the right to modify the style and length of a contribution (major changes being agreed with the main author) and to decide the time of publication. The original and two copies of the manuscript should be submitted, accompanied by three sets of illustrations, to aid refereeing. Authors should retain a copy of the paper as the Editor cannot accept responsibility for loss or damage. * The language of this journal is English. * Machine Readable Copy. To facilitate publication and reduce proof reading effort where possible papers will be typeset from an author-supplied machine readable version of the paper. The latter should be supplied only when a paper has been accepted for publication. The following standard formats can be handled by the Publisher - IBM PC, Apple Mac, LaTEX * Manuscripts should be typed double-spaced with wide margins, on one side of A4 (297 #180# 210 mm) paper and submitted in triplicate. There is no maximum length for contributions but authors should write concisely. The Journal will consider original research papers, which will be subject to peer review along conventional lines and expected to meet exacting standards of academic excellence. No manuscript or figures will be returned following publication. * The title should be brief, typed on a separate sheet and the author's name and address should be typed on the line below the title; the affiliation and address should follow on the next line. In the case of co-authors, respective addresses and affiliations should be clearly indicated. Correspondence, proofs and offprints will be sent to the first-named author, unless, otherwise indicated. * An abstract of no less than 100 and no more than 150 words should precede the body of the manuscript and should state the purposes of the study, its procedures, findings, and conclusions. This should be followed by up to 6 keywords to be used for indexing. * The paper should be reasonably subdivided into sections and, if necessary, subsections. * Mathematical symbols should be typewritten. Greek letters and unusual symbols should be identified separately in the margin. To minimise errors in typesetting mathe-matics, authors should include, on a separate sheet at the end of the paper, a list of the characters and symbols used and their meaning. Characters will normally be typeset in italic. If they are required to be set in any special font this should be stated next to each particular character (e.g. Fraktur, bold, script, sans serif). All equations should be numbered consecutively and the numbers should be placed in parentheses in the right-hand margin. * Halftone illustrations are to be restricted in number to the minimum necessary. Good, glossy bromide prints should accompany the manuscript and should not be attached to manuscript pages. Photographs should be unmounted. If words or numbers are to appear on a photograph, two prints should be sent, the lettering being clearly indicated on one print only. The figure number should be written clearly on the back of every illustration (using a soft pencil). Colour illustrations will be accepted only if the editor considers them necessary and the costs are borne by the author(s). * Original line drawings (not photocopies) should be of immediate reproducible quality. Drawings and lettering must be clear and of sufficient size to be legible when reduced for publication. If this is not possible the lettering should be provided on a separate overlay. * Figure legends should be typed on a separate sheet and placed at the end of the manuscript. The amount of lettering on a drawing should be reduced as far as possible by transferring it to the legend. * It is the author' responsibility to obtain written permission to quote material which has appeared in another publication. * Tables should be double-spaced on a separate sheet. Do not submit tables as photographs. Number tables consecutively in the order of their first citation in the text and supply a brief title for each. Give each column a short heading. Explanatory matter (e.g. abbreviations used) belongs in footnotes, not in the title. For footnote indicators use lower case letters (a, b, etc). * References. The accuracy of the references is the authors' responsibility. Inconsistencies between the reference list and text citations may lead to a delay in publication. Number references consecutively in the order in which they are first mentioned in the text. Identify citations of references in text, tables and legends using numbers in square brackets (e.g. "as discussed by Smith [9]"; "as discussed elsewhere [9,10]"). In the reference list use the style of the examples below. Journal titles are abbreviated. When there are seven or more authors list only the first three and "et al.". For example: Journal article: Lysenko V. Maslow AA. The effect of cooling on supersonic boundary layer stability. J Fluid Mech 1984; 147: 39-52 Book: Kinney GF, Graham KJ. Explosive shocks in air. 2nd edn. Springer, Berlin Heidelberg New York 1985 Chapter in a book (or paper in a proceedings): Huang HC, Hinton E. Lagragian and serendipity plate and shell elements through thick and thin. In: Hughes TJR, Hinton E (eds). Finite element methods for plate and shell structures. vol 1. Pineridge Press. Swansea. 1986. pp 46-61 References to unpublished manuscripts or personal communications are not acceptable. * Corrected proofs must be returned to the publisher within 48 hours of receipt to minimise the risk of the authors contribution having to be held over to a later issue. The publisher will do everything possible to ensure prompt publication. It will therefore be appreciated if manuscripts and illustrations conform from the outset to the style of the Journal. * Offprints. Twenty-five offpints of each paper will be provided free of charge. Prepaid additional copies may be purchased on an offprint order form which will accompany the proofs. * Reprints. Reprints of published articles can be purchased on request. A written quotation can be obtained from Springer-Verlag London Limited. ----------------------------------------------------------------------- SUBSCRIPTION ORDER FORM Requirements Engineering Journal 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. Name:___________________________ Address: _______________________ ________________________________ ________________________________ ________________________________ Date: __________________________ * Professional Society and Membership No: ___________________________ Please order from your bookseller or from: Springer-Verlag London Ltd. Sweetapple House Catteshall Road Godalming Surrey GU7 3DJ U.K. Telephone: +44-1-483-418 822 Fax: +44-1-483-415 151 email: postmaster@svl.co.uk ---------------------------------------------------------------------- ********************************************************************** From: BPRASAD@CMSA.gmr.com (Biren Prasad) Subject: CERA Journal -1995 Dear RE Newsletter readers: Subject: CONCURRENT ENGINEERING: RESEARCH & APPLICATIONS (CERA) -- International Journal -- Now published by Technomic Publishing Corp. based in Pennsylvania, USA We are pleased to inform you that CERA, which is now in third year of its successful publication, has moved to a NEW leadership. Since 1992, Academic Press, London office was publishing CERA. Starting January, 1995, Technomic Publishing Corporation based in USA has assumed (won) the right for its (CERA) continued publication (out of a total of four finalists). As in the past, CERA will continue to be the refereed archival quality publication. This journal fills a void for a very important and timely subject matter. "Concurrent Engineering" has been recognized for some time to be a major force behind achieving international competitive- ness, responsiveness and improving productivity. If you have worked in this area, we would like to seek your inputs in making this endeavor a success. We take this opportunity to ask you to submit your original contri- bution to CERA for possible publication. Please inform your friends and colleagues or write to me, who can contribute. If you are interested in: (a) Subscribing CERA Journal in 1995, or (b) Participating in our CERA Conference in Washington, August 1995, or (c) Becoming Members of CERA Institute/ISPE, or (d) Obtaining an electronic copy of CFP to CERA Journal, or (e) Getting instructions for submitting papers to CERA Journal, or (f) Participating as a Reviewer for CERA Journal, or (g) Getting an E-mail List of Papers Published in Volume I (1993) (h) Getting an E-mail List of Papers Published in Volume II (1994) Please, write to us indicating your interest. We will send you the required information. If you have further question, please do not hesitate to EMAIL a NOTE to me or at CERA editorial office in USA. Thanking you and looking forward to hearing from you soon, Sincerely, Biren Prasad, Ph.D. Managing Editor Chairman, CERA J. Task Force. Email ID: BPRASAD@CMSA.GMR.COM Director, CERA Institute P.O. Box 250254, West Bloomfield, MI 48325-0254, USA. Tel: (810) 696-5487; Fax: (810) 661-8333. ********************************************************************** Subject: CfP of APSEC'95 From: Motoshi Saeki Call For Papers The 1995 Asia-Pacific Software Engineering Conference: APSEC'95 (incorporating ASWEC'95) Tutorial Day: Wednesday December 6, 1995 Conference: Thursday December 7 - Saturday December 9, 1995 Location: Brisbane, Australia Sponsored by ACS in co-operation with IREE and IEAust THEMES The conference will address the following principal themes, but any topic relevant to the field of software engineering will be considered. Requirements Engineering, Specification, Analysis and Design, Testing, Maintenance, CASE, Software Metrics, Software Process, Reuse, Reverse Engineering, Object Orientation, Re-engineering, Distributed Systems, Domain Modelling, Formal Methods, Reliability, Information System Development, Project Management, Quality Assurance, Education. INSTRUCTIONS TO AUTHORS TECHNICAL PAPERS APSEC'95 Program Committee solicits original technical papers. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to Software Engineering. Industrial experience reports are welcome. Technical papers must be no longer than 6000 words. All papers must include a separate cover sheet which provides the following information: the title, authors' names, postal and electronic mail addresses, telephone and fax numbers, a 200 words abstract and a list of keywords. Experience papers or practical papers are also welcome. Submitted papers must be written in English and identify what is new and significant about the presented work. Accepted papers will be published by an international publisher. Six (6) copies of technical papers should be sent by April 30, 1995: Papers from Australia, Oceania and America should be sent to Roger Duke Dept. of Computer Science University of Queensland QLD 4072, Australia TEL. +61 7 365 2097 FAX +61 7 365 1999 E-mail rduke@cs.uq.oz.au Papers from Asia, Africa and Europe should be sent to Kyo-Chul Kang Dept. of Computer Science and Engineering Pohang University of Science and Technology San 31 Hyoja-Dong, Pohang Kyungbuk, 790-784 KOREA TEL. +82 562 279 2258 FAX +82 562 279 2299 E-mail: kck@vision.postech.ac.kr TUTORIAL AND PANEL PROPOSALS The Program Committee invites proposals for half day (3 hour) tutorials. Proposals for panel sessions are also invited. For further details, email Roger Duke at rduke@cs.uq.oz.au. IMPORTANT DATES Submission Deadline: 30 April 1995 Acceptance Notification: 15 August 1995 Camera-ready Copy Due: 30 September 1995 GENERAL CONFERENCE COMMITTEE Conference Chair Gordon Rose (University of Queensland) Conference Deputy Chair Paul Bailes (University of Queensland) Program Co-Chairs Roger Duke (University of Queensland) Kyo C. Kang (Pohang Univ. of Science & Tech.) Organisation and Publicity Leon Tighe (Qld ACS Branch Chairman) Treasurer Jon Heales (Qld ACS Branch Vice Chairman) STEERING COMMITTEE MEMBERS Ken-ichi Harada (Keio University, Japan) Sadahiro Isoda (Toyohashi University of Technology, Japan) Stan Jarzabek (National University of Singapore, Singapore) Jyh-Sheng Ke (Inst. for Information Industry, Taiwan) Yong Rae Kwon (KAIST, Korea) Lin-shan Lee (Academia Sinica, Taiwan) Karl Leung (Hong Kong Polytechnic University, Hong Kong) Danny Poo (National University of Singapore, Singapore) Karl Reed (La Trobe University, Australia) Vincent Shen (Hong Kong Univ. of Science & Tech., Hong Kong) Chi Su Wu (Seoul National University, Korea) PROGRAM COMMITTEE Tsuneo Ajisaka (Kyoto University, Japan) Mikio Aoyama (Fujitsu, Japan) Hock Chuan Chan (National University of Singapore, Singapore) S. C. Cheung (Hong Kong Univ. of Science and Tech., Hong Kong) Dong-Hae Chi (Elect. and Telecom. Research Institute, Korea) Chyan-Goei Chung (National Chiao Tung University, Taiwan) Geoff Dromey (Griffith University, Australia) Roger Duke (University of Queensland, Australia) (co-chair) Yoshiaki Fukazawa (Waseda University, Japan) Brian Henderson-Sellers (University of Technology Sydney, Australia) Shinichi Honiden (Toshiba, Japan) Bok Gyu Joo (Samsung, Korea) Kyo-Chul Kang (Pohang Univ. of Science & Tech., Korea) (co-chair) Moon Hae Kim (Konkuk University, Korea) Soo Dong Kim (Hyundai, Korea) Tomoji Kishi (NEC, Japan) Yue-Sun Kuo (Academia Sinica, Taiwan) Don Lawrynuik (National University of Singapore, Singapore) John Leaney (University of Technology Sydney, Australia) Keung Hae Lee (Hangkong University, Korea) Ching-Sung Lu (ROC, Taiwan) Chris Marlin (Flinders University, Australia) Mitsuru Ohba (Hiroshima City University, Japan) Naveen Prakash (Delhi Institute of Technology, India) Motoshi Saeki (Tokyo Institute of Technology, Japan) Young-Chul Shim (Hong-Ik University, Korea) Paul Swatman (Swinburne University of Technology, Australia) Eng Siong Tan (National Computer Board, Singapore) Yong Meng Teo (National University of Singapore, Singapore) Wai Wong (Hong Kong Baptist College, Hong Kong) Vilas Wuwongese (Asian Institute of Technology, Thailand) Seung-Min Yang (Soongsil University, Korea) ********************************************************************** Subject: IWSSD8 Call for Papers From: jk@doc.ic.ac.uk (Jeff Kramer) IWSSD-8 CALL FOR PAPERS Eighth Int. Workshop on Software Specification and Design 22-23 March 1996, Paderborn, Germany Pending Sponsorship by the IEEE Computer Society and in Cooperation with ACM SIGSOFT The 8th International Workshop on Software Specification and Design will be held near the ancient city of Paderborn, Germany, immediately before ICSE-18 in Berlin. The purpose of the IWSSD series is to explore major trends and key issues in the specification and design of software systems. The 8th workshop, like its predecessors, seeks to provide a forum in which proponents of and experimenters with different theories, methods, and techniques can interact in an informal yet focused setting. The workshop will consist of parallel working groups and plenary sessions to report on progress made within each group. Attendance is limited to 80 and is by invitation on the basis of a submitted paper. Submissions will be refereed and a selection will be included in the workshop proceedings. Technical papers will be evaluated for originality, significance, soundness and clarity. Experience papers will be evaluated for significance of the lessons and insight gained from experiencing advanced methods and techniques. Position papers will be evaluated for their reasoned presentation of a point of view pertinent to workshop themes. The best technical and experience papers may be considered for publication in a special issue of a major software engineering journal. Themes The special focus of IWSSD-8 will be on the current state of the art and future opportunities for software tool support in each of the following areas. o Requirements Engineering: acquisition and elicitation, formal and conceptual modeling, domain analysis, reuse, verification, and prototyping. o Design Engineering: method definition and integration, design processes and strategies, derivation of designs from requirements. o Real-time Systems: capturing and formalizing temporal constraints, logics of time, specification and design strategies. o Concurrency and Distribution: semantics of concurrency, specification/analysis of concurrent systems, decomposition and distribution techniques and strategies. o Software Architecture: architectural models, role of architectures in the software process, composition/decomposition, domain-specific architectures. Instructions to Authors Five (5) copies of submissions must be received by Alexander Wolf no later than 1 August 1995. Submissions must not have been published nor be concurrently submitted for publication elsewhere. Technical and experience papers must not exceed 6000 words. Position papers must not exceed 2000 words. Submissions must be accompanied by a cover sheet giving the title, abstract, theme(s) addressed, kind of submission (i.e., technical, experience, or position), and address information for one contact author, including surface mail address, email address, and telephone number. A copy of the cover sheet in plain text should be sent by email to iwssd8@cs.colorado.edu. A WWW page containing up-to-date workshop information is available at http://www.cs.colorado.edu/users/iwssd8. Important Dates Papers Due: 1 August 1995 Notification of Acceptance and Invitation: 20 October 1995 Camera-ready Paper Due: 1 December 1995 GENERAL CHAIR PROGRAM CHAIRS Wilhelm Schaefer Jeff Kramer Alexander Wolf FB 17 Praktische Informatik Dept. of Computing Dept. of Computer Science Universitaet Paderborn Imperial College ECOT 7-7, CB 430 D-33095 180 Queen's Gate University of Colorado Paderborn Germany London SW7 2BZ UK Boulder, CO 80309 USA wilhelm@uni-paderborn.de jk@doc.ic.ac.uk alw@cs.colorado.edu +49 5251.60.2428 +44 71.594.8271 +1 303.492.4774 PROGRAM COMMITTEE U. Buy (USA) C. Ghezzi (Italy) A. van Lamsweerde (Belg.) P. Cunha (Brazil) M. Goedicke (Germany) T. Maibaum (UK) F. Cristian (USA) C. Heitmeyer (USA) D. Richardson (USA) M. Feather (USA) P. Inverardi (Italy) D. Rosenblum (USA) A. Fekete (Australia) D. Jackson (USA) K. Ryan (Ireland) S. Fickas (USA) S. Jaehnichen (Germany) M. Saeki (Japan) A. Finkelstein (UK) G. Karam (Canada) P. Zave (USA) D. Garlan (USA) R. Kurki-Suonio (Finland) ********************************************************************** From: shekaran@gte.com (Chandra Shekaran) Subject: ICRE 96 Call For Papers SECOND IEEE INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING An IEEE Software Technology Transfer Conference April 15-18, 1996, Colorado Springs, Colorado, USA Sponsored by IEEE Computer Society - Technical Council on Software Engineering In Cooperation with Fujitsu and MCI C A L L F O R P A P E R S ICRE '96 is the second in a biennial series of conferences aimed at bringing together practitioners and researchers to discuss software requirements engineering related problems and results. Further, as a technology transfer conference, it is designed to provide (1) practitioners with an evaluation of promising requirements research and practice, and (2) researchers with an exposure to real-world requirements problems. PAPERS: Authors are invited to submit papers concerned with requirements theory and/or practice. - RESEARCH PAPERS should describe work that advances the state-of-the-art of requirements technology and demonstrates the applicability of the proposed solution to a realistic requirements problem. - EXPERIENCE PAPERS should reflect on the nature of, and solutions to real-world requirements problems. While the distinction between research and experience papers is not absolute, authors are encouraged to focus on one of these two aspects as the primary theme of their contribution. In both cases, practical and near-term applicability must be emphasized. Topics include, but are not limited to: - Requirements problems, techniques & tools - Requirements definition, analysis & validation - Defining the system-human interface requirements - Prototyping, animation & visualization of requirements - Business process relationship to system requirements - Non-linear & heterogeneous requirements descriptions - Supporting requirements elicitation & evolution - Requirements engineering as a group activity - Requirements engineering in legacy system migration - Role of software architecture in requirements - Advances in formal methods & their practical use - Lessons from domain-specific requirements practices - Requirements-based system testing - Role of requirements standards ASSISTANCE FOR EXPERIENCE PAPERS: Special consideration will be given to promising experience papers. These papers should present evidence to validate, modify or disprove current views on the effectiveness of requirements technology in practice. Practitioners who wish assistance in sharing their experiences may submit a 1-3 page, double-spaced, extended abstract to the program chair by June 2, 1995. The abstract should summarize problems addressed, lessons learned, and recommendations proposed.The program committee will provide feedback within six weeks of this submission to assist the author(s) in writing the full length paper. PANELS: Proposals that focus on requirements engineering controversies are encouraged, especially those that highlight the gulf between requirements research and practice. Preference will be given to panels that consist of members who have a significant presence in the field and present a diversity of views on the topic chosen. Proposals should include the title, a brief description of issues to be debated, the names of prospective panel members, and a description of their roles. SUBMISSION: Full length papers are limited to 6000 words, typed double spaced. They should include a short (150 words) abstract, list of descriptive keywords, specification of submission type (research/experience) and complete contact information for the lead author. Authors should send six copies of their abstracts, papers and panel proposals, in English, to one of the program chairs: FROM AFRICA, ASIA, AUSTRALIA, & EUROPE: Jawed I. Siddiqi Sheffield Hallam University School of Computing & Management Sciences 100 Napier Street Sheffield, S11 8HD, UK FROM NORTH & SOUTH AMERICA: M. Chandra Shekaran GTE Laboratories, Inc. 40 Sylvan Road Waltham, MA 02154 USA THE BEST PAPERS IN THE CONFERENCE WILL BE CONSIDERED FOR PUBLICATION IN IEEE SOFTWARE INTERNET HOTLINE: Further information on ICRE '96 may be obtained by sending internet electronic mail to icre96info@gte.com. This information may also be obtained through the WWW using the URL http://info.gte.com/icre96/confInfo. KEY DATES: Experience paper extended abstracts due: June 2, 1995 Feedback to authors on experience paper abstracts July 14, 1995 Full research papers due Aug. 18, 1995 Full experience papers, panel proposals due Sep. 8, 1995 Authors notified of acceptance Nov. 10, 1995 Camera-ready papers due Dec. 29, 1995 STEERING COMMITTEE Carl Chang Chyan-Goei Chung Alan Davis Merlin Dorfman Pei Hsia Chandra Shekaran Jawed Siddiqi CONFERENCE CHAIR Carl Chang (ckchang@eecs.uic.edu) PROGRAM CHAIRS Chandra Shekaran & Jawed Siddiqi (shekaran@gte.com) (J.I.Siddiqi@shu.ac.uk) PROGRAM COMMITTEE Mack Alford, USA Steven Andriole, Drexel University, USA John Brackett, Boston University, USA Laurette Bradley, GTE Labs, USA Jen Yen Chen, National Chiao-Tung University, Taiwan Betty Cheng, Michigan State University, USA Alan Davis, University of Colorado at Colorado Springs, USA John Dobson, University of Newcastle, UK Merlin Dorfman, Lockheed Missiles and Space Co., USA Janet Drake, University of Northern Iowa, USA Anthony Finkelstein, City University, UK Joseph Goguen, Oxford Univerity, UK Pei Hsia, University of Texas at Arlington, USA Matthias Jarke, RWTH Aachen, Germany David Kung, University of Texas at Arlington, USA Lisa Levasseur, Motorola, USA Luqi, Naval Postgraduate School, USA John McDermid, University of York, UK Clem McGowan, MITRE Corp, USA Nancy Mead, Software Engineering Institute, USA Tsuyoshi Nakajima, Mitsubishi, Japan Kiyoh Nakamura, Fujitsu, Japan Bashar Nuseibeh, Imperial College, UK Mehmet Ozcan, Sheffield Hallam University, UK Colin Potts, Georgia Tech, USA Karl Reed, La Trobe University, Australia Howard Reubenstein, GTE Labs, USA Carl Singer, Bellcore, USA Yasufumi Toyoshima, Fujitsu, Japan Jeffrey Tsai, University of Illinois at Chicago, USA Stephanie White, Northrop Aircraft, USA Lloyd Williams, Software Engineering Research, USA Greg Zelesnik, Carnegie Mellon University, USA REGISTRATION CHAIR Yong Liu (liujohn@cig.mot.com) LOCAL ARRANGEMENTS CHAIR Alan Davis (adavis@vivaldi.uccs.edu) ********************************************************************** From: Didar Zowghi Subject: SRE mailing list S R E MAILING LIST ----------------------- SOFTWARE REQUIREMENTS ENGINEERING The SRE mailing list aims to act as a forum for exchange of ideas among the requirements engineering researchers and practitioners. The list is a free service which is offered by the CSIRO-Macquarie University Joint Research Centre for Advanced Systems Engineering (JRCASE) at Macquarie University, Sydney. Requirements engineering has proved to be a vital part of any system life cycle. Many believe that while much has been achieved for improving and automating the software development process, capture, analysis and specification of user requirements remain a relatively untouched area. Although there has been a number of conferences and workshops on requirements in the last few years, there is a lack of discussion groups and interest groups on the network. We hope that this mailing list will serve as a discussion group for software requirements engineering, which can be used as a medium for sharing ideas and for the creation of future conferences and workshops. Subscribing and Unsubscribing ----------------------------- To subscribe to SRE mailing list, send e-mail to listproc@jrcase.mq.edu.au with the following line as the first and only line in the body of the message: subscribe SRE your-first-name your-second-name For example, from the UNIX command line you type: % mail listproc@jrcase.mq.edu.au Subject: subscribe SRE John Smith To get your name removed from the list, send the following line in the body of a message: unsubscribe SRE For example, form UNIX command line you type: % mail listproc@jrcase.mq.edu.au Subject: unsubscribe SRE Posting Articles ---------------- Articles to the SRE mailing list should be sent to SRE@jrcase.mq.edu.au ; please do not send requests to subscribe and unsubscribe to this address. Getting Help ------------ To find out about the facilities which are offered by the SRE mail server, send e-mail to listproc@jrcase.mq.edu.au with the command "help" in the body of the message. If you have any problems with using the SRE mailing list please send e-mail to sre-request@jrcase.mq.edu.au Note ---- JRCASE accepts no responsibility for any views offered via this list server. Macquarie University and CSIRO, their employees and their agents are not liable for any loss or damage arising, directly or indirectly, from the possession or use of any material obtained via this mail server. ********************************************************************** Subject: The reconstituted Systems Engineering List at think.net From: kent.palmer@think.net (Kent Palmer) The reconstituted systems-engineering list that was at the world.std.com site and then moved briefly to netcom.com and is now at think.net. Things can really move around here in cyberspace, but then s systems engineers we are used to maximum flux, right? If you want to be on this list then subscribe by sending SUBSCRIBE SYSTEMS-ENGINEERING to listserv@think.net If you want to see what other lists are here send a message HELP to listserv@think.net. You will find that they are mostly philosophy lists except for one list on software engineering that is the sister list to this one. As per previous requests I did not recreate all the sublists that existed as world.std.com because they did not get used. So this list covers every aspect of systems enginering. Here is my list of major themes for the list: Systems Requirements Systems Functional Decomposition Systems Allocation Systems Synthesis Systems Analysis Systems Design Systems Training Systems Management (how you manage the systems engineering process on a project) Systems Methods Systems Tools Systems Process (this is the area I am most interested in myself) So the floor is open for discusion again. Kent Palmer List Administrator palmer@think.net palmer@netcom.com Thinknet BBS 714-638-0876 ********************************************************************** Subject: Activities of the BCS RE Specialist Group From: Bashar Nuseibeh (ban@doc.ic.ac.uk) Chairman, BCS RESG The activities of the BCS Requirements Engineering Specialist Group are now in full flow with two meetings held so far: the first on requirements tracebility (October 94, London) and the second on enterprise modelling (January 95, Manchester). The group is holding a "Birds-of-a-Feather" meeting at RE95 (Tuesday evening, 28th March 95, York) where attendees will have an opportunity to discuss RE topics of interest, make suggestions to committee members on the future directions of the group, and hear a short presentation (by Paul Gough, Phillips Research Labs, UK) summarising the activities of the IFIP WG 2.9 Requirements Engineering meeting held the week before in Bramshill, Hampshire. The group has also produced two issues so far of its newsletter, Requirenautics Quarterly, and in the future these will only be distributed to fully paid up members of the group. Please contact Dr. Sara Jones (S.Jones@herts.ac.uk) for membership details (membership of the group is free to students, costs 10-20 pounds sterling for individual members, 30 pounds for academic corporate members, and 100 pounds for company corporate membership). -------- ADVANCE NOTICE FOR FUTURE MEETINGS: THEME: What do designers want from requirements? TIME: 2:30-5:30pm, Wednesday 10th May 1995 ENTRY: Free to members of RESG, BCS or IEE, and to all students; 5 pounds sterling to others NOTE: AGM will precede the above meeting (1:45pm-2:15pm) PLACE: Room 418, Department of Computing, Imperial College, 180 Queen's Gate, London SW7 2BZ (nearest tubes: South Kensington and Gloucester Rd.) SPEAKERS: Jeff Kramer Ken Jackson Michael Jackson Paul Jeremaes -------- THEME: Viewpoints in Requirements Engineering TIME: Wednesday, October 1995 (exact date/time to follow) PLACE: Napier University (Edinburgh) (exact venue/room number to follow) SPEAKERS: Geoff Mullery Mandy Haggith Ian Sommerville Bashar Nuseibeh -------- More details/confirmation to follow at a later date - and will also appear in Requirenautics Quarterly. -------- ********************************************************************** From: medward@relay.nswc.navy.mil (Michael Edwards) Subject: CESAW 95 Call for Papers Call for Papers 1995 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '95) November 6-10, 1995 Southern Florida This is a call for papers to be presented at the 1995 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '95). This workshop is part of the First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), which will be held in Southern Florida, November 6-10, 1995. The theme of this year's workshop is technology for "real-life" systems. The workshop will explore issues related to design synthesis and assessment in the development of these systems. With focus on large-sized, complex and computer-based systems, the workshop emphasizes technologies for the development and enhancement at the system level. Of interest is the ability to specify, capture, synthesize, analyze, model, prototype, test, and implement such systems for both the forward and reverse engineering processes. Exchanges of lessons learned and experiences in the design of these systems are encouraged at this workshop. Results of on-going research (including basic and applied research) in the areas of dependability, distributed tasking, real-time and time-critical applications, and scaleability, as applied to the design and development of "real-life" systems, are also topics of concern. TOPICS OF INTEREST CAPTURE, OPTIMIZATION, AND ASSESSMENT TECHNOLOGIES HIGH ASSURANCE SYSTEM DESIGN INTO SYSTEM ENGINEERING APPLICATION OF SIMULATION, MODELING, MEASUREMENT, METRICS, AND PROTOTYPING WITHIN SYSTEMS ENGINEERING REQUIREMENTS ELICITATION, SPECIFICATION, AND TRACEABILITY Authors are requested to submit (5) copies of their papers of no more than 5,000 words (5 pages or less). Include a cover letter listing the author(s), paper title, area of interest, and the name, address, FAX, telephone number, and e-mail address (if available) of the author who is responsible for all correspondence and preparation for the presentation. Please submit by April 30, 1995. Submission Address: Alexander Stoyenko Dept of Computer and Information Science New Jersey Institue of Technology University Heights Newark, New Jersey 07102 USA alex@vulcan.njit.edu +1-201-596-3366 (office) +1-201-596-5777 (fax) ______________________________________________________________________________ Naval Surface Warfare Center Phone: (301)394-4187 Dahlgren Division, White Oak Det Fax: (301)394-3179 Michael Edwards, Code B44 Email: medward@relay.nswc.navy.mil 10901 New Hampshire Avenue Silver Spring MD 20903-5640 ______________________________________________________________________________ ********************************************************************** From: Matthias Jarke Subject: WITS' 1995 Call for Papers - Announcement WITS' 1995 Call for Papers - Announcement WITS'95 The 5th Workshop on Information Technologies and Systems (WITS'95) will be held in Amsterdam, The Netherlands, during December 9-10, 1995, immediately before the International Conference on Information Systems (ICIS). The purpose of the workshop is to promote discussion and interaction among members of the Information Systems community with research interests in cutting-edge information technologies and systems. We are particularly interested in exchanging research ideas and results which will not only contribute to the academic arena, but will also benefit the business community in the foreseeable future. Topics We solicit condensed research papers describing original ideas and new results on information technologies and their applications. The research should address issues concerning the theory, development, and/or deployment of information technologies and systems. Suggested topics include, but not limited to: - Information System Architectures - Database Systems - Knowledge-based Systems - Distributed Systems - Computer Networks and Telecommunications - System Development Methods - Modeling Methods - Innovative Information Technologies - Decision Support Systems - Collaborative and Group Systems - Human-Computer Interfaces - Object-Oriented Topics We also encourage the submission of experience reports that describe lessons learned in the development, operations, and maintenance of actual systems. Proposals for panels that examine an emerging, innovative, or otherwise provocative issue are encouraged as well. Instructions Condensed research papers and experience reports as well as proposals for panels should be submitted to Sudha Ram (co-chairperson). Four copies of the submission must be received by July 5, 1995. All submissions should be double-spaced and use 10pt or larger fonts. Papers and reports should be limited to 10 pages (including tables, figures, and references) and panel proposals to 5 pages. Selection for presentation at the workshop and publication in the proceedings will be based on originality, contribution to the field, and workshop interest. Authors of selected papers and reports will be invited to submit complete versions of their work after the workshop for possible publication in journals such as Information Systems, ORSA Journal on Computing, Decision Support Systems and Journal on Organizational Computing. There is an award for the best paper of the workshop. Panel proposals should include a summary of the topic to be covered, names and affiliations of 3-4 panelists who have made a commitment to participate, a summary of their position statements, and a brief biography of each. A mix of industry and academic panel members is recommended. Information on this workshop is available through anonymous ftp to bpa.arizona.edu under CONFERENCE/WITS95 directory. Dates Deadline for receipt of submission: July 5, 1995 ( Papers must be postmarked by July 5, 1995 ) Notification of acceptance: September 29, 1995 Camera-ready copy due: October 27, 1995 Co-Chairpersons Professor Sudha Ram ( papers must be submitted to this person ) Dept. of MIS Karl Eller Graduate School of Management University of Arizona Tucson, Arizona 85721 Phone: (602) 621-4113, Fax: (602) 621-2433 E-mail: ram@bpa.arizona.edu Professor Matthias Jarke RWTH Aachen Informatik V Ahornstr. 55 52072 Aachen, Germany Phone: (49) (241) 80-21500, Fax: (49) (241) 8888-321 E-mail: jarke@informatik.rwth-aachen.de Program Committee Meral Binbasioglu (Turkey) Bob Blanning (USA) Sjaak Brinkkemper (Netherlands) Tung Bui (Hong Kong) Hsinchun Chen (USA) Panos Constantopoulus (Greece) Prabuddha De (USA) Dan Dolk (USA) Martin Elixmann (Netherlands) George Ernst (USA) Robert Hansen (Austria) Alan R. Hevner (USA) Tawfik Jelassi (France) Dimitri Karagiannis (Austria) Gary J. Koehler (USA) Ron Lee (Netherlands) Tok Wang Ling (Singapore) Peri Loucopoulos (UK) Sal March (USA) David E. Monarchi (USA) Sridhar Narasimhan (USA) Markus Nuettgens (Germany) Andreas Oberweis (Germany) Hasan Pirkul (USA) Klaus Pohl (Germany) Arun Sen (USA) Olivia Sheng (USA) Edward A. Stohr (USA) Mohan Tanniru (USA) Alexander Tuzhilin (USA) Ramesh Venkataraman (USA) Benkt Wangler (Sweden) Ronald Weber (Australia) Carson C. Woo (Canada) ********************************************************************** From: Robert France Subject: WIFT'95 on WWW Registration forms and information on the Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95) are available on the WWW - see http://www.cse.fau.edu/WIFT. Information and forms also available on anonymous ftp site: ftp to shark.cse.fau.edu (in directory /pub/WIFT95) Robert B. France | Tel: (407) 367-3857 CS&E Dept, Florida Atlantic University, | Fax: (407) 367-2800 Boca Raton, FL 33431-0991 | email: robert@cse.fau.edu ********************************************************************** From: Joe Cotellessa (Cotellessa@Dgs.Dgsys.Com) Subject: Requirements Traceability THIS MESSAGE IS REPOSTED FROM THE SYSTEMS ENGINEERING LIST BY THE MODERATOR To: Multiple recipients of list SYSTEMS-ENGINEERING Have you heard about tools like DOORS, RTM, RDD100? Does anyone have any inputs about these tools? <---- End Included Message ----> RTM is a product of Marconi Systems Technology. It is a full-featured traceability management tool that runs on top of Oracle, and is shipped with an Oracle run-time. It runs on IBM, Sun, HP, and DEC UNIX platforms. It supports read-only interfaces with the Cadre line of Teamwork CASE tools and the IDE line of Software Through Pictures CASE tools. Tabular and list output reports can be in Interleaf, FrameMaker, RTF (for WordPerfect and Word) and ASCII formats. Reports may be created via a graphical or command-line SQL-like query capability. RTM also supports "Dewey Decimal" sorting so that paragraph numbers in the sequence: 2.1, 2.2, ... 2.10 are output in the correct order. Marconi Systems will soon offer an API to allow users to create custom interfaces to other tools. How good it is, I can't say. They also will soon offer an Interleaf front end to RTM -- this will be good for text stripping and entry into RTM, but it provides no "drill-down" or hypertext-like features. For more RTM info, contact Simon Addis at 703-263-1260 or addis@mstus.com (Chantilly, VA) I am also slightly familiar with two other products that "compete" with Marconi's RTM. RDD-100 is a Requirements-Drive Design tool from Ascent Logic that includes excellent traceability features. It supports IDEF0, IDEF1, E-R diagrams, DFDs, and a number of other modelling representations. However, extended E-R diagrams are its "organic" model. Also, RDD-100 does not go beyond the systems analysis phase (or didn't as of Spring 94). It's pricey (US$25,000 to $50,000 per seat, depending on options), and requires considerable effort to use properly. Properly used, it's likely to afford excellent results, even for very large systems involving several geographically dispersed and independent organizations. RDD-100 is available for DOS/Windows and most UNIX platforms. For more RDD-100 info, contact: Jon Tatar, 408-943-0630 or 800-654-4733, in San Jose, CA. DOORS is another product that should be considered strongly. Like RTM, it is "just" a requirements management and traceability tool. Unlike RTM, it is truly object- and document-oriented. Its system requirements are more modest, too, and it can be a bit cheaper -- US$14,500 or less per seat. If you're using Teamwork, you'll like the fact that DOORS's interface is both better than RTM's and is bi-directional. DOORS is available for DOS/ Windows, Sun, HP, and IBM UNIX platforms. Its API may be stronger than RTM's, and a Macintosh version is in the works. For further info, contact: Susan Boers at Zycad, Inc., 703-904-4360 or at susan_boers@zycad.com (Reston, VA). Cadre Technologies markets DOORS in Europe in conjunction with Teamwork. [We're strongly considering a modest DOORS purchase within the next month.] I've also heard about another traceability management tool called SLATE. I don't know anything about it, but the vendor is apparently based in or near Dallas, Texas. [NOTE FROM MODERATOR: DETAILS OF SLATE ARE OBTAINABLE FROM: http://www.slate.tdtech.com OR nallon@slate.tdtech.com] This e-mail does not represent any endorsement by (or position of) Grumman Data Systems. Neither I nor Grumman Data Systems have any association with, or financial interest in Marconi Systems, RTM, or any other vendor or product mentioned here. [However, a Grumman venture capital subsidiary that Northrop is selling has some sort of stake in Ascent Logic.] Hope this helps a bit. \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ Joe Cotellessa, Grumman Data Systems (in No. Virginia), 703-866-7439 #include ///////////////////////////////////////////////////////////////////// **********************************************************************