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