****************REQUIREMENTS ENGINEERING NEWSLETTER******************** No. 40. Contents 1. Message from the Moderator! (Anthony Finkelstein) 2. CFP: Workshop on Viewpoints (Anthony Finkelstein) 3. CFP: APSEC'96 (Motoshi Saeki) 4. CFP: Euromicro Working Conference on Software maintenance and Reengineering (Vincenzo Ambriola) 5. CFP: 9th Intl Conf on Software Engineering & Knowledge Engineering (Tomas San Feliu) 6. CFP: 1st Australian Workshop on Requirements Engineering (Graeme Shanks) 7. WEB: MO&DSD Systems Engineering Environment Tools Capabilities Inventory (Thomas C. Bagg, III) 8. WEB: ProQMS - New Software Productivity & Quality Measurement System (Roy Bellman) 9. WEB: The Computer Journal (Keith) 10. WEB: LOCANA RP CASE tool available free (Ian.Mitchell) 11. BOOK: Software Methods for Business Reengineering (Alfs Berztiss) 12. EVENT: BCS RESG - Why RAD is BAD!!! (Orlena Gotel) 13. EVENT: BCS-FACS - Formal Aspects of The Human Computer Interface Workshop (Bob) 14. EVENT: BCS CASE - Software Creativity Workshop & Exhibition (Paul Layzell) 15. JOB: Lecturer/Senior Lecturer in Information Systems (Andrew Blyth) 16. JOB: RA posts in Software Engineering Process Improvement (Bashar Nuseibeh) 17. JOB: Research Studentships in Requirements Engineering (Ian Sommerville) 18. JOB: Research Assistants & Postgrad Research Studentships in Requirements Engineering (Neil Maiden) 19. JOB: PhD Studentship at Uni of Wales, Swansea (Armin Eberlein) ------------------------------------------------------------------------------- | 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 the moderator at: requirements@cs.city.ac.uk | | | | Subscription (or removal) requests should be sent to: | | requirements-request@cs.city.ac.uk Just send an email message containing: | | | | subscribe
OR unsubscribe
| | | | The Requirements Engineering Newsletter and its archive is also accessible | | through WWW. The URL is: | | | | http://web.cs.city.ac.uk/homes/acwf/rehome.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 pages to be linked to the RE Newsletter page please inform me. | | | | You can access the archive via anonymous ftp: | | | | Ftp-host : ftp.cs.city.ac.uk (IP number: 138.40.91.9) | | Directory : pub/requirements | | Files are called renl1, renl2, etc. | | | | Requirements Engineering Newsletter is published solely as an educational | | service. Copyright (c) 1995, Anthony Finkelstein; All Rights Reserved. | | | ------------------------------------------------------------------------------- ********************************************************************** [1] From: acwf@cs.city.ac.uk (Anthony Finkelstein) Subject: Message from the Moderator! Yo all....blah blah blah! Should copyright be 96 now? In the above contents - i have no idea who Bob is (13), nor Keith (9) Anthony ********************************************************************** [2] From: acwf@soi.city.ac.uk (Anthony Finkelstein) Subject: CFP: Workshop on Viewpoints WORKSHOP ON VIEWPOINTS ACM Symposium on Foundations of Software Engineering October 14th & 15th 1996 San Francisco, USA Outline: In conjunction with the ACM Symposium on Foundations of Software Engineering a workshop will be held on viewpoints in software development. The construction of a complex description or model involves many agents (aka participants or actors). These agents have different perspectives or views of the artifact or system they are trying to describe or model (the domain of discourse). Examples might be performance, architecture, security, and so on. These perspectives or views are partial or incomplete descriptions which arise because of different responsibilities or roles assigned to the agents. These responsibilities or roles may be organisationally defined, follow some defined structuring of the underlying artifact or system, or may reflect different modelling or descriptive capabilities. The combination of the agent and the view that the agent holds is termed a viewpoint. The study of viewpoints embraces the relations between views, between views and agents, and between agents. The aim of the workshop is to bring research in this area together and start a dialogue on an open list of themes and issues, including: * methods For example, methods which deploy viewpoints and method construction using viewpoints. * consistency, conflict resolution For example, checking consistency, managing inconsistency between viewpoints, detecting and resolving interference or conflict among viewpoints. * tools, infrastructure, environments For example, tools which support various overlapping viewpoints, infrastructure for potentially distributed viewpoints and environments that structure communication between viewpoints. * representation For example, notations or formalisms which lend themselves to specification of partial views. * applications For example viewpoints applied in requirements engineering, systems architecture, implementation, viewpoints on process and workflow. * management For example, organising work using viewpoints, traceability and accountability among viewpoints. Submission: Key people working in the area have been invited to submit but papers are also sought by open call. The workshop welcomes reports on work relevant to the outlined themes, particularly from those in related disciplines outside software engineering, such as the computer supported cooperative work, information and database systems interoperability and distributed artificial intelligence. These should be in the form of a short papers of between 3 and 5 pages. Publication is to be in an ACM Proceedings shared with the prestigious workshop on software architectures (also run as part of SIGSOFT-FSE 4). Papers should be received by the Workshop Chair by July 1st 1996. Organisational details: This workshop is organised, in association and colocated with the ACM Symposium on Foundations of Software Engineering, by an international workshop committee. The workshop is supported by the RENOIR Network of excellence. Questions should be directed by email to the Workshop Chair, Anthony Finkelstein at acwf@cs.city.ac.uk. The SIGSOFT-FSE 4 home page is: http://www.csl.sri.com/sigsoft96/ ********************************************************************** [3] From: saeki@cs.utwente.nl (Motoshi Saeki) Subject: CFP: CFP of APSEC'96 A P S E C '9 6 1996 Asia-Pacific Software Engineering Conference December 4-7, 1996, Education and Culture Center, Seoul, Korea * Tutorial: Wednesday - December 4 * Conference: Thursday-Saturday - December 5-7 Sponsored and organized by: Korea Information Science Society (Co-sponsored by International Institute for Software Technology, United Nations University) * APSEC'96 WWW home page at "http://rtse.konkuk.ac.kr/apsec96". Theme ===== The objective of APSEC'96 is to bring together developers and researchers from industry, academia and governments to advance the science and technology in software engineerring. The conference will address the following principal themes, but any topics relevant to the field of software engineering will also be considered: Requirements Engineering, Specification, Analysis and Design, Testing, Maintenance, CASE, Software Metrics, Software Process, Reuse, Reverse Engineering, Object Orientation, Re-engineering, Distributed Systems, Domain Modeling, Formal Methods, Reliability, Information System Development, Project Management, Quality Assurance, Education, Software Development Environments, Cyberspace Systems, etc. Information for Authors ======================= APSEC'96 Program Committee solicits original technical papers. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to software engineering. Technical papers must be no longer than 6000 words. All papers must include a separate cover sheet which provides the following information: the title, authors' names, postal and electronic mail addresses, telephone and fax numbers, a 200 words abstract and a list of keywords. Experience papers or practical papers are also welcome. Submitted papers must be written in English and identify what is new and significant about the presented work. Accepted papers will be published by an international publisher. A limited amount of financial aid from the United Nations University is available to the authors from developing countries whose papers are accepted and need financial aid to present the papers. Six(6) copies of technical papers should be sent by May 31, 1996 to: Kyo C. Kang Dept. of Computer Science & Engineering Pohang Univ. of Science & Technology San 341 Hyoja-Dong, Pohang Kyungbuk 790-784, KOREA Tel: +82-562-279-2258 Fax: +82-562-279-2299 E-mail: kck@vision.postech.ac.kr Papers from Australia, Africa and Europe should be sent to: Shing-Chi Cheung Dept. of Computer Science Hong Kong Univ. of Science & Technology Clear Water Bay, Hong Kong Tel: +852-2358-7016 Fax: +852-2358-1477 E-mail: scc@cs.ust.hk Tutorial Proposals ================== The Program Committee invites proposals for half day (3 hour) tutorials. For further details, email Keung Hae Lee at khlee@hanul.hangkong.ac.kr. Important Dates =============== Paper/proposal submission due May 31, 1996 Notification of paper acceptance August 15, 1996 Camera-ready paper due September 30, 1996 General Inquries ================ General inquriues about APSEC'96 may be directed to: Doo-Hwan Bae Dept. of Information & Communication Engineering Korea Advanced Institute of Science & Technology (KAIST) 207-43 Cheongrangni, Dongdaemun-gu Seoul 130-012, KOREA Tel: +82-2-958-3313 Fax: +82-2-960-2103 E-mail: bae@poppy.kaist.ac.kr General Conference Committee ============================ Streering Committee Members: Paul Bailes (Univ. of Queensland, Australia) Ken-ich Harada (Keio Univ., Japan) Sadahiro Isoda (Toyohashi Univ. of Tech., Japan) Stan Jarzabek (National Univ. of Singapore, Singapore) Jyh-Sheng Ke (Inst. for Inf. Industry, Taiwan) Yong Rae Kwon (KAIST, Korea) Lin-shan Lee (Academia Sinica, Taiwan) Karl Leung (Hong Kong Polytechnic Univ., Hong Kong) Danny Poo (National Univ. of Singapore, Singapore) Karl Reed (La Trobe Univ., Australia) Vincent Shen (Hong Kong Univ. of Science & Technology, Hong Kong) Chi Su Wu (Seoul National Univ., Korea) Conference Chair: Dr. Kisoo Sung (President, Tongmyong University of Information Technology) Program Co-Chairs: Kyo C. Kang (Pohang Univ. of of Science & Technology) Shing-Chi Cheung (Hong Kong Univ. of of Science & Technology) Program Committee: The Program Committee is to be announced; it will comprise industry and academic representations from a range of Asia-Pacific regions including Australila, Hong Kong, Japan, Korea, Singapore and Taiwan. Organization Chair: Seung-Min Yang (Soongsil University) Local Arrangement: Ho-Won Jung (Korea University) Moon-Haeng Huh (Korea Telecomm.) Publication: Soo Dong Kim (Soongsil Univserity) Treasurer: Gyu-Sang Shin (System Engineering Research Institute) Publicity: Moon Hae Kim (Konkuk University) Secretariat: Doo-Hwan Bae (KAIST) ********************************************************************** [4] From: ambriola@di.unipi.it (Vincenzo Ambriola) Subject: CFP: Euromicro Working Conference on Software maintenance and Reengineering EUROMICRO WORKING CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING Berlin March 17-19, 1997 The First Euromicro Working Conference on Software Maintenance and Reengineering will be held in Berlin, Germany, from March 17-19, 1997. The purpose of the working conference is to promote discussion and interaction about a series of topics which are yet underrepresented. We are particularly interested in exchanging concepts, prototypes, research ideas, and other results which should not only contribute to the academic arena but will also benefit the business community. Application systems represent today considerable assets in most enterprises. What these systems do, is essential to the company«s activities. It is common knowledge that many companies invest more than half of their programming and analysis effort in software maintenance. The purpose of maintenance is to protect a company's investment in an application system by prolonging its useful service life and improving its benefits. With this as a background, we are currently experiencing a transition from a project- or development-oriented perception to a product- or life cycle-oriented view of application systems. This means that the costs of further maintenance and continued use of the application system need to be compared to the costs of new software development or of moving to a new environment. Thus, the importance of maintenance is growing. It is realised more and more that there is a great potential for cost reduction in this area. Realising this potential is a major challenge which requires not only the use of new technologies but also an intensified support from management and an interdisciplinary cooperation of scientists. Topics of interest include but are not limited to: * Maintenance and Reengineering Tools (CARE-Tools) * Reverse Engineering Tools * Support of Reengineering Tasks by CASE-Tools * Software Reusability * Tele-Maintenance (Concepts, Experiences, Use of New Technologies) * Maintainability of Programming Languages (eg. OOPLs) * Models and Methods for Error Prediction * Measurement of Software Quality * Maintenance Metrics * Formal Methods * Reengineering and Reverse Engineering Concepts * Experiences from Redesign and Reengineering Projects * Organizational Framework and Models for "RE"-Projects * Software Evolution * Migration and Maintenance Strategies * Design for Maintenance, Preventive Maintenance * Personnel Aspects of Maintenance (Motivation, Team building) * Empirical Results about the Maintenance Situation in Businesses * Version and Configuration Management * Legal Aspects and Jurisdiction * Organization and Management of Large Maintenance Projects * Related Areas such as Software Documentation Sessions on special topics proposed and organized by delegates will be welcome. Please send suggestions to the program chairman not later than by Aug. 15, 1996. The proceedings will be published by IEEE Computer Press. WWW addresses: http://rrws12.wiwi.uni-regensburg.de/~c1389/confcall.html http://www.isst.fhg.de/csmr CALL FOR PAPERS --------------- Authors wishing to submit a paper send five copies of an extended abstract not exceeding five pages, clearly showing the name, the mailing address, the e-mail address and fax number of the author to contact. The task of the referees will be made easier if a brief statement is added pointing out the aspects of the paper which are yet unpublished and of special value to the software maintenance and reengineering area. The following declaration should also be added: all necessary clearances for the publication of this paper have been obtained. If accepted, the author(s) will prepare the final manuscript in time for inclusion in the Proceedings and will present the paper at the working conference. The deadline for submissions is Sept. 15, 1996, the extended abstract should be mailed to the program chairman. Notification of acceptance will be mailed by Nov.14, 1996. The camera ready version of the paper will be required by Dec. 10, 1996, so that it can be published in the Proceedings of the Working Conference. WWW addresses: http://rrws12.wiwi.uni-regensburg.de/~c1389/confcall.html http://www.isst.fhg.de/csmr Program/Organizing Chairmen Prof. Dr. Franz Lehner Institute for Business Informatics University of Regensburg Universitatsstr. 31 D-93040 Regensburg Tel.: +49-941-943-2734 (or 2541) Fax: +49-941-943-4986 e-mail: Franz.Lehner@wiwi.uni-regensburg.de Prof. Dr. Lutz Richter Dept. of Computer Science University of Zurich Winterthurerstr. 190 CH-8057 Zurich Tel.: +41-1-257-4330 (or 4331) Fax.: +41-1-363-0035 e-mail: richter@ifi.unizh.ch CALL FOR SYSTEM DEMONSTRATIONS ------------------------------ The conference will be accompanied by a small fair for maintenance and reengineering tools. It will provide a forum for software companies to present their current developments and to make contact with potential users of reengineering technology. Especially welcome are: * CARE-tools * CASE-tools with dedicated reverse engineering components * Metrics tools * Tools for user interface, database, and programming language migration * Tools supporting the migration from legacy systems to OO-technology * Tools and technology supporting integration of legacy systems into modern environments * Business process reengineering tools (if they address appropriate migration of the underlying information systems) As space is only available for 25 booths, each of 5 square meters, registration will be handled on a first come first served basis. A fair catalogue containing short descriptions (2-4 pages) of the presented systems will be distributed to all conference participants in advance. Companies wishing to demonstrate their maintenance or reengineering tools at the conference should contact Mrs. Eva Weber Organizing Chair Tool Fair at CSMR Fraunhofer-Institut fuer Software- und Systemtechnik ISST Kurstr. 33 D-10117 Berlin Tel: ++49-30-20224-783 (or -700) Fax: ++49-30-20224-799 e-mail: Eva.Weber@isst.fhg.de to obtain detailled information about the fair, the booth, its size and construction, and the fees. WWW addresses: http://rrws12.wiwi.uni-regensburg.de/~c1389/confcall.html http://www.isst.fhg.de/csmr ********************************************************************** [5] From: tsanfe@fi.upm.es (Tomas San Feliu) Subject: CFP: 9th Intl Conf on Software Engineering & Knowledge Engineering ************************************ * FIRST CALL FOR PAPERS * ************************************ SEKE '97 The Ninth International Conference on Software Engineering and Knowledge Engineering June 18-20, 1997 Madrid (Spain) SCOPE The Conference on Software Engineering and Knowledge Engineering has for eight years been providing a unique, centralized, forum for academic and industrial researchers and practitioners to discuss the application of either software engineering methods in knowledge engineering or knowledge-based techniques in software engineering. Preference will be given to papers that emphasize on the transference of methods among both engineerings; however, outstanding papers on software engineering or knowledge engineering alone are also being solicited. SEKE'97 will feature four half-day tutorials on June 19, followed by a three-day technical program consisting of parallel tracks which will include paper sessions, panels, and workshops. An exhibition of software engineering and knowledge engineering tools is planned. Paper presentations will be approximately 20 minutes each with 5-10 minutes for questions and discussion. Submissions of proposals to organize a session, a panel or a tutorial are also being solicited. Sponsored by: - Knowledge Systems Institute, - Universidad Politecnica de Madrid, - University of Pittsburgh. In collaboration with: * IEEE (pending) * IEEE Computer Society (pending) * ACM SIGSOFT (pending) * Asociacion Espanola para la AI * Federacion Espanola de Sociedades de Informatica (Spanish Member of IFIP) Notification of Acceptance: March 8, 1997 Camera Ready Copies Due to: April 1, 1997 Conference Chairs: * Stephen E. Cross, Carnegie Mellon University * J. Luis Mate, Universidad Politecnica de Madrid Steering Committee: * Vic Basili, University of Maryland * Bruce Buchanan, University of Pittsburgh * Shi-Kuo Chang, Knowledge Systems Institute * C. V. Ramammoorthy, Universidad of California at Berkeley Program Chair: * Natalia Juristo, Universidad Politecnica of Madrid SOCIAL PROGRAM Parallel social activities for companions will be available. ********************************************************************** [6] From: gshanks@ponderosa.is.monash.edu.au (Graeme Shanks) Subject: CFP: 1st Australian Workshop on Requirements Engineering 1st Australian Workshop on Requirements Engineering Department of Information Systems, Monash University Monday September 23rd 1996, Melbourne, Australia Call for Participation Requirements Engineering is a multi-disciplinary area of research that concerns the acquisition, modelling and validation of requirements for information systems. In requirements engineering human and organisational factors are as important as technical factors. Reference disciplines include information systems, software engineering, sociology, cognitive and organisational psychology, human-computer interaction, computer-supported co-operative work, linguistics, and philosophy. The aim of the Australian Workshop on Requirements Engineering is to provide a venue for researchers to meet each other and present their work to peers in a relaxed environment. The workshop will consist of presentation of contributed papers and ample time will be available for discussion of issues of interest Participation by active and intending researchers both in industry and academe and by research students is encouraged. Researchers in requirements engineering are encouraged to submit papers for consideration. All papers will be submitted to a blind refereeing process. Accepted papers will be published in the Workshop Proceedings. Further information: http://mae.ba.swin.edu.au/conf/workshop-req-eng.html Workshop Chairs: Graeme Shanks Monash University Paul Swatman Swinburne University of Technology Program Committee: Jacob Cybulski Melbourne University Peta Darke Monash University Roger Duke Queensland University Andrew Gabb DSTO Adelaide Brian Henderson-Sellers Swinburne University of Technology Graeme Shanks Monash University Ross Smith Swinburne University of Technology Paul Swatman Swinburne University of Technology Didar Zowghi Macquarie University Important Dates: Paper for Review by Referees: June 30, 1996 Feedback from referees: July 30, 1996 Final Version for Publication: August 19, 1996 Enquiries: Graeme Shanks Department of Information Systems, Monash University, Caulfield Campus P.O. Box 197, Caulfield East, Vic. 3145, VICTORIA, AUSTRALIA eMail:graeme.shanks@is.monash.edu.au Phone:(03) 9903 2243 Fax:(03) 9903 2005 ********************************************************************** [7] From: Tom.Bagg@gsfc.nasa.gov (Thomas C. Bagg, III) Subject: WEB: MO&DSD Systems Engineering Environment Tools Capabilities Inventory The MO&DSD Systems Engineering Environment (MSEE) Tools Capabilities Inventory can be found on the WWW at: http://joy.gsfc.nasa.gov/MSEE/mseehome.htm ********************************************************************** [8] From: infoengr@aries.cybergate.org (Roy Bellman) Subject: WEB: ProQMS - New Software Productivity & Quality Measurement System Details about Union Pacific Technologies' new software development productivity and quality measurement system - ProQMS - can be found at: http://www.cybergate.org/~infoengr ********************************************************************** [9] From: keith@dcs.gla.ac.uk (Keith) Subject: WEB: The Computer Journal Extracts from The Computer Journal (i.e., contents of issues and the abstracts and titles of papers) can now bw found on the Web at: http://www.oup.co.uk/computer_journal/ ********************************************************************** [10] From: cs0imi@isis.sunderland.ac.uk (Ian.Mitchell) Subject: WEB: LOCANA RP CASE tool available free The experimental LOCANA Rapid Prototyping CASE tool is now available for download off the Web. The URL is: http://osiris.sunderland.ac.uk/research/canopus/mitchell/rpl.html This is a trial version that is limited to 20 classes, and includes a user guide. It runs on MS Windows version 3.1 or higher. ********************************************************************** [11] From: alpha@cs.pitt.edu (Alfs Berztiss) Subject: BOOK: Software Methods for Business Reengineering Software Methods for Business Reengineering Springer, New York, 1996 ISBN 0-387-94553-9 This book has recently been published by Springer. In the book I combine an introduction to the history and aims of business reengineering with a discussion of a software engineering attitude. Software engineering is to help in defining the processes and information bases that are to support the operation of a reengineered enterprise. The book is in six parts: I What is Business Reengineering II What is Software Engineering III Business Analysis IV The Reengineering Blueprint V Specification of Information and Control VI Implementation of Reengineering Parts III and IV deal, respectively, with requirements gathering and requirements representation. Part V contains two case studies - an editorial office, and purchase-order processing. ********************************************************************** [12] From: olly@soi.city.ac.uk (Orlena Gotel) Subject: EVENT: BCS RESG - Why RAD is BAD!!! ************************************************************************ * * * E V E N I N G T A L K * * * * REQUIREMENTS ENGINEERING SPECIALIST GROUP OF THE BCS * * * * WEDNESDAY, 10th JULY 1996, 6:30-8:00pm * * * * TITLE: "WHY RAD IS BAD!" * * * * SPEAKER: JOHN DANIELS (MD, OBJECT DESIGNERS LTD, UK) * * * * * * PRECEDED BY RESG AGM AT 6:00pm * * * ************************************************************************ THEME: Topics Banished to Room 101!! VENUE: Room 418 Huxley Building Department of Computing Imperial College 180 Queen's Gate London SW7 2BZ (South Kensington or Gloucester Road tube) ABSTRACT: All software developers want to be responsive to the needs of their users, but we must recognise the trade-offs implied by the fashionable 'prototype-then-refine-until-it-works' approach. This might be a reasonable process if the only critical success factor is time to market, but it has severe implications for quality in the longer term. John Daniels will argue that RAD can be very bad for the health of your software, and that the crude, popularist view of incremental development should be consigned immediately - never to return - to Room 101. ADMISSION: Free to members of the RESG and students 5 pounds sterling to others (BCS members are eligible for discounted membership of the RESG) FOR MORE INFORMATION ABOUT: 1. The meeting or AGM, contact Dr Orlena Gotel, Department of Computer Science, City University, Northampton Square, London EV1V OHB Fax: 0171 477 8587 (olly@soi.city.ac.uk) 2. Membership of the RESG, contact Dr Sara Jones, School of Information Sciences, University of Hertfordshire, Hatfield AL10 9AB Fax: 01707 284303 (S.Jones@herts.ac.uk) 3. The RESG or BCS, visit our web home page http://www.OiT.co.uk/resg ********************************************************************** [13] From: bob@minster.cs.york.ac.uk (Bob) Subject: EVENT: BCS FACS - Formal Aspects of Human Computer Interface Workshop PROVISIONAL PROGRAMME Formal Aspects of The Human Computer Interface BCS-FACS Workshop 10th - 12th September, 1996, Sheffield Hallam University Invited speakers Prof. Michael Harrison (HCI Group, University of York) and Prof. Keith Stenning (HCRC, Edinburgh University) Panels ``Informality versus Formality'' and ``HCI Challenges'' to be confirmed Interface Architectures and Control ``Using Object-Z to Compare the MVC and PAC Architectures'' by A. Hussey and D. Carrington (University of Queensland, Australia) ``On the Composition of Interactor Specifications'' by P. Markopoulus, J. Rowson and P. Johnson (Queen Mary and Westfield College, UK) ``Context Sensitive User Interfaces'' by J. Cressiac-Campos and F. Mario Martins (University of Minho, Portugal) Helping Inform the Designer ``Dialogue Graphs - A Formal and Visual Specification Technique for Dialogue Modelling'' by E. Schlungbaum and T. Elwert (University of Rostock, Germany) ``A Design Life-Cycle for the Formal Design of User Interfaces'' P. Palanque and R. Bastide (Toulouse University, France) ``Verification of Properties of Human Computer Dialogues with an Infinite Number of States'' by M. Mezzanotte and F. Paterno (CNUCE - CNR, Pisa, Italy) Processes and Pitfalls ``Formally Assessing Software Modifiability'' by C. Roast and J. Siddiqi (Sheffield Hallam University, UK) ``A Modal Model of Versions'' by A. Dix, T. Rodden and I. Sommerville (University of Huddersfield and Lancaster University, UK) ``A Formal Basis for Modelling Process and Task Management Aspects of User Interface Des ign'' by P. A. Lindsay (University of Queensland, Australia) Short Papers ``Using Temporal Logic in the Specification of Reactive and Interactive Systems'' by R. J. Butterworth and D. J. Cooke (Loughborough University of Technology, UK) ``Modelling Interactions as Queues'' by C. Karagiannidis, A. Koumpis, C. Stehanidis and A. Georgiou (University of Macedonia, Greece) ``An Analysis of Behaviour in Interactive Auditory Field'' by T. Ebina and S. Igi (Ministry of Telecommunciations, Japan) ------------------------------------------- Current information about the workshop can be obtained from the programme chairs: J. Siddiqi and C. Roast, Sheffield Hallam University, 100 Napier Street, Sheffield, S11 8HE, UK. Email: {J.I.Siddiqi,C.R.Roast}@shu.ac.uk, WWW http://pine.shu.ac.uk/" cmscrr/fahci.html ********************************************************************** [14] From: p_layzell@mac.co.umist.ac.uk (Paul Layzell) Subject: EVENT: BCS CASE - Software Creativity Workshop & Exhibition British Computer Society CASE Specialist Group NET://Software Creativity WORKSHOP & EXHIBITION London - 14/15 May 1996 The BCS CASE group is continuing its successful series of workshops on Creativity with a special two day event focusing on Software Creativity, taken in the context of recent Internet developments. Many of today's business problems require innovative use of technology. Yet, at the same time, structured software development methods and quality procedures can inhibit creative thought. The BCS CASE group has designed a two day workshop with the joint goals of conveying information on the latest Internet developments and technologies and using these technologies effectively in order to enhance business opportunities Hands-on Workshops and Discussion Groups will be an important feature of this high-profile event. ----------------------------------------------------------------- Day 1: High Level Hands-on Internet Tutorial The first day of the workshop (consisting of four separate sessions) will provide a high level technical briefing on the latest state of the art Internet developments. It is anticipated that attendees will have a wide, but reasonably technical background. Introduction to the Internet will provide a background for attendees who minimal knowledge of the Internet. The main topics are: o Where did the Internet come from o What are the core technologies in use (e.g. TCP/IP) o Who controls the net o Where is the net going (brief intro to IPv6) o Demonstration of some Internet service. Internet Information Services will introduce and demonstrate some of the existing services. The main topics are: o Domain Name Service o White Pages o Archie o Gopher o World Wide Web Hot Java- mid life update for WWW will provide a reasonably comprehensive background to Java so that attendees understand how the technology works, how it is deployed and what has been done to date. o What is Java and how does it work o Security implications and concerns o Current Java support o Using Java today- a series of demonstrations Net Robots and Crawlers will demonstrate one of the new technologies that is waiting in the wings. The intention is to indicate that these technologies exist, roughly how they work, and to identify them as a suitable vehicle for more creative use of the network. o What is a net robot o Example implementations (with demonstrations) o The future of the technology Each session will run for about 2 hours including a break. It is planned that access to Internet- connected PCs should be available throughout so that attendees can sample the Internet themselves. Presented by Peter Curran, presented by Peter Curran, The Internet Connection Ltd. Peter is an International Consultant who specialises in providing Internet solutions. ----------------------------------------------------------------- Day 2: Enhancing the Creative Potential of Software Developers Professor Ernest Edmonds, Chair of the Design Council Software Awards panel, will provide the keynote presentation for the second day, by focussing on the early stages of the software development process, where the most creative steps tend to be taken and on the implications for support environments. Leslie Jennison, Texas Instruments, will examine balancing creativity with business integrity. Today's global business needs to maintain some consistency will allowing decentralised development to respond to local needs. Policies for component management and use must safely empower new styles of application development and deployment. Jane Owen Jones, Lloyd Masters Consulting, will focus upon the challenge of re-engineering people in a dynamic and changing enterprise and why claimed productivity gains from new systems often do not materialise when people-issues are not addressed. Ian Smith, KISS, will discuss ways to achieve objects of excellence, with reference to maintaining business integrity, reuse and change management. Linda Macaulay, UMIST, will provide insight into the issues and techniques for involving people in the creative process and how to deal with the conflict and creativity challenges which arise in developing software requirements. Jon Balachin, First Information Group, will examine some of the differences between developing multimedia products and more conventional software products. Richard Holti, Tavistock Institute, will explore issues relating to the process of change and how those processes are perceived by different stakeholders. Jeremy Hilton, Applied Systems Engineering, will examine issues of the goodness of fit between software systems and business need through an approach in which business requirements are expressed in terms of service requirement definitions. Andy Burnett, Cranfield School of Management, will relate experiences from the use electronic brainstorming to enable organisations to achieve innovation. Rachel McCrindle, University of Reading, provides a practical application of a multimedia approach to support cooperative working in the context of the development and maintenance of software systems. --------- Contact:Irene Beech, Department of Computation, UMIST, PO Box 88, Manchester, M60 1QD (Tel: 0161 200 3331) http://bcscase.co.umist.ac.uk/create.html ********************************************************************** [15] From: ajcblyth@glamorgan.ac.uk (Andrew Blyth) Subject: JOB: Lecturer/Senior Lecturer in Information Systems Lecturer/Senior Lecturer: Information Systems (Permanent Appointment) A vacancy exists in the Departments Information Systems team in the department of Computer Studies at the University of Glamorgan. Experience in at least one of the following areas is esential: Database Design and Implementation; RAD; SSADM; Requirements Analysis; Applications Systems Design; IT Strategic Planning; Resource Management. Applications with experience in OOD or Concurrent Programming would also be considered. Salary 13,100 to 26,931 pounds per annum inclusive. For further details contract Nicola Fear on +44 1443 4802495. Applications should be addressed to: Personnel Services University of Glamorgan Pontypridd Mid Glamorgan CF37 1DL Tel No: +44 1443 480480 ********************************************************************** [16] From: ban@doc.ic.ac.uk (Bashar Nuseibeh) Subject: JOB: RA posts in Software Engineering Process Improvement Imperial College Department of Computing Project FEAST Research Associate Following the award of an EPSRC grant, the Department has two vacancies for Post Doctoral Research Associates. Non doctoral applicants having relevant industrial experience may also be considered. The FEAST/1 project will investigate, model and seek to improve the software processes of four major industrial collaborators based on a view of the software process as a feedback system. It is expected that the work will open up new approaches to process modelling and improvement and make these generally available. The successful candidates will have a strong interest in the software engineering process and its improvement. Familiarity with modelling and statistical estimation techniques and with dynamical systems will be a major asset. The study, based on process structures and project data acquired from the collaborators, will require the development and interpretation of system dynamic process models and analyses of time series data for system identification. The appointments will, in the first instance, be for two years with salaries in the range =A318 120 to =A323 653 including London Allowance (under review) and are due to start in the late summer or early autumn of this year. To apply, submit a CV to Professor Lehman at 180 Queen's Gate, London SW7 2BZ by 21 June 1996 (tentative - three weeks after appearance of advert). Include the names and addresses of two referees. For further information phone 0171 594 8214, fax 0171 594 8215 or email mml@doc.ic.ac.uk. ********************************************************************** [17] From: is@comp.lancs.ac.uk (Ian Sommerville) Subject: JOB: Research Studentships in Requirements Engineering We are looking for research students to work in the general area of requirements engineering with Dr Gerald Kotonya and Prof. Ian Sommerville. We currently have two studentships available (1 EPSRC, 1 internally funded) for work in the following areas: 1. Practical methods of viewpoint-based conflict analysis 2. Requirements engineering for safety-critical systems 3. Viewpoints for process improvement 4. Requirements re-engineering and reuse 5. Human, social and organisational factors in requirements engineering 6. Requirements visualisation Interested applicants should contact liz@comp.lancs.ac.uk for an application pack and should look at our Web site (http://www.comp.lancs.ac.uk/research/cseg/) for information about the group (although it's badly needing updated!). ********************************************************************** [18] From: N.A.M.Maiden@city.ac.uk (Neil Maiden) Subject: JOB: Research Assistants & Postgrad Research Studentships in Requirements Engineering Centre for HCI Design, City University Research Assistantships: EU Framework IV 'CREWS' project -------------------------------------------------------- Applications are invited for resarch assistantships to work as part of the EU Framework IV long-term research project 'CREWS' (Cooperative Requirements Engineering With Scenarios). CREWS follows on from the ESPRIT III 6353 'NATURE' basic research action which derived a set of reusable domain models and an intelligent toolkit to inform requirements acquisition, modelling and validation. CREWS will continue this research, with emphasis on the use of scenarios to acquire and validate system requirements. Research will focus on developing methods for requirements elicitation, analysis and validation based on scenarios and design rationale, and in particular: *use of domain models as a basis for semi-automatic scenario generation; *extended reasoning mechanisms for retrieving domain models; *use of genetic algorithm programming techniques to generate different permutations of core scenarios; *identification of taxonomies of exception types to generate further scenario permutations; *walkthrough methods for exploiting scenarios during requirements validation. As well as undertaking basic research CREWS will have a strong emphasis on prototype tool development and evaluation. An industrial steering committee will coordinate with the academic partners to shape research directions and provide realistic case studies for evaluating resulting tools and methods. Other academic partners on CREWS are RWTH-Aachen (Germany), Universite de Paris 1 ( La Sorbonne, Paris) and Universite de Namur (Belguim). Other research within CREWS undertaken by these partners includes simulation languages for executable scenarios, use of multi-media representations of real-world, and natural language parsing of generated scenarios. CREWS will run from August 1996 to August 1999. Other current software engineering research in the Centre includes frameworks to support selection of techniques for requirements acquisition, methods and tools to assist requirements specification during product procurement, collaborative tools and methods for groupwork during requirements engineering, use of artificial intelligence in requirements engineering tools, business process engineering and use of object-oriented methods for requirements specification. Applicants should have a good degree in software engineering and/or human-computer interaction. A PhD is preferable. Research skills in relevant disciplines is also required. Good requirements analysis skills will also be a bonus. The appointment will be for 36 months on the Research Associate 1A scale, plus London weighting. Postgraduate Research Studentships in Requirements Engineering -------------------------------------------------------------- Postgraduate research studentships in software engineering or human-computer interaction are also available, leading to MPhil of PhD degrees. Applicants should have a good honours degree or equivalent postgraduate qualification in Computer Science, Software Engineering, Cognitive Science, Psychology or Ergonomics. Ongoing requirements engineering research activities are listed above. Research interests related to the CREWS project will be particularly welcome. Studentships will start in October 1996 and run for 3 years. Each is funded by City University's School of Informatics and is equivalent to an EPSRC research studentship. Students will be expected to register for an MPhil degree and transfer to a PhD degree. For information contact Professor Alistair Sutcliffe (A.G.Sutcliffe@city.ac.uk, 0171-477-8411) or Dr Neil Maiden (N.A.M.Maiden@city.ac.uk, 0171-477-8412), Centre for HCI Design, City University, Northampton Square, London, EC1V OHB, UK. For postgraduate research studentship application forms contact Liz Bromley (E.M.Bromley@city.ac.uk, 0171-477-8427) at the same address. Applications for both research assistantships and postgraduate researchships should be sent to Professor Alistair Sutcliffe, by curriculum vitae, and should be received by 17th June 1996. ********************************************************************** [19] From: A.Eberlein@swansea.ac.uk (Armin Eberlein) Subject: JOB: PhD Studentship at Uni of Wales, Swansea A CASE award is available for suitably qualified graduates, in either Electronic Engineering or Computer Science, to carry out research leading to a PhD degree. The area of research is the application of software engineering methods and artificial intelligence to requirements capture and analysis for telecommunication services in intelligent networks. The industrial partner is British Telecom Research Labs (Ipswich). The CASE award is available to UK applicants and pays fees plus a living allowance which is supplemented by the industrial partner. Interested students should apply with their CV to the below mentioned address! Armin P.-G. Eberlein Dipl.-Ing.(FH) M.Sc. Department of Electrical & Electronic Engineering Rm 713 University of Wales, Swansea Singleton Park Tel: +44 1792 295541 Swansea SA2 8PP Fax: +44 1792 295686 Great Britain e-mail: A.Eberlein@swansea.ac.uk ************************* NEWSLETTER ENDS ****************************