Forum for Academic Software Engineering Volume 4, Number 16, Fri Sep 23 13:51:24 CDT 1994 Topics: Help: Software Modeling and Reliability Knowledge and Skills for Process Improvement Book Announcement ** CMU Artificial Intelligence Repository ** NGITS-95 Call for Papers Faculty position at the Technion ---- ISE Group SEE'95 Call for Papers ISESS 95 Call ESEC'95 call for papers A------------------------------------------------------- From: Judith Gersting Subject: Help: Software Modeling and Reliability We are a strictly undergraduate computer science program. Next semester (beginning in January) we are offering a seminar course in "Software Modeling and Reliability". Does anyone have suggestions as to 1. Textbooks to use? 2. Papers to read? 3. Topics to cover? 4. Other useful ideas? Any and all suggestions would be appreciated. Judy Gersting University of Hawaii at Hilo gersting@uhunix.uhcc.hawaii.edu A------------------------------------------------------- Subject: Knowledge and Skills for Process Improvement From: Linda Ibrahim Dear Colleages: I am developing a technical report which will describe the knowledge and skills required for process improvement. This report intends to provide "the big picture" of what needs to be taught or learned; it should guide educators and trainers in setting up process improvement curricula in either an industrial or an academic context. If you are interested in this work and want to contribute your ideas, I'd appreciate your input. Just email me and let me know your thoughts along the following lines: Topic: (Briefly describe a topic area you believe is important to be knowledgeable about in order to effect process improvement. Topics may range from broad concepts to specific skill areas.) Objective: (Please indicate the reason you need knowledge of these concepts or mastery of these skills in the context of process improvement) Importance: (Please indicate whether you believe this is an "essential" topic or a "desirable" topic for process improvement education and training) I'd suggest limiting your inputs to 5-10 areas which you believe are key. Thanks in advance for your views, and I'd welcome any suggestions you might have regarding this work. Linda Ibrahim Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 rli@sei.cmu.edu (412) 268-5827 fax: (412) 268-5758 A------------------------------------------------------- From: hgomaa@isse.gmu.edu (Hassan Gomaa) Subject: Book Announcement Software Design Methods for Concurrent and Real-Time Systems by Hassan Gomaa George Mason University Published by Addison-Wesley Publishing Company as part of the SEI Series in Software Engineering ISBN # 52577 In this book, Gomaa outlines the characteristics of concurrent, real-time, and distributed systems, describes the concepts most important in their design, and surveys the design methods available for them. Drawing on his experience in industry, he takes two related object-oriented methods -- ADARTS (Ada-based Design Approach for Real-Time Systems) and CODARTS (COncurrent Design Approach for Real- Time Systems) -- and shows in detail how they can be applied. The author first introduces the reader to real-time and concurrency concepts, and reviews the background in software design and development needed for the balance of the book. He then describes a number of methods that can be used for real-time and concurrent system design, comparing them through application to a common problem. Methods described include Real-time Structured Analysis and Design, Jackson System Development, Parnas' Naval Research Lab/Software Cost Reduction Method, and Object-Oriented Design. For each design method treated, the author presents the concepts on which it is based, the steps used in its application, and an assessment of its effectiveness. Gomaa then focuses on ADARTS, a practical method developed by the author and proven over time, and CODARTS, which contains the author's latest ideas on software analysis and design. The final part of the book features practical case studies in which the ADARTS and CODARTS methods are demonstrated. Highlights * Provides a basic understanding of concepts and issues in concurrent system design, while surveying and comparing a range of applicable design methods. * Elaborates two object-oriented design methods for the effective design of concurrent and real-time systems, including the design of distributed applications. * Describes a practical approach for applying real- time scheduling theory to analyze the performance of real-time designs. This book is valuable for software designers and developers faced with the growing need to design interactive, concurrent, real-time, and distributed systems with state- of-the-art software design methods. About the Author Hassan Gomaa is Professor in the Department of Information and Software Systems Engineering at George Mason University, Fairfax, Virginia. He has over 25 years of experience in software engineering, both in industry and in academia, and has published over 60 technical papers. He has developed concurrent and real-time systems in industry, developed software design methods and applied them to real-world problems, and taught short courses on the subject for professional software engineers. A recognized authority on concurrent and real-time systems analysis and design, Dr. Gomaa received his B.Sc.(Eng.) in Electrical Engineering from University College, London, and his DIC and Ph.D. in Computer Science from Imperial College, London. Hassan Gomaa Professor Department of Information and Software Systems Engineering George Mason University Fairfax, VA 22030-4444 Phone: (703) 993 1652 (703) 993 1640 A------------------------------------------------------- From: ai+@cs.cmu.edu (AI Repository) Subject: ** CMU Artificial Intelligence Repository ** ** ANNOUNCING ** ++++++++++++++++++++++++++++++++++++++++++ + CMU Artificial Intelligence Repository + + and + + Prime Time Freeware for AI + ++++++++++++++++++++++++++++++++++++++++++ July 1994 The CMU Artificial Intelligence Repository was established by Carnegie Mellon University to contain public domain and freely distributable software, publications, and other materials of interest to AI researchers, educators, students, and practitioners. The AI Repository currently contains more than a gigabyte of material and is growing steadily. The AI Repository is accessible for free by anonymous FTP, AFS, and WWW. A selection of materials from the AI Repository is also being published on CD-ROM by Prime Time Freeware and should be available for purchase at AAAI-94 or direct by mail or fax from Prime Time Freeware (see below). ---------------------------- Accessing the AI Repository: ---------------------------- To access the AI Repository by anonymous FTP, ftp to: ftp.cs.cmu.edu [128.2.206.173] and cd to the directory: /user/ai/ Use username "anonymous" (without the quotes) and type your email address (in the form "user@host") as the password. To access the AI Repository by AFS (Andrew File System), use the directory: /afs/cs.cmu.edu/project/ai-repository/ai/ To access the AI Repository by WWW, use the URL: http://www.cs.cmu.edu:8001/Web/Groups/AI/html/repository.html Be sure to read the files 0.doc and readme.txt in this directory. ------------------------------ Contents of the AI Repository: ------------------------------ The AI Repository has the following main directories: lang/ AI Programming Languages areas/ AI Software Packages util/ Compression and Archiving Utilities events/ Calendar of Events, Conference Calls pubs/ Publications, including technical reports, books, mail/news archives The AI Programming Languages and the AI Software Packages sections of the repository are "complete". The other directories are in varying states of completion. The AI Programming Languages section contains hundreds of implementations and support routines for AI programming languages, including Common Lisp, Prolog, Scheme, and Smalltalk. It also includes a variety of useful utilities, such as graphical user interfaces (GUI), object-oriented programming extensions, and other software development tools. The AI Software Packages section includes subdirectories for: agents/ Intelligent Agent Architectures alife/ Artificial Life and Complex Adaptive Systems anneal/ Simulated Annealing blackbrd/ Blackboard Architectures bookcode/ Code From AI Textbooks ca/ Cellular Automata classics/ Classical AI Programs constrnt/ Constraint Processing dai/ Distributed AI discover/ Discovery and Data-Mining doc/ Documentation edu/ Educational Tools expert/ Expert Systems/Production Systems faq/ Frequently Asked Questions fuzzy/ Fuzzy Logic games/ Game Playing genetic/ Genetic Algorithms, Genetic Programming, Evolutionary Programming icot/ ICOT Free Software kr/ Knowledge Representation, Semantic Nets, Frames, ... learning/ Machine Learning misc/ Miscellaneous AI music/ Music neural/ Neural Networks, Connectionist Systems, Neural Systems nlp/ Natural Language Processing (Natural Language Understanding, Natural Language Generation, Parsing, Morphology, Machine Translation) planning/ Planning, Plan Recognition reasonng/ Reasoning (Analogical Reasoning, Case Based Reasoning, Defeasible Reasoning, Legal Reasoning, Medical Reasoning, Probabilistic Reasoning, Qualitative Reasoning, Temporal Reasoning, Theorem Proving/Automated Reasoning, Truth Maintenance) robotics/ Robotics search/ Search speech/ Speech Recognition and Synthesis testbeds/ Planning/Agent Testbeds vision/ Computer Vision The repository has standardized on using 'tar' for producing archives of files and 'gzip' for compression. --------------------------------------- Keyword Searching of the AI Repository: --------------------------------------- To search the keyword index by mail, send a message to: ai+query@cs.cmu.edu with one or more lines containing calls to the KEYS command, such as: keys lisp iteration in the message body. Keywords may be regular expressions and are compared with the index in a case-insensitive fashion. All of the keywords must match a package for it to be included in the response, which you'll receive by return mail. Do not include anything else in the Subject line of the message or in the message body. For help on the query mail server, include: help instead. A Mosaic interface to the keyword searching program is in the works. We also plan to make the source code (including indexes) to this program available, as soon as it is stable. -------------------------------------------- Contributing Materials to the AI Repository: -------------------------------------------- Contributions of software and other materials are always welcome, but must be accompanied by an unambiguous copyright statement that grants permission for free use, copying, and distribution, such as: - a declaration that the materials are in the public domain, or - a copyright notice that states that the materials are subject to the GNU General Public License (cite version), or - some other copyright notice (we will tell you if the copying permissions are too restrictive for us to include the materials in the repository) Inclusion of materials in the repository does not modify their copyright status in any way. As a general rule, we will only consider materials which include full source code, unless there is a very compelling reason for binary-only distribution. Materials may be placed in: ftp.cs.cmu.edu:/user/ai/new/ When you put anything in this directory, please send mail to ai+contrib@cs.cmu.edu giving us permission to distribute the files, and state whether this permission is just for the AI Repository, or also includes publication on the CD-ROM version (Prime Time Freeware for AI). We would appreciate if you would include a 0.doc file for your package; see /user/ai/new/package.doc for a template. (If you don't have the time to write your own, we can write it for you based on the information in your package.) ------------------------------------ Prime Time Freeware for AI (CD-ROM): ------------------------------------ A portion of the contents of the repository is published annually by Prime Time Freeware. The first issue consists of two ISO-9660 CD-ROMs bound into a 224-page book. Each CD-ROM contains approximately 600 megabytes of gzipped archives (more than 2 gigabytes uncompressed and unpacked). Prime Time Freeware for AI is particularly useful for folks who do not have FTP access, but may also be useful as a way of saving disk space and avoiding annoying FTP searches and retrievals. Prime Time Freeware helped establish the CMU AI Repository, and sales of Prime Time Freeware for AI will continue to help support the maintenance and expansion of the repository. It sells (list) for US$60 plus applicable sales tax and shipping and handling charges. Payable through Visa, MasterCard, postal money orders in US funds, and checks in US funds drawn on a US bank. For further information on Prime Time Freeware for AI and other Prime Time Freeware products, please contact: Prime Time Freeware 370 Altair Way, Suite 150 Sunnyvale, CA 94086 USA Tel: +1 408-433-9662 Fax: +1 408-433-0727 E-mail: ptf@cfcl.com ------------------------ AI Repository Archivist: ------------------------ The AI Repository was established by Mark Kantrowitz in 1993 as an outgrowth of the Lisp Utilities Repository (established 1990) and his work on the FAQ (Frequently Asked Questions) postings for the AI, Lisp, Scheme, and Prolog newsgroups. The Lisp Utilities Repository has been merged into the AI Repository. Bug reports, comments, questions and suggestions concerning a particular software package should be sent to the address indicated by the author. Bug reports, comments, questions and suggestions concerning the repository should be sent to Mark Kantrowitz School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 Fax: +1 412-681-5739 E-mail: AI.Repository@cs.cmu.edu A------------------------------------------------------- From: Opher Etzion Subject: Faculty position at the Technion ---- ISE Group FACULTY POSITION at THE TECHNION- Israel Institute of Technology Applications are invited for a tenure track faculty position in the Information Systems Engineering group. The group is part of the Faculty of Industrial Engineering and Management, a large inter-disciplinary school within the Technion - the leading technological institute of Israel. The applicant must have (or is about to receive) a Ph.D. degree, be familiar with information systems and technologies and engaged in active research. Software engineering is of particular interest; however, outstanding candidates with other specializations will also be considered. The Information Systems Engineering group consists of a number of young faculty members. The successful candidate will have the opportunity to participate in developing educational programs at both the undergraduate and graduate levels. The focus of the group is on collaborative research combining various information technologies (artificial intelligence, databases, cooperative work, machine vision, software engineering) to create an infrastructure for advanced applications of information systems. For more details and application instructions please send Email to Dr. Opher Etzion (ieretzn@tx.technion.ac.il) A------------------------------------------------------- From: ami@aviv.isse.gmu.edu (Amihai Motro) Subject: NGITS-95 Call for Papers Call for Papers NGITS '95 The Second International Workshop on Next Generation Information Technologies and Systems 27 - 29 June 1995 Hotel Carlton, Naharia, ISRAEL Supported by the Technion - Israel Institute of Technology and the Neaman Institute As information technology advances, requirements of and expectations from information systems change rapidly. This requires researchers and developers to continuously focus on the next generation of information systems. The NGITS Workshop provides an international forum for discussing issues and solutions related exclusively to next generation information systems and the technologies that would make them possible. These issues include, but are not limited to: o Data and knowledge base challenges: advanced models and languages, data integrity and quality, management of uncertainty and inconsistency, information security and privacy, management of spatial and temporal data o Software architectures for information systems: object-orientation, agent-orientation, extensibility, groupware, software repositories, application generators o Integration: intelligent integration and interchange of information, interoperability and cooperation among heterogeneous information systems, information mediation and brokering, standardization o AI techniques: knowledge management, knowledge representation and reasoning, knowledge discovery, information extraction and filtering, coordination technologies and agent architectures o Human-computer interaction: advanced user interfaces, human-computer cooperation o The impact of new technologies: multi-media, mobile computing, very high speed networks, etc. o Challenging applications: services and tools to support information infrastructure ("information super-highways"), digital libraries, large scientific and geographical databases, health care (medical) information systems, information systems for advanced manufacturing We solicit contributions of three kinds: * Full research papers * Short position papers * Proposals for panel discussions All contributions must emphasize their relevance to issues of next generation information technologies and systems, and must be addressed to an audience of diverse background and interests. The category of "research papers" is intended for technical papers describing research accomplishments. The category "position papers" is intended for papers that discuss new challenges and visionary solutions. Proposals for panels should include an abstract of the subject and likely participants. The workshop will feature paper sessions, panel discussions and talks by invited speakers. All accepted papers will appear in a workshop proceedings. Selected papers will be published in a special issue of the Journal of Intelligent Information Systems. ________________________ Program Committee Chairs ________________________ Ami Motro Moshe Tennenholtz Department of Information and Faculty of Industrial Engineering Software Systems Engineering and Management George Mason University Technion - Israel Institute of Technology Fairfax, Virginia 20030 Haifa, 32000 USA ISRAEL ngits@isse.gmu.edu ngits@ie.technion.ac.il _______________________ Information For Authors _______________________ For research papers authors should submit extended abstracts of 2000 words or less; the full papers that will appear in the proceedings are limited to 5000 words. Position papers are limited to 2000 words. We shall attempt to handle the submission and review processes by electronic mail and request that you submit your contributions by mailing a PostScript version of your paper to BOTH co-chairs at the above e-mail addresses. Otherwise, please send 3 copies of your paper to BOTH co-chairs at the above postal addresses. The organizers request advance notification of your intention to submit a paper: please send an e-mail message to both co-chairs giving the names of the authors and the title or subject of the submission. _______________ Important dates _______________ 31 October 1994 Intent-to-submit statements due 31 December 1994 Extended abstracts (for full papers), position papers, and panel proposals due 28 February 1995 Notification of acceptance 15 April 1995 Camera-ready manuscripts due 27-29 June 1995 The workshop Location and Travel Funds The workshop will take place in Naharia, a picturesque resort town on the Mediterranean sea, 30 kilometers north of Haifa. Limited travel funds will be available to assist some of the participants. General Chairs Opher Etzion Arie Segev Technion - Israel Institute of University of California at Berkeley Technology and Lawrence Berkeley Laboratories ISRAEL USA Program Committee Serge Abiteboul, INRIA, France Ron Ashany, National Science Foundation, USA Hagit Attiya, Technion, Israel Dan Berry, Technion, Israel Elisa Bertino, U. Milano, Italy Yitzhak Birk, Technion, Israel Yuri Breitbart, U. Kentucky, USA Alex Brodsky, George Mason U., USA Peter Buneman, U. Pennsylvania, USA Wesley Chu, U. California, Los Angeles, USA Alessandro D'Atri, U. L'Aquila, Italy Ed Durfee, U. Michigan, USA Dov Dori, Technion, Israel Oren Etzioni, U. Washington, USA Christos Faloutsos, U. Maryland, USA Mark Fox, U. Toronto, Canada Ophir Frieder, George Mason U., USA Les Gasser, U. Southern California, USA Yossi Gil, Technion, Israel Tomasz Imielinski, Rutgers U., USA Alfons Kemper, U. Passau, Germany Fred Lochovsky, U. of Science and Technology, Hong Kong Dennis McLeod, U. Southern California, USA John Mylopoulos, U. Toronto, Canada Gregory Piatetsky-Shapiro, GTE Laboratories, USA Jeff Rosenschein, Hebrew U., Israel Doron Rotem, Lawrence Berkeley Laboratories, USA Amit Sheth, Bellcore, USA Peretz Shoval, Ben Gurion U., Israel Avi Silberschatz, U. Texas, Austin and AT&T Bell Labs, USA Ouri Wolfson, U. Illinois, Chicago, USA A------------------------------------------------------- From: "V70A::DUFRESNERE" Subject: ISESS 95 Call Bob Dufresne email: r.dufresne@ieee.org fax: 401 841 2813 voice: 401 841 2712 x345 CALL FOR PAPERS, TUTORIALS AND PANEL SESSION PROPOSALS SECOND INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING STANDARDS (ISSES95) Queen Elizabeth Hotel, Montreal, Quebec, Canada, August 21-25, 1995 Sponsored by: IEEE Computer Society - Technical Council on Software Engineering In association with: IEEE Software Engineering Standards Committee, IEEE Canada, American Society for Quality Control (ASQC) Software Division, Canadian Information Processing Society (CIPS), Applied Software Engineering Centre/Centre de Recherche informatique de Montreal (ASEC/CRIM), Interest Group on International Software Engineering Standards (GINIGL). Symposium Theme: Experience and Practise The goal of the symposium is to capture users' experience with software engineering standards (SES) in order to improve SES for the benefit of trade and industry. In the last 20 years over 250 SES have been developed by more than 50 international, national, professional and industry organizations. Applications of SES range from information processing, process control to safety critical, financial critical, security critical and mission critical. Some of the needs for future SES include: o Ability to seamlessly integrate SES into an organizational context to meet business and industrial user needs o Ability to apply SES to different levels of rigour by application type o Ability to select a minimum, effective set of SES to facilitate commerce o Ability to specify and measure product attributes of software (functionality, reliability, usability, efficiency, maintainability, portability) to satisfy user needs o Ability of SES to standardize mature technology o Ability of SES to meet and define market needs. This second in a series of International Symposia on Software Engineering Standards aims to promote active international cooperation among practitioners, educators, standards developers, regulatory organizations, industrial users and software engineering researchers. The symposium will focus on the effectiveness of software engineering standards and their future, particularly with respect to critical systems and the practical use of formal methods. The symposium seeks papers that will encourage research into the utility of software engineering standards, promote harmonization of existing and in-work software engineering standards, solicit concepts for the representation and organization of the software engineering discipline, share lessons-learned on the use of software engineering standards, identify needs to improve, consolidate, and extend software engineering standards, and improve the process for developing and maintaining software engineering standards. Symposium Structure The symposium will consist of 1 day of tutorials and 1 1/2 days of parallel paper presentation and panel session tracks as follows. Monday, August 21, 1995 AM,PM Tutorials Tuesday, August 22, 1995 AM,PM Papers and panels Wednesday, August 23, 1995 AM Papers and panels The symposium will be followed by a separate FORUM consisting of parallel workshops. Suggested Topics Papers, Tutorials, Panel Session Proposals and Position Papers are invited in the following suggested areas. Sector Standards Aerospace, telecommunications, defence, transportation, medical electronics, nuclear power generation, electronic funds transfer, process control, government Software Engineering Process Configuration management, quality assurance/systems, user and software requirements, design and development, code, test, verification and validation, integration, project management, documentation, qualification and integration of procured software Special Topics Safety, reliability, security, maintainability, usability, privacy, formal methods, languages, tools, multimedia, human factors, networks, product and process metrics, conformance assessment, certification, integrity levels Scope and Intersection of SES Standards with respect to: Quality system standards, system engineering standards, hardware engineering standards, process improvement and TQM models, communication standards, regulatory bodies and law, Open Systems, Interchange standards, database and repository standards, security standards, PC standards Submission Information Papers must be in English, typed in double spaced format and less than 5000 words in length. These papers must not have been published or submitted elsewhere for publication. Each submission should provide a cover page containing title, all authors' names, affiliations and complete mailing addresses and telephone numbers, together with a maximum 200 word abstract and keyword list. The first page of the paper should have the paper title and beginning text of the document. If the paper is accepted, one of the authors will prepare the final manuscript in time for inclusion in symposium proceedings and is expected to pre-register for the symposium and present the paper. Authors of accepted papers must sign a copyright release form. The proceedings will be published by the IEEE Computer Society Press. Panel Session Proposals and Position Papers should include the title, proposed chair, tentative panellists (including a short vita), a 2 or 3 paragraph description of the subject of the panel discussion together with a rationale for the panel. Panellists must have agreed to participate prior to the submission of the panel proposal. Experience Reports are intended to provide exposure for software engineering professionals of practical experiences in the development and use of software engineering standards. The contributors should clearly identify the paper as an experience report for a 20-25 minute presentation at the symposium. The evaluation criteria for these submissions will be based on the relevance of the results to future direction of software engineering standards. Submissions of papers, experience reports, panel session proposals and position papers should include eight copies sent to one of the Program Co- Chairs, addresses below. Blind refereeing will be provided by a minimum of three experts. Tutorial Session Proposals are solicited for both full-length, all day tutorials and also mini-tutorials of four hours length. Five copies in English of the proposal should be submitted to the tutorials chair. Important Symposium Dates: Submission Deadline: January 15, 1995 Acceptance Notification: March 15, 1995 Camera-ready copy: May 15, 1995 For further Information about the Symposium, Contact: General Chair Joseph Cote Treasury Board of Canada Secretariat 300 Laurier Ave. West, 10th Floor Ottawa, Ontario, Canada K1A 0R5 Tel: 613-957-2496 Fax: 613-957-8700 Program Chairs John Harauz Ontario Hydro H12 D27 700 University Ave. Toronto, Ontario, Canada M5G 1X6 Tel. 416-592-7235 Fax: 416-592-8802 Email: John.Harauz@hydro.on.ca Roger Fujii Logicon 222 West Sixth Street P.O. Box 471 San Pedro, California 90733-0471, USA Tel: 310-831-0611 Ext. 2420 Fax: 310-548-4870/5984 Email: rfujii@logicon.com Sharon Miller AT&T, Room 2L-507 101 Crawfords Corner Road P.O. Box 3030, Holmdel New Jersey 07733-3030, USA Tel: 908-949-2873 Fax: 908-949-7724 Email: sem@hoqst1.att.com Steering Committee Chair Leonard L. Tripp Boeing Commercial Airplane P.O. Box 3707, MS 6H-TW Seattle, Washington 98124, USA Tel: 206-237-5240 Fax: 206-237-5444 Email: lltripp@kgv1.boeing.com Steering Committee Vera Edelstein, VeraQual Associates (USA); Tom Hannan, BTG Inc. (USA); Takis Katsoulakos, Lloyd's Register (UK); Peter Voldner, Bell Sygma (Canada) Program Committee Area Chairs Australia/Pacific Rim Chair Hugo Rehesaar University of New South Wales P.O. Box 1, Kensington, New South Wales 2033 Australia Tel: +61-2-697-4450 Fax: +61-2-662-4061 Email: h.rehesaar@unsw.edu.au Canada Chair Jean-Normand Drouin Bell SYGMA Telecom Solutions 700 La Gauchetiere, (rm 13E1) Montreal, Quebec, Canada H3B 4L1 Tel: 514-870-0974 Fax: 514-393-1391 Email: jndrouin@qc.bell.ca Europe Chair Rajko Milovanovic British Telecom Laboratories B81-G61 Martlesham Heath, Ipswich Suffolk IP5 7RE, UK Tel: +44-473-649-468 Fax: +44-473-644-605 Email: rmilovanovic@axion.bt.co.uk USA Chair Peter T. Poon Jet Propulsion Laboratory California Institute of Technology 4800 Oak Drive Mail Stop: 171-250 Pasadena, California 91109-8099, USA Tel: 818-354-4319 Fax: 818-393-4267 Email: Peter.T.Poon@jpl.nasa.gov Program Committee Grazia Arato, Societa Italiana per l'Esercizio delle Telecomunicazione p.a. (Italy); Robin E. Bloomfield, Adelard (UK); Jorgen Boegh, Delta (Denmark); Jonathan Bowen, Oxford University Computing Laboratory (UK); Ronald L. Braun, Bellcore (USA); Francois Coallier, Bell Canada (Canada); Paul Croll, Computer Sciences Corporation (USA); Hans-Ludwig Hausen, German National Research Centre (Germany); Peter Hitchcock, Technical University of Nova Scotia (Canada); Don Kjosness, Software Technology Centre (Canada); Nazim H. Madhavji, McGill University (Canada); John Marciniak, Kaman Sciences Corporation (USA); Tomoo Matsubara, Matsubara Consulting (Japan); Philippe Robert, PSTI-Evaluation (France); Igor Ushakov, Prism Systems (Canada); Tom Vollman, St. Mary's College of Maryland (USA); Dolores Wallace, National Institute for Standards and Technology (USA) Tutorials Chair W. Morven Gentleman Institute for Information Technology National Research Council Canada Building M-50, Montreal Rd Ottawa, Ontario, Canada K1A 0R6 Tel: 613-993-3857 Fax: 613-952-7998 Email: gentleman@iit.nrc.ca Publicity Chair Robert E. Dufresne Naval Undersea Warfare Centre Division Newport, Rhode Island 02841-5047, USA Tel: 401-841-2712 ext.345 Fax: 401-841-2813 Email: r.dufresne@ieee.org Publications Chair George Jackelen C/O Cards WVU/NASA IV&V Facility 100 University Drive Fairmont, WV 26554, USA Tel: 304-367-8319 Fax: 304-367-8211 Email: jackelen@cards.com Local Arrangements Chair Jerome Pesant Applied Software Engineering Centre/CRIM Suite 800, 1801 McGill College Avenue Montreal, Quebec, Canada H3A 2N4 Tel: 514-398-8142 Fax: 514-398-1244 Email: Jerome.Pesant@crim.ca Location: Montreal Canada ISSES95 is being held in Montreal, Quebec, Canada. Besides a stimulating environment for learning and sharing ideas about software engineering standards, ISSES95 offers the excitement of one of North America's oldest and most cosmopolitan cities. Montreal is an European city in a North American setting. Accompanying guests can find ample sightseeing, entertainment, shopping and dining opportunities. CALL FOR PARTICIPATION ISSES95 FORUM ON SOFTWARE ENGINEERING STANDARDS ISSUES Montreal, Quebec, Canada August 23-25, 1995 "Recommendations for Standards' Process Re-Engineering" The FORUM is a set of parallel workshops addressing key issues and presenting findings and recommendations to the leadership of ISSES95 and its sponsors. Participation is necessarily limited, and is determined on the basis of evaluated position papers. Each workshop is to have a moderator and recorder selected from its participants. Those interested in participating should prepare a one to two page statement summarizing a position on one of the following issues, or on another issue believed to be equally important: o STANDARDS' EFFECTIVENESS--What is the experience with contemporary standards? What worked? Will it continue to work? What didn't work? What should be done? o STANDARDS MAKING--Are there opportunities to streamline the process? Eliminate duplication? Increase timeliness? Reduce errors? Add more "delight" to the product? o NEEDS AND PRIORITIES--What standards are needed? What needs to be changed? What efforts would that take? What priority should each effort have? Who decides? o DETERMINING CONFORMANCE--How do you know you're conforming? How do others know you're conforming? Are there gradations of conformance? Is that acceptable? o REQUIRED RESEARCH--What research results are needed to move forward? How should they be prioritized? How is research to be allocated and managed? By whom? Send your position statement, and indicate interest in serving as workshop moderator or recorder, by November 15, 1994, to the Forum chair. Forum Agenda Wednesday, August 23,1995 PM: Charge to Workshops, Workshops Convene Thursday, August 24,1995 AM, PM: Workshop Prepare Recommendations Friday, August 25,1995 AM: Workshop Recommendations to the leadership of ISSES95 and its sponsors Important Forum Dates Deadline for position statement: November 15, 1994 Notification of acceptance: February 15, 1995 Moderator and recorder assignment: March 15, 1995 Final workshop agenda: June 15, 1995 Forum Chair Tom Hannan BTG, Inc. 1945 Old Gallows Road Vienna, VA 22182, USA Tel: +1-703-556-6518 Fax: +1-703-556-9290 Email: thannan@btg.com Forum Committee Motoei Azuma, Waseda University (Japan); John Botsford, IBM Canada (Canada); Andrew Chruscicki, Rome Laboratory (USA); Nancy George, Software Quality Total Management (USA); Stan Magee, Software Engineering Process Technology (USA); Norm Schneidewind, Naval Postgraduate School (USA); Raghu Singh, Space and Naval Warfare Systems Command (USA) A------------------------------------------------------- From: Esec 95 Subject: ESEC'95 call for papers CALL FOR PAPERS ESEC'95 FIFTH EUROPEAN SOFTWARE ENGINEERING CONFERENCE Sitges, Barcelona, Spain September 25-28, 1995 Following the four previous ESECs held in Strasbourg, Warwick, Milano, and Garmisch-Partenkirchen, the fifth European Software Engineering Conference will again provide an international forum to bring together researchers, developers and users of software engineering technology. Professionals from academia, business and industry will meet to share information, evaluate results and explore new ideas on software engineering models, languages, methods, tools and practices. Original papers are welcome on topics including, but not limited to: - Requirements elicitation, specification and prototyping - Design methods and architectures - Testing and verification - Configuration management - Reuse of components: theory and practice - Application Frameworks - Process and product metrics - Software process: models and formalisation - Workflow Management and Business Process (Re-) Engineering - Software Engineering Environments - Real-time, safety-critical systems - Distributed systems - Technology transfer and practical evaluation from experience Submissions Papers (4 copies) should not be longer than 6000 words and should include a title page with a short abstract and the authors' addresses. Papers must be received by the Programme Chair by January 15 1995. If you prefer not to be identified to reviewers, you should not include authors' names in the body of the paper. We welcome correspondance by fax or e-mail but fax or electronic copies of papers will not be accepted. Submissions will be reviewed by the programme committee for originality, significance, timeliness, soundness and quality of presentation. You should make clear what is novel about your work and should compare it with related work. Theoretical papers should show how their results relate to software engineering practice; practical papers should discuss lessons learned and the causes of success or failure. It is once again planned to publish accepted papers in Springer LNCS. Tutorials Proposals for high-quality tutorials on any aspect of software engineering are welcome. Potential proposers should contact the Tutorial Chair for more information. Important dates Deadline for paper submissions: January 15, 1995 Tutorial submissions: March 10, 1995 Notification of acceptance: April 95 Final versions of papers due: June 95 Conference Location The conference will be held at the Antemare Hotel in Sitges, 36 Km. SW of Barcelona, 20 min. from the Barcelona International Airport, well connected to the Barcelona center by train (every 20 min.) and by several highways. Adresses: Executive Chair: Pere Botella, Facultat d'Informatica UPC Pau Gargallo 5, 08028 Barcelona, Spain Phone +34 3 401 6960, Fax +34 3 401 7113 E_mail: botella@lsi.upc.es Programme Chair: Wilhelm Schaefer, FB Mathematik/Informatik Universitaet -GH- Paderborn, D-33095 Paderborn Phone +49 5251 60 2428, Fax +49 5251 60 3836 E_mail: wilhelm@uni-paderborn.de Tutorial Chair: Gregor Engels, Dept. of Computer Science, Univ. of Leiden Niels-Bohrweg 1, NL-2300 RA Leiden, The Netherlands Phone +31 71 277 069, Fax +31 71 276 985 E_mail: engels@wi.leidenuniv.nl For more information, contact the local arrangements chair: Victor Obach, DIFINSA P. Lesseps 31, 08023 Barcelona Phone +34 3 415 4141, Fax +34 3 415 5556 E_mail: esec95@fib.upc.es Organized by: The ESEC Steering Committee, including representatives of the following national societies: AFCET, AICA, ATI, BCS, GI and SI, also supported by NGI and OCG. In co-operation with: CEPIS and Universitat Politecnica de Catalunya Program Committee Members: Angel Alvarez (Spain) Vincenzo Ambriola (Italy) Naser Barghouti (USA) Pere Botella (Spain) Reidar Conradi (Norway) Jean-Claude Derniame (France) Ernst-Erich Doberkat (Germany) Veronique Donzeau-Gouge (France) Juergen Ebert (Germany) Gregor Engels (The Netherlands) John Favaro (Italy) Anthony Finkelstein (GB) Marcel Franckson (France) Alfonso Fuggetta (Italy) Volker Gruhn (Germany) Peter Hruschka (Germany) Mehdi Jazayeri (Austria) Gerti Kappel (Austria) Richard Kemmerer (USA) Guenther Koch (Spain) Jeff Kramer (GB) Petr Kroha (Germany) Michel Lacroix (Belgium) Axel van Lamsweerde (Belgium) Gonzalo Leon (Spain) Boris Magnusson (Sweden) Javier Martinez (Spain) Masao Matsumoto (Japan) Hausi Mueller (Canada) Oscar Nierstrasz (Switzerland) Henk Obbink (The Netherlands) Fernando Orejas (Spain) Wilhelm Schaefer (Germany) Ian Sommerville (GB) Ray Welland (GB) Jim Welsh (Australia) This Call for Papers and other information about ESEC'95 can be obtained trough the Facultat d'Informatica World-Wide-Web server in the following address: http://amoto.upc.es/Congressos/ESEC95.html E------------------------------------------------------------------- FASE Volume 4 Number 16 Send newsletter articles to fase-submit@d.umn.edu or fase@d.umn.edu Send requests to add, delete, or modify a subscription to fase-request@d.umn.edu Send problem reports, returned mail, or other correspondence about this newsletter to fase-owner@d.umn.edu or kpierce@d.umn.edu You can retrieve back issues by anonymous FTP from from ricis.cl.uh.edu. You can access them through WWW at URL http://ricis.cl.uh.edu/FASE/ Keith Pierce, Editor Laurie Werth, Advisory Committee Department of Computer Science Dept. of Computer Science University of Minnesota, Duluth Taylor Hall 2.124 Duluth, MN 55812-2496 University of Texas at Austin Telephone: (218) 726-7194 Austin, Texas 78712 Fax: (218) 726-6360 Telephone: (512) 471-9535 Email: kpierce@d.umn.edu Fax: (512)471-8885 Email: lwerth@cs.utexas.edu