****************REQUIREMENTS ENGINEERING NEWSLETTER******************** No. 34. Contents 1. Message from the Moderator! (Anthony Finkelstein) 2. RE'95 Advance Programme (Laurence Brooks) 3. CFP REFSQ 95 (Klaus Pohl) 4. CFP 2nd Doctoral Consortium on Advanced Information Systems Engineering (Veronique PLIHON) 5. Requirements: a quick and inxpensive way to improve testing (Extract from Testing Techniques Newsletter) 6. Albert on WWW (Eric Dubois) 7. BCS RE Group Meeting on Enterprise Modelling (Bashar Nuseibeh) 8. CFP IFIP WC on Diffusion and Adoption of IT (Richard Veryard) 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! Recipients of this newsletter are probably getting fed up with apologies from me for the irregular delivery of the newsletter. Nevertheless I am getting it out so I won't tolerate complaints. This issue is important as it contains the RE95 Advance Programme. IF YOU ARE INTERESTED IN REQUIREMENTS ENGINEERING IT IS ESSENTIAL THAT YOU ATTEND RE95! ********************************************************************** From: lsb@minster.york.ac.uk (Laurence Brooks) Subject: RE95 advance programme ************************************************************** ************************************************************** ***********************| _ \****| ___|**|_|***************** ***********************| |*| |***| |******//****************** ***********************| __/****| __|*********************** ***********************| |\ \****| |************************** ***********************|_|*\ \***|_____|********************** ************************************************************** ************************************************************** *************************/ _ |**| ____|********************** ************************| |*| |**| |************************** *************************\__ |**|___ <*********************** ****************************| |******| |********************** ****************************|_|**|____/*********************** ************************************************************** ************************************************************** Advance Programme... Second IEEE International Symposium on Requirements Engineering 27-29 March 1995 The University of York York, England Sponsored by the IEEE Computer Society TC on Software Engineering In cooperation with ACM SIGSOFT, IFIP Working Group 2.9 (Software Requirements Engineering), AT&T General Chair's introduction... The second international symposium on Requirements Engineering is to be held in York, England in 1995. After a very successful meeting in San Diego in 1993, the symposium moves across the Atlantic Ocean for 1995. York is famous for its Minster and many historic sites dating from Roman, Viking and Medieval times. The city walls are covered in daffodils in March. Requirements Engineering, the problem of taking under- specified, and occasionally tentative, customer requirements and producing accurate specifications to satisfy these requirements, has always been a problem for software developers. This 'formality gap' is now a growing area of research both in industry and academia. This conference presents a broad spectrum of results in this area from groups representing research institutions throughout the world. Requirements issues range from elicitation through representation to implementation, and concern special topics such as ethnography, normative reasoning, human issues and safety issues. Conference overview... The conference consists of five types of session designed to optimise interaction between participants preceded by a doctoral consortium. Invited speakers begin each day in plenary session, intended to generate a theme that may be a useful 'benchmark' against which to measure the content of the other sessions during the conference. This session will contain plenty of discussion, often facilitated by a discussant. Paper sessions will follow, in parallel with three other kinds of session: * mini-tutorials are designed to introduce participants to a subject area that is highly relevant to requirements engineering; * panel sessions provide a discussion session in which a forum of 'experts' address a hot topic in the area; * working groups are special interest groups in which interested participants can meet to discuss and develop relevant new themes within requirements engineering. The meetings are held in the purpose-built conference complex at the University of York. The seminar and lecture rooms surround an exhibition area, in which product and research tool demonstrations have also been arranged. A conference dinner has been organised in the National Railway Museum: an opportunity to muse about requirements engineering and steam transportation while listening to a traditional Yorkshire brass band. Doctoral Consortium... The doctoral consortium will give selected students an opportunity to present ideas and work-in-progress which may not be ready for full presentation at the symposium but which they wish to expose to critical analysis and discussion. It gives these students a means to attend the symposium and get a feel for research progress in requirements engineering. In the doctoral consortium, students will present their work-in- progress to a panel of senior members of the requirements- engineering community, for the purposes of feedback and discussion. The consortium will be run as a one-day closed workshop within the symposium programme. Demonstrations... An important feature of RE'95 will be the exhibitions and demonstrations area. This will provide the opportunity to browse book stalls, talk to publishers, and see a range of requirements engineering tools and methods presented by both companies and researchers, with plenty of time for in depth discussion. Invited speakers... Janis A. Bubenko Jr Janis A. Bubenko is Professor in Computer and Systems Sciences at the Royal Institute of Technology and University of Stockholm . He is author/co-author of seven textbooks in the areas of Information Systems Development Methods, Performance Analysis of Data Processing Systems, Operating Systems, and Conceptual Modelling; and of more than 125 research reports and published articles. Current research activities and interests include Requirements Engineering and Enterprise Modelling methods. He has participated in several ESPRIT projects. Michael Jackson Michael Jackson originated the JSP and JSD methods of program and system design. He described them in his two books: Principles of Program Design; and System Development. For the past five years he has been working on methods of requirements specification and problem analysis. He is an independent consultant and a part-time researcher at Bell Telephone Laboratories, Murray Hill New Jersey. David Thewlis Day 1 - Monday 27 March 1995 9:15-10:30 Registration 10:30-11:00 Coffee 11:00-12:30 General chair's welcome Invited speaker: "Problems and Requirements", Michael Jackson 12:30- 14:00 Lunch 14:00- 15:30 Papers 1: Elicitation and Investigation "Scenarios--An Industrial Case Study and Hypermedia Enhancements", P. A. Gough, F. T. Fodemski, S. A. Higgins, S. J. Ray "A Task Centered Approach to Analysing Human Error Tolerance Requirements", R. Fields, P. C. Wright, M. D. Harrison "Presenting Ethnography in the Requirements Process", John Hughes, Jon O'Brien, Tom Rodden, Mark Rouncefield, Ian Sommerville Panel 1: "The Next 25 Years: New Customers, New Environments, New Requirements" Moderator: Sol Greenspan 15:30- 16:00 Coffee 16:00- 17:30 Papers 2: Views and Consistency "Improving the Use Case Driven Approach to Requirements Engineering", Bjorn Regnell, Kristofer Kimbler, Anders Wesslen "Managing Inconsistencies in an Evolving Specification", Steve Easterbrook, Bashar Nuseibeh "Consistency Checks for SCR-Style Requirements Specifications", Constance Heitmeyer, Bruce Labaw, Daniel Kiskis Panel 2: "How Can We Do Real Experiments in Requirements Engineering?" Moderator: Kevin Ryan Day 2 - Tuesday 28 March 1995 9:15-10:30 Invited speaker: David Thewlis 10:30-11:00 Coffee 11:00-12:30 Papers 3: Reports on the State of Practice "Requirements Engineering Practices in Information Systems Development: A Multiple Case Study", Khaled El Emam, Nazim Madhavji "Specification of Customer and User Requirements in Industrial Control System Procurement Projects", Patrik Forsgren, Tomas Rahkonen "Implementing Requirements Traceability--A Case Study", Bala Ramesh, Timothy Powers, Curtis Stubbs, Michael Edwards Mini-tutorial 1: "Applications of Normative Reasoning" Marek Sergot 12:30- 14:00 Lunch 14:00- 15:30 Papers 4: Traceability "Contribution Structures", Orlena Gotel, Anthony Finkelstein "A Client Oriented Baseline for Requirements Traceability", Julio Leite, Antonio Oliveria "Requirements Traceability in an Integrated Development Environment", Ian Macfarlane, Ian Reilly Working group 1: "Education in Requirements Engineering" Moderator: John Mylopoulos Working group 2: "Invented Requirements and Imagined Customers: Requirements Engineering for Off-the-Shelf Software" Moderator: Colin Potts 15:30- 16:00 Coffee 16:00- 17:30 Papers 5: Evolution and Reuse "Using Non-Functional Requirements to Systematically Support Change", Lawrence Chung, Brian Nixon, Eric Yu "Requirements Monitoring in Dynamic Environments", Stephen Fickas, Martin Feather "How People Categorise Requirements for Reuse: A Natural, Approach", N. A. M. Maiden, P. Mistry, A. G. Sutcliffe Panel 3: "Integrated Requirements Analysis and Safety Analysis" Moderators: Joanne Atlee and John McDermid Day 3 - Wednesday 29 March 1995 9:15-10:30 Invited speaker: 'Challenges in Requirements Engineering', Professor Janis Bubenko 10:30-11:00 Coffee 11:00-12:30 Papers 6: Formal Modeling "Enhancing Soft Systems Analysis with Formal Modelling", D. W. Bustard, P. J. Lundy "An Evaluation of Inquiry-Based Requirements Analysis for an Internet Service", Colin Potts, Kenji Takahashi, Jeffrey Smith, Kenji Ota "Improving Legibility in Specification Languages: The Parsing Problem", J.-P. Jacquot, A. Valdenaire Mini-tutorial 2: "Ethnography by Video for Requirements Capture", Marina Jirotka, Christian Heath 12:30- 14:00 Lunch 14:00- 15:00 Papers 7: Overviews "Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt", Axel van Lamsweerde, Robert Darimont, Philippe Massonet "Measuring the Success of Requirements Engineering Processes", Khaled El Emam, Nazim Madhavji Working group 3: "What Is Missing in Requirements-Engineering Research?" Moderator: Pamela Zave 15:00- 15:30 Program Chair's summary of the programme and announcement of future events 15:30-16:00 Coffee ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Social Programme:... Sunday 26 March - Welcome reception Sherry reception to be held at 18:30 in the University's main building, Heslington Hall. Monday 27 March - Conference dinner The conference dinner will be held at the National Railway Museum in York. Delegates will have the opportunity of a private visit to this historic museum prior to the meal. Many famous exhibits including Stephenson's "Rocket", the "Mallard" and Queen Victoria's Royal Coach will be on show. The five course dinner including wine will be served on the re-created platforms amongst the exhibits. The Inter-City Brass Band will provide the final touch of Yorkshire ambience. Tuesday 28 March - Brewery visit Visit one of our famous local ale producing centres, Samuel Smith's brewery, at Tadcaster, and sample some traditional Yorkshire beer. The cost will include transport to and from Tadcaster, a guided tour of the brewery and dray horse stables, in small groups, followed by a free pint at the brewery bar afterwards. Please note this social event is limited to a maximum of 50 participants. Booking terms and conditions:... The cost of registration includes: the conference welcome reception, coffee/tea and lunch for each day of the conference plus the final night conference dinner. The campus accommodation is available for the nights of the 26th, 27th and 28th March, in one of the University's on-site colleges providing bed and breakfast and evening meal. Attendees can pay a supplement for en-suite bathroom facilities and those with accompanying partners may also book a twin room. Charging rates: The advance booking rate is open to all bookings postmarked before 13 February 1995. Late bookings must be received by Monday 20 March 1995, although as places are limited please try to ensure your booking reaches us as early as possible. The member rate is open to members of the IEEE, ACM SIGSOFT or IFIP Working Group 2.9. To claim the discounted rate, you must specify your society and membership number on the booking form. The discounted rate is available to full-time students. In order to claim this discount, copy of proof of status must be included with the booking. A refund (less Ł25 administrative charge) will be made on cancellation of any booking provided it is received by the organisers by 20 February 1995. Thereafter the full amount paid will be forfeited. Substitutions may be made any time up to the beginning of the conference. Other bookings: For details of alternative accommodation, please see the RE'95 World Wide Web page (which can be found at http://www.cs.uoregon.edu/~fickas/re95.html) or contact Maggie Burton at: University of York, Department of Computer Science tel: +44 1904 432721 fax: +44 1904 432767 email: re95@minster.york.ac.uk The location: A Brief Overview The University of York was founded in 1963 with 200 students in two city-centre locations and at Heslington Hall (now the central administrative building and focus of a purpose built campus). It has since expanded to 5,000 students, 21 academic departments and four research institutes. The Departments >From its inception, the University has concentrated on strong viable departments and teaching and research of the highest quality. In spite of its small size, it is rated as one of the top ten universities in the United Kingdom. In the research rating exercise carried out in 1992 by the Government's Universities Funding Council, research in British universities was rated from 1 to 5. All of York's departments were given a rating of 3 or over, and four departments - Economics, Computer Science, Psychology and Social Policy - achieved the accolade of a top rating of 5, signifying research work of international excellence. The Campus The campus is well-known for its lake and wildfowl. Its pleasant setting and proximity to the historic city of York makes the University a popular conference venue. About 40,000 people visit the University for conferences each year. The City of York The city of York offers something for everyone. The second most visited tourist city in Britain, it is renowned as a major historic centre. An important political, cultural, religious and trading centre since Roman times, York retains an impression of every age, from the encircling walls, through the winding medieval streets to the elegant Georgian townhouses. Its busy "footstreets" radiate from the dominant Minster - the largest medieval cathedral in Europe. York's importance as a medieval city is inescapable - not least in the street terminology. Here, streets are gates (as in Micklegate, home of the University's Archaeology department, and most notably in Whip-Ma-Whop-Ma-Gate, the shortest street with the longest name); gates are bars (Monk Bar, Bootham Bar are two of the four) - the ancient defensive ports of entry to the walled city; and bars, of course, are pubs - there is supposed to be one for every day of the year. Beyond York lies some of Britain's most impressive countryside with a great many places of natural beauty and historic interest. Immediately around the city is the great plain of York, well worth exploring for its attractive villages and slow, lazy rivers. Further afield, to the north lie the Pennine Dales and the North York Moors national parks, and to the east the fishing villages and resorts of the coast, while to the west are the larger cities of Leeds and Bradford. Travel to York Situated almost exactly half way between London and Edinburgh, York is easy to reach from anywhere in the country. Intercity trains from London take under two hours; two and a half from Edinburgh. York is also well served by road links, being close to the A1 and the M62. For those travelling from overseas, Heathrow airport can be reached in three and a half hours, and Manchester airport in two hours. Ferries from Hull provide easy links to mainland Europe. Small Print: The organisers RE'95 General Chair: Michael Harrison University of York, UK Program Chair: Pamela Zave AT&T Bell Laboratories, US Doctoral Consortium Chair: Anthony Finkelstein City University, UK Publicity Chair: Laurence Brooks University of York, UK Local Arrangements Chair: Chris Johnson University of Glasgow, UK Finance Chair: Jonathan Moffett University of York, UK Exhibits Chair: Simon Buckingham Shum University of York, UK Social Events Chair: Peter Wright University of York, UK Email contact for all the above: re95@minster.york.ac.uk Program Committee: William Agresti, MITRE (USA) Mack Alford, Ascent Logic (USA) Mark Ardis, AT&T Bell Laboratories (USA) Andre Arnold, Universite de Bordeaux (France) Joanne Atlee, University of Waterloo (Canada) David Barstow, Schlumberger Laboratory for Computer Science (France) Janis Bubenko, Swedish Institute for Systems Development (Sweden) Alan Davis, University of Colorado (USA) Martin Feather, USC Information Sciences Institute (USA) Stephen Fickas, University of Oregon (USA) David Garlan, Carnegie Mellon University (USA) Joseph Goguen, University of Oxford (UK) Sol Greenspan, GTE Laboratories (USA) Anthony Hall, Praxis Systems (UK) Ian Hayes, University of Queensland (Australia) Hisayuki Horai, Fujitsu Laboratories (Japan) Daniel Jackson, Carnegie Mellon University (USA) Matthias Jarke, RWTH Aachen (Germany) Lalita Jategaonkar Jagadeesan, AT&T Bell Laboratories (USA) Lewis Johnson, USC Information Sciences Institute (USA) Julio Cesar Leite, PUC-Rio (Brazil) Robyn Lutz, Jet Propulsion Laboratory (USA) Tom Maibaum, Imperial College (UK) John McDermid, University of York (UK) John Mylopoulos, University of Toronto (Canada) Colin Potts, Georgia Institute of Technology (USA) Howard Reubenstein, MITRE (USA) Dieter Rombach, Universitaet Kaiserslautern (Germany) Kevin Ryan, University of Limerick (Ireland) Jawed Siddiqi, Sheffield Hallam University (UK) Alistair Sutcliffe, City University of London (UK) Axel van Lamsweerde, Universite Catholique de Louvain (Belgium) Kiem-Phong Vo, AT&T Bell Laboratories (USA) Rebecca Wirfs-Brock, Digitalk (USA) Further details Further details of the conference are available by: email to re95@minster.york.ac.uk, or in the file advprog.ps available by anonymous ftp from ftp.cs.york.ac.uk, or on World Wide Web at http://www.cs.uoregon.edu/~fickas/re95.html And Finally ... If you already have a copy of this advance programme, please pass this copy onto a colleague who you think might be interested in the conference. Thank you from all at RE'95 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Registration Form University of York 27-29th March 1995 Please complete one form per delegate, photocopies are acceptable. All prices are quoted in pounds sterling (Ł). A refund (less Ł25 administrative charge) will be made on cancellation of any booking, provided it is received by the organisers by 20 February 1995. Thereafter the full amount paid will be forfeited. Substitutions may be made any time up to the beginning of the conference. For booking terms and conditions please see before. Participant (please complete in block capitals) Title: Prof, Dr, Ms, Mr, Mrs ______________________ Surname: __________________________________________ First Name: _______________________________________ Position: _________________________________________ Organisation: _____________________________________ ___________________________________________________ ___________________________________________________ ___________________________________________________ Address: __________________________________________ ___________________________________________________ ___________________________________________________ ___________________________________________________ ___________________________________________________ Telephone: ________________________________________ Facsimile: ________________________________________ Email: ____________________________________________ Special dietary requirements: _____________________________________ Member _________ Non-member _________ Student _________ (Please indicate as appropriate) Advance booking: Member Ł350 ___ Non-member Ł450 ___ Student Ł350 ___ (Please indicate as appropriate) Late/on-site booking Member Ł425 ___ Non-member Ł525 ___ Student Ł425 ___ (Please indicate as appropriate) IEEE, ACM SIGSOFT, or IFIP WG 2.9 membership number ___________________________________________ Included in the conference fee is the welcome reception, coffee/tea and lunch for each full day of the conference plus the conference dinner. I have read and agreed to the terms and conditions (given above) and I apply for a place at RE'95. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Accommodation Booking Form University of York 27-29th March 1995 Please complete this form, one per delegate, if you wish to book accommodation on the University campus. If you wish to stay in York outside the campus, please contact Maggie Burton for details of other places to stay. Campus Accommodation* Required: Night 26/27 March Single Room Ł28.40 ___ Single plus en-suite supplement Ł36.05 ___ Double Room Ł56.80 ___ Night 27/28 March (excl. evening meal) Single Room Ł20.85 ___ Single plus en-suite supplement Ł28.50 ___ Double Room Ł41.70 ___ Night 28/29 March Single Room Ł28.40 ___ Single plus en-suite supplement Ł36.05 ___ Double Room Ł56.80 ___ (Please indicate as appropriate) Total: Ł Social Events Would you like to join us on the visit to Sam Smith's brewery (max 50 places)? ______________ (add Ł5.50 to total) Would you like a guest/partner to attend the conference dinner? __________ (add Ł30.00 to total) Payment: Total charge: Ł I enclose a cheque in Ł Sterling, drawn on a UK bank Ł I enclose a bank draft in Ł Sterling Ł Please invoice my organisation Ł Notes: All payments should be made payable to the University of York, by cheque drawn on a UK Bank or by Eurocheque (which must not exceed Ł700 sterling). Official orders from UK establishments are acceptable provided that the actual order, not just the order number, is sent. Payment may also be made by bank transfer to: Midland Bank Parliament Street, York, UK Account no: 2089 8201 Sort code: 40 47 31 Reference: Computer Science RE95 06C10153 To avoid your bank transfer payment going astray it is essential both to include the above reference with it and to send separate advice of payment with this booking form. Information: This form should be returned to : Maggie Burton, Department of Computer Science, University of York, York, YO1 5DD, UK. Tel: +44 1904 432721; Fax: +44 1904 432767 Email: RE95@minster.york.ac.uk * Included in the cost of each room is bed, breakfast and evening meal (except where specified). ********************************************************************** From: Klaus Pohl Subject: CFP for REFSQ'95 ---------------------------------------------------------- C A L L F O R P A P E R S ---------------------------------------------------------- R E F S Q `9 5 Second International Workshop on Requirements Engineering: Foundation for Software Quality June 12-13 1995 Jyvaskyla, Finland (preceeding the CAiSE conference) P U R P O S E The ultimate measurement for software quality is the degree to which user requirements are fulfilled by a system. Early elicitation and correct definition of requirements avoids costly rework during later development stages and builds the foundation for building high quality systems. Therefore, requirements engineering is considered as a more and more crucial part of the system life cycle. During requirements engineering the user and engineers have to find a way from an initially opaque and diverse system understanding to exact, agreed and at least partially formalized system specifications. A multitude of methods from software engineering, ethnology, social sciences, and psychology have been adapted to support this process and to achieve a growing quality of the requirements specification as a foundation of higher system quality. Most of these methods are relying on adequate specification languages which are expressive and formal enough so that the represented quality requirements can be verified or validated. At the REFSQ`94 workshop researchers from various disciplines presented approaches that focused on the improvement of the definition and implementation of (quality) requirements. The success of REFSQ`94 encouraged us to provide a follow-up workshop REFSQ`95 as a stage for the discussion of quality related problems in Requirements Engineering as they developed in the last year. We also invite people from the software and information systems engineering field to present their approach for higher software quality and to discuss how Requirements Engineering can contribute to it. G O A L The main goal of the REFSQ`95 is to bring together people working in the fields of requirements engineering and software quality, focussing on the - specification of quality requirements - their traceability back to user needs and forward to the design - their realization by SE methods - and the measurement of their achievement. T H E M E S REFSQ`95 invites contributions from research as well as from industry, dealing with (but not limited to) the following topics: - Specification of software quality requirements - Quality models for requirements engineering - Integration and extension of specification models by quality aspects - Formal representation methods - Quality-oriented process models for requirements engineering - Traceability of quality requirements - The interplay between design and requirements engineering methods - Measurement of quality requirements satisfaction by suitable metrics P A R T I C I P A T I O N The workshop will be an interactive forum with presentations of papers and discussion groups. Presentations will be brief (10 minutes max.) and will be followed by a panel discussion between authors and audience. Papers should emphasize what is new and significant about the chosen approach and adequately compare it with similar work. Attendance will be limited to 25 people and all participants must have written accepted papers. The workshop language is English. As the workshop is being organized in conjunction with the CAiSE conference all workshop participants are expected to attend the main conference. I N S T R U C T I O N S F O R A U T H O R S Send your full paper (max. 6000 words) or position paper (max. 2000 words) by e-mail or via normal post until March 1st (arrival date) to: REFSQ '95 Lehrstuhl Informatik V Ahornstr. 55 D-52074 Aachen Germany e-mail: {pohl,peters}@informatik.rwth-aachen.de Papers will be published in the workshop proceedings and will be available for accepted and registered participants at the beginning of the workshop. I M P O R T A N T D A T E S Submission deadline: March 1st 1995 Acceptance notification: April 1st 1995 Camera ready paper due: May 1st 1995 O R G A N I Z A T I O N Klaus Pohl, Peter Peters Richard Wang Lehrstuhl Informatik V MIT Ahornstrasse 55 Sloan School of Management D-52074 Aachen 50 Memorial Dr, E53-317 Germany Cambridge, Mass. 02142-1347 Tel. +49-241-80-21512/3 +1-617-253-0442 Fax. +49-241-8888-321 +1-617-253-3321 ********************************************************************** From: vplihon@masi.ibp.fr (Veronique PLIHON) Subject: CFP 2nd Doctoral Consortium on Advanced Information Systems Engineering 2nd Doctoral Consortium on Advanced Information Systems Engineering CALL FOR CONTRIBUTION ORGANISERS : Said ASSAR, Veronique PLIHON DESCRIPTION The Doctoral Consortium Workshop brings together PhD students within the information systems engineering field. Its intention is to give them the oppurtunity to present their research, to discuss it with other doctoral students and to create a feed-back about their work. During the Consortium, an expert panel consisting of two prominent professors whithin the field of Information Systems Engineering will act as a catalyst for the discussions. The consortium will be held in connection with the CAiSE*95 conference in Jyvaskyla. It will be part of the Workshop programme of the CAiSE*95 conference. The two first days of the conference have been reserved for the consortium (i.e., on 12th and 13th June, 1995). SUBMISSIONS : To apply for participating at the consortium, you must provide five copies of an abstract of your doctoral work. The abstract should : 1- state clearly since when the research began, if it's a full time or part time work, and how the research work is financed; 2- identify clearly the research question; 3- outline the hard problems in the field of research and the current solutions (if any) with the help of 4 to 5 known references; 4- present the preliminary ideas and state clearly the proposed approach; 5- present the contributions of the applicant and the results of the work (if any). The abstract should be no more than two pages long. Admission is limited to 18 students. Submissions will be selected based on the topic, quality, and interest of the two-pages abstract they submit. The topic should be in line with the main conference topics (see Call for papers for the CAiSE*95 conference). IMPORTANT DATES Submission deadline (camera ready format) : March 1st 1995 Notification of acceptance : April 15th 1995 CONTACT ADDRESS : Said ASSAR Departement des Systemes d'InformatioN Institut National des Telecommunications 9, rue Charles Fourier 91011 EVRY - FRANCE E-mail : assar@galaxie.int-evry.fr ********************************************************************** Subject: Requirements: a quick and inxpensive way to improve testing From: ttn@soft.com (Testing Techniques Newsletter) REQUIREMENTS: A QUICK AND INEXPENSIVE WAY TO IMPROVE TESTING Bell Labs and IBM studies have determined that 80% of all defects are inserted in the requirements phase. Improving the requirements defini- tion process reduces the amount of testing and rework required. The following six steps present a process to standardize software require- ments development. 1. ADOPT A STANDARD FOR DEVELOPING SOFTWARE REQUIREMENTS. Often, software development organizations write standards that codify inadequate practices. Consider adopting industry-accepted stan- dards that meet your organization's needs and make it stretch. 2. USE A PERSON WITH ORGANIZATIONAL AND REQUIREMENTS-DOCUMENTATION SKILLS TO FACILITATE REQUIREMENTS WORKING-GROUP SESSIONS. Use a trained facilitator to lead the developments of a requirement specifications template and subsequent requirements-gathering efforts. 3. DEVELOP A SYSTEM-SPECIFIC GUIDE TO REQUIREMENTS SPECIFICATION BASED ON THE SELECTED STANDARD. Using the adopted standard, develop a system-specific template for requirements specification. Follow the standard, but paraphrase each item in the standard's checklist in terms understood by all team members. Do not omit items in the standard. You do not have to complete each one, but account for them all. If you do not account for each item, you are out of compliance with the standard. 4. FOLLOW STANDARD QUALITY ASSURANCE PRACTICES FOR REVIEW, APPROVAL AND SIGN-OFF OF THE REQUIREMENTS SPECIFICATIONS. 5. REQUIRE THAT A REQUIREMENTS MATRIX BE A STANDARD DELIVERABLE WITH EACH REQUIREMENTS SPECIFICATION, AND TRACE EACH REQUIREMENT THROUGH TO IMPLEMENTATION. Develop a table that cross-references each requirement to the design, the coded module and the test case. Trace the progress of each requirement through to implemen- tation. 6. TRACK THE RESULTS. Develop measurements for analyzing the requirements development process. References: 1. Software Management Guide, Software Technology Support Center. Hill Air Force Base, UT 84056---1-800-777-7703 2. Standard, Guidelines and Examples on System and Software Requirements Engineering. IEEE Computer Society Press ---1-800-CS- BOOKS 3. IEEE Standards Collection--Software Engineering 1994, Institute of Electrical and Electronics Engineer, Inc.---1-800-678-IEEE 4. Making Software Measurement Work, Bill Hetzel, 1993. QED Publishing Group M. Sue White 2600 Camino Ramon 3N200P San Ramon, CA 94583 510-823-2376 Edited by Elizabeth Tuck ********************************************************************** From: edu@info.fundp.ac.be (Eric Dubois) Subject: Albert on WWW Since 1992, mainly under the framework of the Esprit II ICARUS project, the RE team in Namur (B) has been involved in the development of the ALBERT language (an acronym for "Agent-oriented Language for Building and Eliciting Requirements for real-Time systems"), a language that has been designed for the purpose of modelling Functional requirements related to real-time distributed and cooperative systems. Information on the RE activities around Albert can be accessed through WWW. The URL is: http://www.info.fundp.ac.be/~pdu/albert.html ********************************************************************** From: ban@doc.ic.ac.uk (Bashar Nuseibeh) Subject: BCS RE Group Meeting on Enterprise Modelling Meeting of the Requirements Engineering Group of the BCS on Enterprise Modelling Date: 25th January 1995 Time: 2-5pm Venue: Room D7 Renold Building UMIST Sackville Street Manchester Panel Presentations by: Peter Houghton Defence Research Agency Malvern "Modelling Dynamic Organisations" Anne Waywell British Aerospace Defence Limited Military Aircraft Division, Warton "Enterprise Modelling - a real benefit?" Prof Pericles Loucopoulos UMIST, Manchester Translating Enterprise Goals into Specifications of Software System Behaviour Prof. Mike Martin, Ryton Associates Ltd. Visiting Professor, University of Newcastle upon Tyne. "What should an enterprise model be able to do?" --------------------- ABSTRACTS --------------------- Modelling Dynamic Organisations Peter Houghton Defence Research Agency Malvern This paper will explain some of the difficulties of using enterprise modelling techniques to assist the requirements process for information systems in organisations which experience rapid change. There are many claimed benefits for the use of enterprise modelling in the development of information systems. However it should be understood that most models provide a static picture of an organisation. If organisational change is a gradual process then the use of such models for information systems development is beneficial. However if the organisation experiences rapid change the models can very quickly become unrepresentative of the current situation. The danger is that information systems are built on the basis of these static organisational models. The more detailed these models become the more specific the information systems developed from them. With this specificity comes a loss of flexibility. For organisations that need to respond rapidly to unforseen events, such as military command organisations this lack of flexibility is not acceptable. The paper will put forward some ideas on how enterprise modelling techniques might be altered to deal with these difficulties and how they might fit into a development process that does not lead to the production of inflexible systems. The research work has also developed a simple modelling tool which, while not solving all the above problems, does support requirements elicitation and the use of enterprise modelling technqiues. The paper will briefly describe what the tool is designed for and what its properties are. ----------------------- British Aerospace Defence Limited MILITARY AIRCRAFT DIVISION WARTON CAE and Technical Computing Department Research Development Group Abstract of presentation Enterprise Modelling - a real benefit? A.H.Waywell A major concern during the development of a software application is gathering the requirements from the customer. Indeed this is of concern not just for software application development. It is vitally important to try to gather ac- curate requirements in the early stages of development, as the costs to rec- tify problems caused by incomplete, inconsistent requirements increase 10 fold and 100 fold dependent on the development stage in which they are found. Since 1977, the panellist has been involved in a huge variety of software de- velopment projects and, more recently, in an ESPRIT Project entitled From Fuzzy To Formal (!!!F sup 3!!!), whose aim is to improve the communication be- tween the customer and application developer in order to obtain an agreed and validated specification of the future application system. The project's aim is to develop an integrated requirements engineering method, which addresses all requirements engineering activities supported by an integrated set of tools. Validation is being performed by application developers via industrial case studies. One of the techniques being defined and refined as part of this project is En- terprise Modelling. The presentation will attempt to show the realistic view of Enterprise Modelling from British Aerospace's perspective. ----------------------- Translating Enterprise Goals into Specifications of Software System Behaviour Pericles Loucopoulos Abstract A critical factor in successful requirements analysis appears to be the understanding not only 'what' the system under consideration should do, but also 'why'. To capture the reason of a system, one needs a mechanism to describe the behaviour of the organisation in which the software system is going to operate. This approach suggests further understanding and modelling of the organisational goals and the way that these goals become operationalised. In software systems development we often make the distinction between the enterprise world and the system world. The former describes the domain about which the proposed software system is to provide some service, while the second is concerned with specifications on what the system does and include descriptions of the systems requirements, conceptual designs and implementations. This talk will describe an approach to linking the two worlds, thus bridging enterprise modelling activities with the software system specification. This integrated view can be used to approach system components from an organisational perspective. It gives the ability to move between enterprise goals and relevant information, infusing meaning into the systems output. ----------------------- Mike Martin, Ryton Associates Ltd. Visiting Professor, Department of Computing Science, The University of Newcastle upon Tyne. What should an enterprise model be able to do ? The purpose of an enterprise model is to represent and reason about organisations, but what are the range of things that need to be represented and what sort of reasoning must be supported? There are many different contexts for the articulation and the use of models which place a wide range of demands on the representation, denotation, compositional capabilities of any approach. Common to all of them is the requirement to support the processes of generation, analysis and evaluation of policy makers, problem owners and the architects of systems and organisations. ********************************************************************** From: RXV%mimi@magic.itg.ti.com (Richard Veryard) Subject: Call for Papers for First Working Conference of WG8.6 Call for Papers First IFIP WG8.6 Working Conference Diffusion and Adoption of Information Technology October 14-17, 1995, Oslo, Norway General Chair: Priscilla Fowler, Software Engineering Institute, USA Organizing Chairs: Karlheinz Kautz (Chair),Norwegian Computing Center, Norway Tor J. Larsen, Norwegian School of Management, Norway Paal Soergaard, University of Oslo, Norway Program Chairs: Jan Pries-Heje (Chair), Copenhagen Business School, Denmark Karlheinz Kautz (Co-Chair), Norwegian Computing Center, Norway CONFERENCE AIMS AND SCOPE The new IFIP Working Group on diffusion, transfer, and implementation of information technology is organizing its first working conference in Oslo, Norway on the theme of diffusion and adoption of IT. IT is playing an increasingly important role in many organizations, sectors and countries. There are still many problems in the practical adoption of the technology, and one does often not achieve the expected results with IT.This may be due to: - unrealistic expectations as to what can be achieved - non-fulfilment of the prerequisites for the effective use of the technology - inappropriate attention to adoption process and associated change processes in the organization using the technology - the intertwining between IT-strategy and diffusion of IT in the organization - problems with the technology (e.g. lack of flexibility) The conference will offer a range of papers, panels and workshops that will explore the themes of diffusion and adoption. Furthermore, the conference will feature three keynote speakers, presenting different views on the conference theme. SPECIFIC ISSUES The conference will continue the themes from the IFIP TC8 Conference on diffusion and transfer of information technology in Pittsburgh, October 1993, but also include other issues of relevance: - Models and theories of software and information technology transfer. - Adopting IT in the organization. - Transfer of IT between individuals, organizations, sectors or countries. - University/Industry cooperation. - Studies of technology policy. - Organizational mechanisms facilitating adoption. - Managing IT-related change processes. - Standard products versus custom-tailored versus in-house development: different adoption processes? - Adaptive technology for better diffusion. - Evaluation of adoption and diffusion processes, how to learn from practice. - Research methods applicable to the study of IT diffusion and adoption. The program committee welcomes case-studies as well as theoretical contributions to the conference topic. PROGRAM COMMITTEE Richard Baskerville, SUNY Binghampton, USA Mary Prescott, University of Southern Florida, USA Barbara Bowers, Hewlett Packard, USA Lyn Purdy, University of Western Ontario, Canada Sue Brown, University of Minnesota, USA Chris Sauer, University of New South Wales, Australia Tron Espeli, Norwegian Research Council, Norway Paal Soergaard, University of Oslo, Norway Gordon Davis, University of Minnesota, USA Burt Swanson, University of California, USA Bernie Glasson, University of Perth, Australia Anne Tyrie, IT Research Centre, Canada Pasi Kuvaja, University of Oulu, Finland Richard Veryard, Texas Instruments, UK Tor J. Larsen, Norwegian School of Management, Norway Richard Vidgen, University of Salford, UK Gonzalo Leon, Polytechnical Univ. of Madrid, Spain Michael Wasmund, IBM, Germany Linda Levine, Software Engineering Institute, USA Rainer Zimmermann, European Union, Belgium Gitte Lindgaard, Australian Telecom, Australia Robert Zmud, University of Florida, USA Lars Mathiassen, University of Aalborg, Denmark PAPERS Submitted papers will undergo a blind refereeing process. The papers will be printed in a notebook to be distributed at the conference. Papers should not exceed 5000 words. The conference proceedings will appear in the IFIP book series by Chapmann and Hall. The proceedings will contain short reports from the work shops, a general report from the conference, and papers accepted for the conference proceedings. PANELS Panels should address a well-defined issue. Panel proposals should include a title, the proposed chair, the tentative panellists (not more then 4), a brief description of the panel session subject and a supporting rationale. WORKSHOPS Workshops should also be organized around specific topics. In contrast to paper and panel sessions they should encourage active involvement, participation and dialogue. Workshop proposals should include a title, the proposed chair or faciltators, the tentative list of discussants or contributors, a description of the workshop subject, and a supporting rationale. SUBMISSION PROCEDURES Send six copies of your paper, panel or workshop proposal (no email or fax please) to: Jan Pries-Heje Institute of Computer and Systems Science Copenhagen Business School Rosenxrns Alle 31 DK-1970 Frederiksberg, Denmark email: jpheje/DASY@cbs.dk or Karlheinz Kautz Norwegian Computing Center PO Box 114 Blindern N-0314 Oslo Norway email: Karl.Kautz@nr.no Submission deadline: March 24, 1995 Notification of acceptance: July 1, 1995 Final versions due: August 15, 1995 Conference dates: October 14-17, 1995 Proceedings version due: December 24, 1995 CONTACT INFORMATION Requests for further information, etc. can be directed to Karlheinz Kautz Norwegian Computing Center PO Box 114 Blindern N-0314 Oslo Norway Karl.Kautz@nr.no Tor J. Larsen Norwegian School of Management PO Box 580 N-1301 Sandvika Norway Tor.Larsen@bi.no Paal Soergaard Dept. of Informatics University of Oslo PO Box 1080 Blindern N-0316 Oslo Norway paalso@ifi.uio.no This call for papers and other relevant material will be available from World Wide Web on the following URL: http://www.ifi.uio.no/~paalso/wg8.6/ **********************************************************************