************* REQUIREMENTS ENGINEERING NEWSLETTER ************
SPONSORED BY RENOIR: the Requirements Engineering Network of Excellence
No. 44.
Contents
44.1 Message from the Moderators
44.2 Subject: CFP: IEEE Int'l Conf. on Requirements Eng.
44.3 Subject: CFP: ETAPS '98
44.4 Subject: CFP: Conference on European Industrial Requirements Engineering (CEIRE'98)
44.5 Subject: CFH: A novel approach??
44.6 Subject: EVENT: BCS Req. Eng. Sp. Group Symposium on Scenarios and Use Cases
44.7 Subject: JOBS: RA in Requirements Engineering
44.8 Subject: JOBS: Post..Doc. & RA's in Miami
44.9 Subject: WEB: Thesis abstract: "Requirements Acquisition and Specification for Telecommunication Services
44.1 Message from the Moderators
Welcome to the 44th edition of the Requirements Engineering Newsletter. This follows on approximately five weeks from the previous issue. Therefore, this issue is considerably shorter! We shall attempt to keep the frequency to that of one newsletter every six to eight weeks, but this of course depends on the frequency of contributions to the newsletter.
Anthony Finkelstein
Galal Hassan Galal
*********************************************************************
44.2 Subject: CFP: IEEE Int'l Conf. on Requirements Eng.
From: Dan Berry
Date: Wed 18th February 1998 10:03:07 +0200
ADVANCE PROGRAM
THIRD IEEE INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING
THEME : Putting Requirements Engineering to Practice
An IEEE Software Magazine Technology Transfer Conference
April 6-10, 1998
Colorado Springs, Colorado, USA
Sponsored by IEEE Computer Society - Technical Council on Software Engineering
Corporate Support from Fujitsu and INCOSE
KEYNOTE SPEAKERS
Edward Yourdon
``Requirements Engineering for Y2000 Projects: Why Is It Harder Than It Seems?''
Gerald M. Weinberg
``Experiencing Requirements''
ICRE '98 ORGANIZING COMMITTEE
GENERAL CHAIR
Nancy Mead, Software Engineering Institute, USA
PROGRAM CO-CHAIRS:
Daniel Berry, Technion, Israel
Brian Lawrence, Coyote Valley Software Consulting, USA
LOCAL ARRANGEMENTS CHAIR
Rick Hubbard, Leader Group Inc., USA
TUTORIALS CHAIR
Annie Anto'n, University of South Florida, USA
REGISTRATION CHAIR
Charlene Svitek, Software Engineering Institute, USA
FINANCIAL CHAIR
Steve Easterbrook, NASA/West Virginia University, USA
PUBLICITY CHAIRS:
Yahya Al-Salqan, Sun Microsystems, Inc., USA
Pattanasak Mongkolwat, Compuport, LLC, USA
PANELS COORDINATOR
Greg Zelesnik, Carnegie-Mellon University, USA
EXHIBITS COORDINATOR
Dave Hottman, Compliance Automation, Inc. USA
STEERING COMMITTEE:
Daniel Berry, Technion, Israel
Carl Chang, Chair, University of Illinois at Chicago, USA
Alan Davis, University of Colorado at Colorado Springs, USA
Merlin Dorfman, Cisco Systems, USA
Pei Hsia, University of Texas at Arlington, USA
Brian Lawrence, Coyote Valley Software Consulting, USA
Nancy Mead, Software Engineering Institute, USA
Chandra Shekaran, Microsoft Corporation, USA
Jawed Siddiqi, Sheffield Hallam University, United Kingdom
PROGRAM COMMITTEE:
A. Anto'n M. Ardis J. Atlee
J. Boddie J. Brackett K. Breitman
J. Callahan J. Chen B. Cheng
D. Colby R. Ravenel Dameron J. Dobson
J. Drake S. Easterbrook M. Feather
M. Feblowitz P. Furher J. Gao
M. Gaska D. Gause J. Goguen
L. Goldin O. Gotel P. Grabow
S. Greenspan R. Johnson H. Krasner
A. van Lamsweerd J. Leite R. Lutz
S. Marsh Roberts J. Mylopoulos B. Nuseibeh
M.B. Ozcan B. Pardee K. Pohl
C. Roast S. Robertson L. Rosenberg
A. Sutcliffe S. White A. Yaung
G. Zelesnik D. Zowghi
Pre-Conference Tutorial 1
Monday, April 6, 1998, 8:30 a.m. - Noon
Video-Supported Ethnography for Requirements Capture
by Marina Jirotka
Tutorial Description:
It is frequently the case that designers of technology should understand how activities are accomplished in specific work domains prior to starting any system development. An understanding of the workplace is desirable in order to design systems that are sensitive to work practices and may thus assist in the deployment of new technology. Furthermore, a greater awareness of specific work settings can provide insights for designers to rethink general key concepts in the field of system design. In recent years, ethnographic analyses have been proposed not only as an additional technique for providing insights into the problems surrounding the introduction of new technology but also as a means of highlighting critical requirements in a particular domain. This workshop will introduce ethnographic techniques and discuss their role in the requirements process. The session will offer practical guidance on carrying out naturalistic studies, focusing particularly on one approach that has proved useful in a range of settings including financial trading rooms, customer service centres and control rooms.
This approach utilizes video to support ethnographic techniques and the session will offer advice on what is required to both capture and analyze video data. The tutorial aims to provide an introduction to video supported ethnography and offers assistance and advice on how participants could design and undertake their own naturalistic studies. The session aims:
1.to provide an overview of video supported ethnography and to compare the approach with other techniques for gathering data;
2.to illustrate specific elements of the technique through a case study;
3.to guide participants through an exercise in order to familiarize participants with techniques for analyzing materials;
4.to demonstrate how ethnography supported by video recordings of activities can be used to identify critical features for requirements practice.
Marina Jirotka is a senior researcher at the University of Oxford Computing Laboratory, in the Centre for Requirements and Foundations. UK. Her research and consultancy interests have focused on the interface between the social and the technical for the development of software and she has taught on undergraduate and graduate courses as well as developing courses and tutorials for industry. Particular research activities include: detailed examination of the use of methods from the social sciences for the elicitation of requirements; investigating how different concepts of interaction can be used to develop systems to support collaborative work; and exploringhow observations of collaborative work made from detailed examination of the use of methods from the social sciences for the elicitation of requirements; investigating how different concepts of interaction can be used to develop systems to support collaborative work; and exploring how observations of collaborative work made from detailed empirical analysis might be considered in the design of information technology. The dissemination of the results of this interdisciplinary research has involved extensive collaboration with a wide range of industrial and other institutions including British Telecom, GPT, IBM, and Ford.
Pre-Conference Tutorial 2
Monday, April 6, 1998, 1:30 p.m. - 5:00 p.m.
Joint Essential Modeling: Collaborative User Requirements Modeling for Usability
By Larry Constantine
Tutorial Description
Usage-centered design is a proven model-driven process for producing highly usable software products. A set of simple but powerful models are used to capture, represent, and communicate the roles and tasks of users and the content and organizations of user interfaces required to support them. Joint Essential Modeling was developed as a straightforward process for collaborative user-developer construction of these basic models. This tutorial introduces the core models of usage-centered design structured user role models, essential use cases, and interface content models and a simple JAD-like process for efficient collaborative modeling with an agenda focused on software usability and improved user interface design.
Larry Constantine is a professor of Computing Sciences, University of Technology, Sydney, Australia, and Principal Consultant, Constantine & Lockwood, Ltd., He is the original inventor of structured design and one of the pioneers of modern software engineering practice. He is the co-developer of usage-centered design and the author, with Lucy Lockwood, of Software for Use: A Practical Guide to the Models and Methods Usage-Centered Design (Addison-Wesley, 1998). His more than 100 published papers and ten books span multiple disciplines, and his clients include major firms and organizations around the globe.
Post-Conference Tutorial 3
Friday, April 10, 1998, 8:30 a.m. - Noon
SEEING CUSTOMER REQUIREMENTS
DEFINING QUALITY BEFORE DESIGN
ASSURING QUALITY DURING DESIGN
IMPROVING QUALITY AFTER DESIGN
By Don Gause
Tutorial Description
We will present, in an informal, eye-popping manner, a series of hip pocket heuristics created for the purpose of getting a better look at the real requirements before, during, and after design. We have found these heuristics to be especially helpful in creating new ideas and concepts, identifying users and attributes, and developing features and functions before design. They are equally useful in uncovering and documenting new requirements and tracking conformance to existing requirements during design. Our documentation and awareness of the design process encourages process improvement after design.
Design visibility is enhanced to the point that: 1) ambiguity is surfaced early where it can be resolved in a cost effective manner, 2) conflict is recognized and resolved before it causes inconsistency in the product, 3) responsibility is more clearly defined so that all parties understand what is expected, 4) design risk is continuously recognized, monitored, managed and mitigated, 5) what is in and what is out of scope is understood, 6) designers and users develop a more compatible picture of design expectations.
Don Gause is a professor of Systems Science at Thomas J. Watson School of Engineering, State University of New York/Binghamton. He has served as an international visiting scholar and has been a national lecturer for a number of professional societies, including ACM. Mr. Gause's consulting and research interests include the management of innovation within large organizations, the design of user oriented systems, the development and analysis of systems design processes, and the design, modeling and simulation of complex systems. Mr. Gause is the author (with G.M. Weinberg) of Are Your Lights On?: How to Figure Out What the Problem REALLY Is, Dorset House, N.Y., 1990 and Exploring Requirements:
Quality BEFORE Design, Dorset House, N.Y., 1989.
Post-Conference Tutorial 4
Friday, April 10, 1998, 1:30 p.m. - 5:00 p.m.
Advanced Structured and Object-Oriented Requirements Specification Methods
By Roel Wieringa
Tutorial Description
The purpose of the tutorial is to present some of the latest developments in the field of object-oriented requirement specification and place them into perspective by comparing them to recent developments in structured analysis. The tutorial treats the following
three techniques and methods:
* the 1997 version of the Unified Modeling Language;
* the 1996 version of Fusion, extended with Use cases;
* the 1993 version of the Yourdon Systems Method.
These techniques and methods are analysed in terms of a framework that is derived from systems engineering. The strengths and weaknesses of each method are pointed out, and their agreements as well as differences are analyzed. In particular, we look at the potential for combining parts of different methods. As a result, the audience should be able to appreciate the conceptual possibilities as well as pitfalls on the road from structured to object-oriented analysis.
The intended audience consists of
*practitioners who consider transitioning to object-oriented requirements
specification and
*practitioners as well as researchers who want to learn about the latest
developments in object-oriented requirements specification.
The tutorial assumes basic knowledge of structured analysis techniques.
Roel Wieringa is an associate professor of Computer Science at the Free
University, Amsterdam. He recently wrote a book titled Requirements
Engineering Methods and Frameworks, published by Wiley.
ICRE '98 Conference Program
Tuesday, April 7, 1998
8:30 a.m. - 10:30 a.m. Session K1: Keynote Address
Welcome: General Chair - Nancy Mead
Program Overview: Program Chairs - Daniel Berry and Brian Lawrence
Keynote Speaker: Edward Yourdon ``Requirements Engineering for
Y2000 Projects: Why is it Harder than it Seems?''
11:00 a.m. - 12:30 p.m. Session P1: Safety, Survivability, and Fault Tolerance
P. Grabow, Chair
Validating Requirements for Fault Tolerant Systems using Model
Checking,'' F. Schneider, S. Easterbrook, J. Callahan, G. Holzmann
`Requirements Definition for Survivable Network Systems,'' R.
Linger, N. Mead, H. Lipson
``Safety Analysis of Requirements for a Product Family,'' R. Lutz,
G. Helmer, M. Moseman, D. Statezni, S. Tockey
11:00 a.m. - 12:30 p.m. Session P2: Traceability and Change Management,
K. Pohl, Chair
Automating Requirements Management - Beware HOW you use tools,''
T. Hammer, L. Huffman
``Lessons Learned from Building a Web-Based Requirements Tracking
System,'' X. Song, B. Hasling, G. Mangla, B. Sherman
``Restructuring Requirements Specifications for Managing
Inconsistency and Change: A Case Study,'' A. Russo, B. Nuseibeh,
J. Kramer
2:00 p.m. - 3:30 p.m. Session N1: A Case for Priority, I. Hooks, Chair
Mini-Tutorial
4:00 p.m. - 6:00 p.m. Session P3: Elicitation, R. Tolcher, Chair
Child's Play: Using Techniques Developed to Elicit Requirements
from Children with Adults,'' N. Millard, P. Lynch, K. Tracey
``Viewpoints for Requirements Elicitation: A Practical Approach,''
I. Sommerville, P. Sawyer, S. Viller
``Surfacing Root Requirements from Inquiry Cycle Requirements
Documents,'' W. Robinson, S. Pawlowski
``Conceptual Predesign - Bridging the Gap between Requirements and
Conceptual Design,'' C. Kop, H. Mayr
4:00 p.m. - 5:30 p.m. Session P4: Modeling and Requirements, R. Lutz, Chair
``Requirements Engineering: A Perspective Through Theory-Building,''
M. Loomes, S. Jones
``Experiences Integrating Requirements Engineering and Business
Analysis,'' M. Haglind, L. Johansson, M. Rantzer
``Using a Quality Model Framework to Strengthen the Requirements
Bridge,'' C. Smith
Wednesday, April 8, 1998
8:50 a.m. - 9:00 a.m. Announcements
9:00 a.m. - 10:30 a.m. Session N2: Delivering Requirements Engineering,
S. Greenspan, Chair
Mini-Tutorial
``Requirements Engineering and Industrial Uptake,'' P. Morris,
M. Masera, M. Wilikens
``Transition Packages: An Experiment in Expediting the Introduction
of Requirements Management,'' P. Fowler, M. Patrick, A. Carleton,
and B. Merrin
11:00 a.m. - 12:30 p.m. Session P5: Scenarios, S. Easterbrook, Chair
``CREWS-SAVRE: Systematic Scenario Generation and Use,'' N. Maiden,
S. Minocha, K. Manning, M. Ryan
``A Case Study of Decomposing Functional Requirements Using
Scenarios,'' H. Kaindl, S. Kramer, R. Kasich
``Experience with SCRAM, a Scenario Requirements Analysis Method,''
A. Sutcliffe, M. Ryan
11:00 p.m. - 12:30 p.m. Session P6: Research in Progress, M. Feather, Chair
``Systematic Formulation of Non-Functional Characteristics of
Software,'' X. Franch
``An Approach for Cross-Discipline Requirements Engineering Process
Patterns,'' M. Gaska, D. Gause
``A Framework for Requirements Engineering through Mixed-Initiative
Dialogue - Representation issues,'' R. Lecoeuche, C. Mellish,
D. Robertson
2:00 p.m. - 3:30 p.m. Session N3: Specifying Requirements for Survivable
Systems, R. Linger, Chair Panel
3:30 p.m. - 7:00 p.m. Tools Fair/Vendors' Exhibits/Touring *
Thursday, April 9, 1998
8:30 a.m. - 10:30 a.m. Session K2: Keynote Address
Keynote Speaker: Gerald M. Weinberg ``Experiencing Requirements''
11:00 a.m. - 12:30 p.m. Session P7: Scenarios and Intentions, D. Zowghi,Chair
``Intent Specifications: An Approach to Building Human-Centered
Specifications,'' N. Leveson
``A Framework for Scenario Evolution,'' K. Breitman, J. Leite
``Scenario Usage in System Development: A Report on Current
Practice,'' K. Weidenhaupt, K. Pohl, M. Jarke, P. Haumer
11:00 a.m. - 12:30 p.m. Session P8: Requirements and Software Reuse,D. Gause,
Chair
``Requirements Engineering in Control Center Procurement Projects,''
P. Forsgren, A. Daugulis
``Technology Transfer for Reuse: A Management Model and Process
Improvement Framework,'' W. Lam, S. Jones, C. Britton
``Acquiring Requirements for Commercial Off-The-Shelf Package
Selection,'' N. Maiden, C. Ncube
1:30 p.m. - 3:00 p.m. Session N4: The Role of the Facilitator in Requirements
Engineering, L. Macaulay, Chair Panel
3:00 p.m. - 4:30 p.m. Session N5: Report from the Pre-Conference Workshop,
B. Lawrence, Chair **Panel
4:30 p.m. - 5:00 p.m. Farewell
* Vendor presentations organized by Colorado Chapter of INCOSE.
Vendors should contact Dave Hottman at 70254.1560@compuserve.com for
more information.
** Those desiring to attend the Pre-Conference Workshop should contact
Brian Lawrence at lawrence@acm.org for more information.
SCHEDULE AT-A-GLANCE
Sunday, April 5, 1998
7:30 p.m. - 9:00 p.m. Early Registration
Monday, April 6, 1998
7:30 am. - 8:30 am. Continental Breakfast
7:00 am. - 5:00 pm. Registration
8:30 am. 12:00 pm. Half-Day AM Tutorial
10:00 am. 10:30 am, AM Break
12:00 pm. 1:30 pm. Lunch (On Your Own)
1:30 .pm. 5:00 pm. Half-Day PM Tutorial
3:00 p.m. -3:30 pm. PM Break
6:00 p.m. -7:30 pm. Conference Reception
Tuesday, April 7, 1998
7:30 am. - 8:30 am. Continental Breakfast
7:30 am. - 5:30 pm. Registration
8:30 am. - 10:30 am. Plenary Session
10:30 am. 11:00 am. AM Break
11:00 am. 12:30 pm. Presentation Session - Track 1
11:00 am. 12:30 m. Presentation Session - Track 2
12:30 pm. 2:00 pm. Lunch (Provided)
2:00 pm. - 3:30 pm. Mini-Tutorial Session
3:30 pm. 4:00 pm. PM Break
4:00 pm. 6:00 pm. Presentation Session - Track 1
4:00 pm. 5:30 pm. Presentation Session - Track 2
Wednesday, April 8, 1998
7:00 am. - 7:00 p.m Tools Fair/Vendor Exhibit
7:30 am. - 8:30 a.m. Continental Breakfast
8:30 am. - 5:00 p.m. Registration
9:00 am. - 10:30 a.m. Presentation Session
8:50 am. - 10:30 a.m. Mini-Tutorial Session
10:30 am. 11:00 a.m. AM Break
11:00 am- 12:30 p.m. Presentation Session - Track 1
11:00 am..12:30 p.m. Presentation Session - Track 2
12:30 pm. 2:00 p.m. Lunch (Provided)
2:00 pm. - 3:30 p.m. Panel Session
3:30 pm. - 4:00 p.m. PM Break
3:30 pm. - 7:00 p.m. Tools Fair/Vendor Exhibit
Thursday, April 9, 1998
7:30 am. - 8:30 am. Continental Breakfast
8:30.am. - 5:00 pm. Registration
8:30 am. - 10:30 am. Plenary Session
10:30 am. 11:00 am. AM Break
11:00 am. 12:30 pm. Presentation Session Track 1
11:00 am. 12:30 pm. Presentation Session Track 2
12:30 pm. 1:30 pm. Lunch (Provided)
1:30 pm. - 3:00 pm. Panel Session
3:00 pm. - 4:30 pm. Panel Session
4:30 pm. - 5:00 pm. Farewell
Friday, April 10, 1998
7:30 am. - 8:30 am. Continental Breakfast
8:30 am. - 12:00 pm. Registration
8:30 am. - 12:00 pm. Half-Day AM Tutorial
10:00 am. 10:30 am. AM Break
12:00 pm. 1:30 pm. Lunch (On Your Own)
1:30 pm. - 5:00 pm. Half-Day PM Tutorial
3:00 pm. - 3:30 pm. PM Break
ICRE'98 Conference Registration Form
RETURN TO:
Charlene Svitek
2620 Oakhill Drive
Library, PA 15129
REGISTRATION INQUIRIES:
If you have any questions about registration or payment, contact
Charlene Svitek, Phone 412 / 833 - 8944; Fax: 412 / 268 - 5758
Internet: crs@sei.cmu.edu
The registration fee includes conference materials; continental breakfast;
lunch on conference days only (4/7-4/9); coffee and snack breaks; and
one evening reception.
CONFERENCE FEES
Non-Member
Full-Time Member
Student*
Check Advanced Registration _ $510 _$410 _$205
One (before March 13, 1998)
Late/On-site Registration _$595 _$485 _$255
_____________________ _________________
IEEE Membership Number Student I.D. Number
* To receive a full-time student rate, you must provide an I.D. number
and include a letter from the registrar's office confirming your status.
TUTORIAL FEES: Half-Day Tutorial Selections
Check Advanced Registration _$90 ________________________
One (before March 13, 1998)
Late/On-Site Registration _$110 ________________________
Half-Day Tutorial Fees $90 ($110) x ________= Total Tutorial Fees $_________
PAYMENT: Check One:
Purchase Order*
Check** (payable to IEEE/ICRE'98)
Mastercard _ Visa _ American Express _ Diner's Club
_____/____ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __ __
Exp. date Credit Card Number
Signature:_____________________________________________________________
* Only purchase orders from US government agencies will be accepted.
The purchase order MUST accompany the registration form.
** Checks must be in US dollars and drawn on US banks.
Conference Fee $_________ + Tutorial Fees $________ = Total Enclosed $__________
TERMS
Payment is required with all advanced registrations. ICRE will refund all cancellations minus a $50 administration service charge. Substitutions may be made at any time but you must inform ICRE registration in writing.
LODGING INFORMATION
A block of rooms has been reserved at the Colorado Springs Marriott, 5580
Tech Center Colorado Springs, CO 80919. Hotel reservations can be made
by calling 1-800-962-6982 or faxing to 719-260-1492. Other arrangement
1-800-962-6983 inquiries can be directed to 719-260-1800. Conference rate
of $117/night, please mention ``ICRE98/IEEE'' and reserve your room no
later than March 16, 1998.
CONFERENCE INFORMATION
Please visit the ICRE'98 Web
Site for conference information:
http:www.icse.eecs.uic.edu/icre98/
http:www.cs.technion.ac.il/~icre98/
PARTICIPANT INFORMATION
_____________________________________________________________________
Last name, first name, M.I. (Mr., Mrs., Ms., Dr.) Organization/company
_____________________________________________________________________
Mailing Address: City/State/Zip/Country
_____________________________________________________________________
E-mail Address (Important) Phone Number Fax Number
_____________________________________________________________________
Dietary Requirements Access Requirements
Signature
44.3 Subject: CFP: ETAPS '98
Date: Tue, 24 Feb 1998 14:18:09 +0000
From: Fiadeiro
CALL FOR PARTICIPATION
European Joint Conferences on Theory and Practice of Software
(E T A P S 98)
Lisbon,Portugal - March 28 - April 4, 1998
http://www.di.fc.ul.pt/~llf/etaps98/
ETAPS is a new European forum for academic and industrial researchers
working on topics relating to Software Science.
During 8 days, ETAPS will give you the opportunity to choose between 100
regular papers covering a wide range of topics from Theory to Practice, 7
invited lectures, 9 tutorials, and 4 thematic workshops offering dozens
more talks! =20
The deadline for early registration is February 28! Register NOW!
The full programme and registration form are available at the web address
above and from the organisers (just send a message to etaps@di.fc.ul.pt or
a fax to 351-1-7500084).
CONSTITUENT EVENTS
Main conferences
============
Foundations of Software Science and Computation Structures (FoSSaCS)
Fundamental Approaches to Software Engineering (FASE)
European Symposium On Programming (ESOP)
International Conference on Compiler Construction (CC)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Satellite events
==========
International Workshop on Advanced Communication Services (ACoS)
Workshop on Visualization Issues for Formal Methods (VISUAL)
Workshop on Coalgebraic Methods in Computer Science (CMCS)
Workshop on Algebraic Development Techniques (WADT)
Invited speakers
===========
Kent Beck, CSLife, CH
"Extreme programming - a humanistic discipline of programming"
Randy Bryant, Carnegie Mellon University, USA
"Formal verification of pipelined processors"
Margaret Burnett, Oregon State University, USA
"Challenges and opportunities visual programming languages bring to
programming language research"
Cliff Jones, Harlequin Ltd, UK
"Some mistakes I made and what I learned from them"
Michael Mislove, Tulane University, USA
"Generalizing domain theory"
Amir Pnueli, Weizmann Institute, IL
"Practical formal verification: how close are we?"
Gert Smolka, University of Saarbruecken, D
"Concurrent constraint programming as an extension of functional programming=
"
Tutorials
======
R.Due (Thomsen Due and Associates, CA)
Managing object technology projects
S.Kent (U Brighton, UK)
UML: what does it all mean?
C.Sernadas (TU Lisbon, P)
Categorial Techniques for Combining Logics
H.Ehrig (TU Berlin, D), A.Corradini (U Pisa, I) and R.Heckel (TU Berlin and
U Pisa)
Introduction to Graph Transformation
T.Janowski (United Nations U, Macau)
Semantics and logic for provable fault-tolerance
P.Mosses (Aarhus U, DK)
CASL (Common Algebraic Specification Language)
G.Castagna (ENS-Paris, F)
Foundations of object-oriented programming
S.Drossopoulou and S.Eisenbach (Imperial College, UK)
Java semantics
H.Seidl (U Trier, D) and C.Fecht (U Saarlandes, D)
Interprocedural analysis based on pushdown automata
SUPPORT FOR EUROPEAN YOUNG RESEARCHERS
Support for participation, travel and accommodation costs is also available under the Training and Mobility of Researchers (TMR) Programme of the European Union for nationals of European Union countries (including Norway, Israel, Iceland and Liechtenstein) who are 35 years old or younger. Further information on the conditions as well as an application form are available on the web address given above and can also be obtained by fax from the organisers.
SPECIAL DEAL WITH AIR PORTUGAL
The official carrier of ETAPS is TAP - AIR PORTUGAL. Its offices throughout the world will be happy to assist in your travel arrangements. Please contact your local TAP office (see in http://www.tap.pt/en) for the special 15% reduction that has been negotiated for ETAPS participants.
THE VENUE
ETAPS'98 will be held in Lisbon, Portugal. The chosen venue is the Gulbenkian Foundation, situated in the middle of landscaped gardens, next to a museum with Calouste Gulbenkian's private art collection, a modern art museum, a library, a concert hall and galleries with art exhibitions. In 1998, Lisbon will also host the celebrations of the 5th centenary of Vasco da Gama's arrival in India. A world exhibition (EXPO'98) will be held on the theme "The oceans: a heritage for the future". Although the official starting date of the exhibition is in May, several cultural events have been programmed for the months before. ETAPS participants can be assured of a busy scientific and cultural week!
SPONSORS
ETAPS'98 is sponsored by PORTUGAL TELECOM and TAP - AIR PORTUGAL.
The European Union through the TMR programme, the Luso-American Foundation
for Development, the British Council, and the Portuguese Foundation for Science and Technology have also contributed with funds.
The support of The University of Lisbon, The European Association for Programming Languages and Systems and The European Association for Theoretical Computer Science is also gratefully acknowledged.
The European Symposium On Programming (ESOP) and the International Conference on Compiler Construction (CC) are being organised in cooperation with ACM SIGPLAN.
ETAPS'99
The 1999 edition of ETAPS will take place in Amsterdam between 22 and 26 of
March. The organisers are Jan Bergstra (University of Amsterdam) and Frans
Snijders (CWI Amsterdam).
STEERING COMMITTEE
Don Sannella (Edinburgh, Chairman), Andre Arnold (Bordeaux), Egidio Astesiano (Genova), Jan Bergstra (Amsterdam), Ed Brinksma (Enschede), Rance Cleaveland (Raleigh), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), Jose Fiadeiro (Lisbon), Jean-Pierre Finance (Nancy), Marie-Claude Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin ,(London), Stefan Jahnichen (Berlin), Uwe Kastens (Paderborn),
Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum (London), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Bernhard Steffen (Dortmund), Doaitse Swierstra (Utrecht), Wolfgang Thomas (Kiel)
JOSE LUIZ FIADEIRO
Department of Informatics
Faculty of Sciences - University of Lisbon
Campo Grande
1700 Lisboa
PORTUGAL
tel: 351-1-7500087 (direct line: 7500123)
fax: 351-1-7500084
http://www.di.fc.ul.pt/~llf
44.4 Subject: CFP: Conference on European Industrial Requirements Engineering (CEIRE'98)
London (precise location to be announced), September 1998 (precise dates to be announced)
Organised by the BCS RESG in association with RENOIR.
Call for papers
CEIRE'98 is the second (following RE Day, held in London on the 30th September 1997) in a series of European industry-oriented requirements engineering symposia organised by the BCS RESG in association with Renoir.
CEIRE'98 will provide a 2-day forum for the dissemination of experience and practice in RE between European software and systems engineering organisations and researchers. The programme will include tutorials and workshops on issues relevant to RE. It will also include a special track of papers giving the industrial perspective on RE. Papers are invited from industry or business organisations which focus on the practice of RE. Papers are particularly encouraged on, though not restricted to, the following:
* Examples of pressing RE problems faced by industry.
* Case studies of the application of particular RE techniques.
* Reports of good RE practice.
* Reports of the integration of RE into quality management and software process improvement programmes.
* Reports of issues concerning RE in specialist domains - e.g. dependable systems.
* Reports of how changes to the business or competitive environment impacts on RE.
Submission procedure:
Papers should be in English and of no more than 3000 words in length. They should be submitted by the 1st June. Authors will be notified of whether their paper has been accepted by the 3rd August. Accepted papers will be published in the workshop proceedings.
Address for submissions:
Pete Sawyer
CEIRE'98 Industrial Programme Chair
Computing Department
Lancaster University
Lancaster
U.K. LA1 4YR
tel: 44 1524 593780
e-mail: Sawyer@comp.lancs.ac.uk
Programme committee:
Bashar Nuseibeh (chair)
Wolfgang Emmerich (coordinator)
Pete Sawyer (industrial programme chair)
Neil Maiden (treasurer & local organisation)
Galal Galal (workshop organisation)
Sara Jones (tutorial organisation)
Orlena Gotel (exhibition organiser)
Ian Alexander
Gerald Kotonya
Shailey Minocha
Cornelius Ncube
44.5 Subject: CFH: A novel approach??
From: warthog
Date: Tue, 03 Mar 1998 04:51:58 +0200
Hello,
I'm Robert Lemke, from South Africa. I have spent a number of years researching a concept, and this concept now appears to have substance. It needs to be tested. I would be appreciative if you could perhaps refer me to an authority on OO methodologies, who who be able to provide me with an opinion. In essence, the concept removes programming as we know it from computing. It is based on virtual objects and object fragments, realised only at the point in time when the instance of the event is triggered, after which they dissapate.
Looking forward to hearing from you!
Regards,
Robert Lemke
44.6 Subject: EVENT: BCS Req. Eng. Sp. Group Symposium on Scenarios and Use Cases
A BCS Requirements Engineering Specialist Group Event A one-day symposium on HOW TO USE SCENARIOS AND USE CASES IN THE SYSTEMS DEVELOPMENT PROCESS Date: 09.30-16.30, Thursday 14th May 1998 Place: Senate Suite, City University, London Despite the considerable recent interest in the use of scenarios and use cases in the systems development process, there is a lack of scenario-based methods, techniques and guidelines available to practitioners, or even agreement about the definition of use cases and scenarios in the first place. Jacobson has done much to introduce use cases into the systems development process, but even he has left us with some loose ends. As a result, discussions about use cases and scenarios often lead to more questions than answers. This symposium aims to provide some concrete answers. It brings together practitioners, vendors and academics with different interests in scenarios and use cases in the systems development process. Experts from the United States and Europe will present and explore the diverse uses of scenarios and use cases, examine effective methods and guidelines, report oneexperiences and good practice, and propose a common path for the development and application of new scenario-based systems development methods. Who should attend? Practitioners, vendors and academics with interests in scenarios and use cases in the systems development process. In particular, you should attend if you use or want to know more about:
complex operational scenarios to acquire requirements for large integrate
systems;
* how to use scenarios for acceptance testing of large, procured systems;
* the OBJECTORY method for object-oriented analysis and design;
* the UML approach for use cases to acquire and validate system requirements;
* task/scenario analysis for user interface design and evaluation.
Speakers at the symposium including leading consultants, practitioners and academics in requirements engineering, systems engineering, object-orientation and use case-driven approaches:
* Ian Graham, Chase-Manhattan Bank;
* Ron Krubeck, Rational Software Corporation;
* Ian Alexander, Independent Consultant;
* Marcus Williams, GEC-Marconi;
* Matthais Jarke, RWTH-Aachen;
* Eric Dubois, Universite de Namur;
* Colette Rolland, Universite de la Sorbonne, Paris;
* Alistair Sutcliffe, City University London.
It is also possible that Colin Potts from Georgia Institute of Technology will be able to speak at the seminar.
Panel discussions will give ample opportunity to discuss key issues.
Software tool demonstrations will also be available throughout the day.
The symposium is limited to 100 delegates. Interest so far has been keen, so please register early to avoid disappointment. Information and registration details are available from:
Liz Bromley, Centre for HCI Design, City University, Northampton Square, London, EC1V OHB. Tel: 0171-477-8427. Fax: 0171-477-8859. E-mail:
E.M.Bromley@city.ac.uk
Registration will include a buffet lunch, light refreshments and a delegate pack. Registration is deemed to have been accepted on receipt of registration details. Substitute delegates may be made at any time. Registrations can be cancelled by providing written notification at least 10 working days before the symposium, when a full refund, less £23.50 administrative charge, will be made. Cancellations after this date are liable for the full fee.
Registration fees are:
full registration: £120.00+VAT = £141.00 * BCS members 20% discount: £96.00+VAT = £112.80
* 2nd delegates from same organisation: £96.00+VAT = £112.80
* Fulltime students 50% discount: £60.00+VAT = £70.50
-------------------------% CUT HERE %--------------------------------
REGISTRATION FORM
Please return the completed registration forms to Liz Bromley, Centre for
HCI Design, City University, Northampton Square, London, EC1V OHB. Tel:
0171-477-8427. Fax: 0171-477-8859. E-mail: E.M.Bromley@city.ac.uk
Full registration: £141.00 incl VAT
BCS members: £112.80 incl VAT
Second delegates: £112.80 incl VAT
Fulltime students: £70.50 incl VAT
Fees
Please attach duplicate registration forms if more than one delegate is
attending.
I enclose a cheque for £__________
Cheques payable to BCS Requirements Engineering Specialist Group
Delegates receive seminar pack, lunch and tea/coffee.
Dr/Mr/Ms____ First name______________Surname_________________________
Position_____________________________________________________________
Organisation_________________________________________________________
Address______________________________________________________________
_______________________________________________ Post code___________
Tel________________ Fax______________Your purchase order no__________
Vegetarian lunch required: yes/no.
Special needs: ______________________________________________________
Please invoice: yes/no
Invoice address if different to above:
Department___________________________________________________________
Organisation_________________________________________________________
Address______________________________________________________________
________________________________________________ Post code___________
Date___________________________
44.7 Subject: JOBS: RA in Requirements Engineering
Research Assistant in Requirements Engineering
The Department of Computer Science at University College London is one of the leading UK Computer Science university departments with a distinguished reputation both in Europe and internationally. The Department has vibrant teaching and research programmes, which cover a wide range of topics, while being world-class research in a select number of areas particularly Networks, Multimedia Systems, Medical Imaging, Neural Networks and Software Systems Engineering.
A position is available within the department for a Research Assistant to work on the RENOIR (Requirements Engineering Network Of International co-operating Research groups - a network of excellence project number: 20.800) The network is sponsored by the EU Fourth Framework ESPRIT programme. The post provides the candidate with the opportunity to gain research experience with one of the leading UK Software Systems Engineering research groups.
RENOIR aims to develop the co-ordination mechanisms and infrastructure for research in requirements engineering for software intensive information systems. Specific objectives are: to provide a framework for co-ordinated, joint research related industrial needs; to support the diffusion of RE research; to provide RE research training and to support technology transfer in RE. RENOIR thus brings together research teams from industry, academia, and research centres round a set of shared technical goals. As such, the post offers a good opportunity for developing academic and industrial contacts. Further information on RENOIR is available from the web using the following URL: http://www.cs.ucl.ac.uk/research/renoir
The holder of this post will assume the task of maintaining contact and interacting with the Network members. Responsibilities include maintaining the web site of the network as well as various network co-ordination and administration tasks. Applicants to this post must have a good degree in Computer Science (or a related discipline), general knowledge of the area of requirements engineering, and excellent verbal and written communication skills. S/he must be able to work unsupervised and will be expected to contribute to the work of the RENOIR project through studies of existing work in the field and assisting in the production of high quality papers and reports. Experience with project management and team leadership will be considered an asset. The candidate must be prepared to travel extensively both in the UK and in Europe as needed. The appointment will be for 12 months initially, with extensions possible according to funding. The salary is within the University RA1A scale 17,293 - 24,919 pounds UK (including London Allowance), depending on qualifications and experience.
Please send two copies of your full CV (including the names of two referees) with a covering letter to:
Dr G H Galal,
(RENOIR RA)
Department of Computer Science,
University College London, Gower Street,
London WC1E 6BT,
UK
Closing date for applications: Friday 27th March 1998
44.8 Subject: JOBS: Post..Doc. & RA's in Miami
There are the following vacancies:
1. Post-doctoral Researcher,
2. Graduate Research Assistants
To work under Prof. Ana Pasztor's guidance, Florida International
University, School of Computer Science, University Park, Miami, Fl.
33199
The National Science Foundation has funded a project on Requirement Elicitation for Design. The project is concerned with capturing and understanding design requirements. Its goal is to expand the so-called Participatory Design approach from system design to design at large With Participatory Design, the field of Requirement Engineering, encompassing acquiring, refining, and checking clients' needs for design, has come into focus. The project involves building an intelligent agent-based participatory design requirement elicitation system called PADRE. PADRE takes as input an initial informal requirement specification for a design object, as well as an ontology of the application domain, and generates a complete, unambiguous, consistent, and implementable requirement specification.
THE APPLICANTS SHOULD HAVE
1. A Ph.D. (or be in the final stage of acquiring a Ph.D.), and demonstrated record of high promise research in Computer Science or a related field.
2. B.S. or M.S. in Computer Science or a related field.
The graduate research assistants will be working on their theses under
Prof. Pasztor's advising, with the goal of obtaining a graduate degree.
All positions require an excellent academic record, demonstrated ability
in Software Engineering, and in Database and User Interface programming,
as well as a strong interest in AI, specifically in human communication
and design.
The positions are available immediately. The Spring semester starts on
January 5th, 1998.
The application, including a resume and a letter of interest, as well as
any inquiries, should be addressed to:
Ana Pasztor, Professor,
School of Computer Science,
Florida International University,
University Park, Miami, Fl. 33199
tel. (305)348-2019
fax (305)348-3549
e-mail pasztora@cs.fiu.edu
http://www.cs.fiu.edu/scspage/professor/Pasztor.html
--
Ana Pasztor, Professor
School of Computer Science
Florida International University
University Park, Miami, Fl 33199
http://www.cs.fiu.edu/scspage/professor/Pasztor.html
44.9 Subject: WEB: Thesis abstract: "Requirements Acquisition and Specification for Telecommunication Services
From: Armin
Date: 5th March 1998
This is just to let you know, that my PhD thesis about "Requirements Acquisition and Specification for Telecommunication Services" is now available at the following URL:
http://kona.swan.ac.uk/~eeeberle
Here is the abstract:
Telecommunications has brought about a tremendous change in the last 150 years, and is still one of the most rapidly developing technologies. Advances in mobility and quality over long dis-tances have led to a highly complex communication medium, which contains equipment of differing capabilities and age, produced by a variety of vendors, in a worldwide distributed network. Nowadays, one of the greatest challenges that telecommunication operators face is the development and deployment of new services. Many service ideas exist; however, their implementation has persis-tently proved to be difficult. One of the most problematic tasks lies in understanding the require-ments and correctly transforming them into code. Each introduction of a new service causes fears as to how the service will interact with already existing services. Traditional approaches have failed to deliver high-quality service software; new approaches have to be found. The objective of this research was therefore to investigate the use of advanced software engineering, requirements engi-neering and artificial intelligence technologies for telecommunications service design. The outcome of this is the Requirements Assistant for Telecommunications Services (RATS), which consists of the RATS service development methodology and its implementation in the RATS tool. The meth-odology is based on a novel three-dimensional framework for requirements engineering, and pro-vides, with the help of a specialised use-case design process, a smooth transition to currently exist-ing development life cycles which employ formal methods. The guidelines of the methodology con-tain in a concise way the steps to be performed during service design. The RATS tool is an expert system which advises the service developer during all stages of the development process, at differ-ent levels of abstraction. It provides requirements management facilities, traceability, impact analysis and document generation. Some of the features are illustrated using examples from the Universal Personal Telecommunication (UPT) service.
Cheers,
Armin
************************ RE nl 44: OVER & OUT ************************
===========================================================
To contribute to the Requirements Engineering Newsletter, send your message to requirements@cs.ucl.ac.uk
Requests to be added to or removed from the Requirements Engineering Newsletter should go to majordomo@cs.ucl.ac.uk
to subscribe send (in the body of the message)
subscribe requirements
to unsubscribe send (in the body of the message)
unsubscribe requirements
==================================================================================
Last Update: 27 August 1998