Forum for Academic Software Engineering Volume 5, Number 2, Fri Jan 20 11:09:09 CST 1995 Topics: WWW Link to Formal Technical Review Archive Position Announcement - University of Missouri-Rolla Book Announcement: Concurrent Systems Book Announcement: Computer-related Risks Multi-media Programming Workshop on AI Education Symposium on Teaching of Object Techology Workshop On Ethical And Professional Issues In Computing ETHICOMP95 A------------------------------------------------------- From: johnson@uhics.ics.Hawaii.Edu Subject: WWW Link to Formal Technical Review Archive You might want to provide a link to the WWW Formal Technical Review Archive, which I maintain at "http://www.ics.hawaii.edu/~johnson/FTR/". This contains a great deal of information about all aspects of FTR, including methods (Fagan code inspection, active design review), consultants, tools (Scrutiny, CSRS), and the most comprehensive bibliography on the subject anywhere. Cheers, Philip Philip Johnson http://www.ics.hawaii.edu/~johnson/ Assistant Professor johnson@hawaii.edu Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii 2565 The Mall (808) 956-3489 Honolulu, HI 96822 Fax: (808) 956-3548 A------------------------------------------------------- From: George Zobrist Subject: Position Announcement - University of Missouri-Rolla THE UNIVERSITY OF MISSOURI-ROLLA DEPARTMENT OF COMPUTER SCIENCE APPLICATIONS ARE INVITED FOR A TENURE-TRACK POSITION AT the level of assistant professor to begin in Fall 1995. Qualifications for the position include a Ph.D. in computer science and strong commitments to teaching and to research in the area of software engineering. The Department grants the B.S., M.S. and Ph.D. degrees. The Ph.D. program has been active since 1977 and the Department currently has close to 100 graduate students. Departmental research is growing with current funding above half a million dollars. Current research areas are parallel and distributed computing, scientific computing, formal methods, and artificial intelligence. UMR Intelligent Systems Center also provides interdisciplinary research opportunities and faculty members in the department may become research investigators in this center. The committee will begin reviewing applications on March 1, 1995. Applications are accepted until the position is filled. Applicants should send a vita and a statement of research and teaching interests, and arrange to have three letters of reference sent to: Dr. Fikret Ercal, Faculty Search Committee Department of Computer Science University of Missouri-Rolla Rolla, MO 65401 Phone: (314)-341-4492 E-mail: csdept@cs.umr.edu Salary is competitive with Big-10/Big-8 universities. For additional information about the department, you may access the department's home page via Mosaic at http://www.cs.umr.edu. UM-Rolla is an equal opportunity/affirmative action employer and especially encourages applications from both minorities and women. A------------------------------------------------------- From: Mike Hinchey Subject: Book Announcement: Concurrent Systems The following book, which may be of interest to readers of this list, is due to be published tomorrow (12 January) and should be available from usual outlets within a few days: CONCURRENT SYSTEMS: Formal Development in CSP by Michael G. Hinchey (Univ. of Cambridge and New Jersey Inst. of Technology) and Stephen A. Jarvis (Univ. of Durham) McGraw-Hill International Series in Software Engineering, McGraw-Hill Book Company, London; ISBN 0-07-707649-4 192 pages, paperback UK Price: GBP 19.95 The advent of concurrent systems undoubtedly promises greatly increased processing power. These systems, however, are inherently complex and present many new problems at both the design and implementation phases. Appropriate specification, design and implementation methods are required, which will facilitate the development of such systems. Techniques based on formal methods, such as the language of CSP (Communicating Sequential Processes) have proven to be the most successful means of conquering complexity in the specification of concurrent, embedded, real-time and distributed systems. "Concurrent Systems: Formal Development in CSP" offers an up-to-date and practical treatment of this important subject. The basis of the text is a combination of a tutorial approach with convenient reference material. Beginning with a clear introduction to CSP, the book goes on to provide a comprehensive listing of the laws of CSP and describes the more important variants of the language. An illustrative case study, based on the verification of a network protocol, forms a central part of the book and practical implementation in both Occam and Ada 9X is discussed in depth. This book represents a significant, student-friendly contribution to the teaching of CSP. Its example-based, but rigorous approach makes it ideal for both undergraduate and postgraduate courses in concurrency, formal methods, distributed and real-time systems. Special features include: -- A tutorial introduction combined with comprehensive reference material -- Coverage of the most important variants of CSP -- A fully annotated select bibliography -- Implementation details in Occam and Ada 9X >From the foreword by Professor Darrel Ince: Until now, apart from Hoare's original book, there has been a paucity of expositional material [on CSP]. This has been remedied by the publication of this book which, as series editor, I am very proud to include in the McGraw-Hill Software Engineering Series. Not only do the authors provide an excellent tutorial introduction to CSP, but they also describe some of the more important variants of the notation and outline how CSP specifications can be refined into program code. The latter I regard as immensely valuable: the formal methods community have been rather tardy in dealing with refinement, preferring mainly to approach it via theories which are never really tested. If you are a student who is going to take a course on concurrency, a researcher wishing to gain knowledge of the CSP approach to concurrency or a developer looking for something to make your life easier then I heartily recommend this book. I hope you enjoy reading it as much as I did. A------------------------------------------------------- From: fyi@ACM.ORG Subject: Book Announcement: Computer-related Risks Multi-media Programming Computer-Related Risks Peter G. Neumann, SRI International ACM Press Books, in conjunction with Addison-Wesley has recently published Computer-Related Risks. This book is much more than a collection of computer mishaps; it is a serious, technically oriented book written by one of the world's leading experts on computer risks. The book summarizes many real events involving computer technologies and the people who depend on those technologies, with widely ranging causes and effects. Multimedia Programming: Objects, Environments and Frameworks ACM Press Books, in conjunction with Addison-Wesley has just published Multimedia Programming: Objects, Environments and Frameworks, by Simon Gibbs and Dennis Tsichritzis. With this text, you'll gain an overview of current multimedia environments, including CD-I, Quicktime, and Multimedia PC. For more information on these books, please contact: ACM's Member Services Department: 1515 Broadway, New York, NY 10036 USA; acmhelp@acm.org; phone: 1-800-342-6626 (USA & Canada); +1-212-626-0500 (Metro NY & Outside USA); fax: +1-212-944-1318. In Europe: Avenue Marcel, Thiry 204, 1200 Brussels, Belgium; acm_europe@acm.org; phone: +32 2 774 9602; fax: +32 2 774 9690. Non ACM Members outside the USA can get the Computer-Related Risks Book's ordering and contact information by accessing Addison-Wesley's gopher site at: gopher aw.com; or by calling: +1-617-944-3700 ext. 5190. A------------------------------------------------------- From: mike@fava.idsia.ch (Mike Rosner) Subject: workshop on AI education AISB Workshop on AI Education - Goals, Courses and Resources FIRST CALL FOR PARTICIPATION University of Sheffield Sheffield, England April 3 or 4, 1995 Society for the Study of Artificial Intelligence and Simulation of Behaviour (SSAISB) Workshop Committee Michael Rosner, IDSIA, Lugano/University of Malta (Principle Organiser) Paolo Cattaneo, IDSIA, Lugano Dean Allemang, PTT Research Labs, Bern, Switzerland Ben du Boulay, Sussex University Anneke De Roeck, Essex University Giorgio Ingargiola, Temple University, Philadelphia Arthur Stutt, The Open University, Milton Keynes Gheorghe Tecuci, George Mason University, USA/Romanian Academy Dan Tufis, Romanian Academy, Bucharest This workshop is intended to clarify some of the issues surrounding AI education. It is aimed at those involved with teaching AI, AI practioners with an educational leaning, and developers of educational materials for AI. At the workshop we will try to focus the discussion around the following three themes: - Goals of AI Education: what skills do we expect an AI course to impart? Can we resolve the conflict between the need for AI-literate graduates (this includes graduates from other disciplines such as linguistics, philosophy, engineering, statistics etc) to deal with real world problems and the need to pursue pure research? how does this link up with what we teach and how we teach it? - Anatomy of the AI Curriculum: AI comprises a large number of different subfields; at the same time, the most interesting AI problems are inherently interdisciplinary. What is the relationship between "core" AI subjects and interdisciplinary problems, and how this might relate to a syllabus. What are the experiences of those currently involved with teaching specific AI courses. - Resources for AI Education: it is now possible to lay hands upon somebody's version of practically anything over the internet. Yet the utility of all this material for teaching purposes is without doubt less than it ought to be due to compatibility problems, lack of indexing, and lack of guidelines for would-be contributors. The aim here is to to formulate some recommendations for improving the nature, quality and diffusion of such resources. We solicit papers on the above themes for 20 minute presentations + 10 minutes discussion. Plain ascii text abstracts should be submitted by email (subject line "aisb workshop" not more than 2 pp.) to the principle organiser. Authors of accepted abstracts will have approximately one month to submit final versions of papers (up to ten pages, self-contained Latex, Ascii or Postscript). Proposals for demonstrations of existing work are likewise welcome: please be specific about time and hardware/software requirements. There will also be a limited number of workshop places for participants interested in the theme who do not wish to be included in the formal programme. Further information from the principle organiser Deadlines: 2 page email abstracts or indication of interest: 23rd January 1995 (**revised date**) Notification of acceptance: 6th February 1995 Final papers: 3rd March 1995 Michael Rosner, IDSIA, Corso Elvezia 36, 6900 Lugano, Switzerland tel. +4191 22 88 81; fax. +4191 22 89 94; email aisb@idsia.ch (principle organiser) A------------------------------------------------------- From: brian@socs.uts.edu.au (Brian Henderson-Sellers,,,,6) Subject: Symposium on Teaching of Object Techology Call for papers for Symposium on Teaching of Object Technology, Santa Barbara, 4 August 1995 (the last day of the TOOLS USA 95 week) The Second Symposium on Teaching of Object Technology (STOT2) is a large-scale event to be devoted exclusively to OO education. This symposium will be an opportunity for teachers in academia, training managers in companies and everyone with an interest in object technology to discuss the problems and techniques of teaching this approach. Papers are solicited now and should be submitted to the Chairman (see details below) preferably by email in ASCII or plain TeX (i.e. no personal embedded macros) by February 1st, 1995. Papers should be submitted as final drafts, equivalent in length to 10-20 double spaced pages. Papers will be refereed by the international technical committee for quality and appropriateness to the conference theme. Notification of acceptance will be given by March 30, 1995 and final camera-ready copies of accepted papers due May 1. A limited distribution of accepted Symposium papers will be made to attendees and papers of sufficiently high quality will also be considered for inclusion in the Proceedings volume for TOOLS17, published worldwide by Prentice Hall. Deadline summary: Submissions due February 1, 1995 Acceptances mailed out March 30, 1995 Final CRC manuscripts due May 1, 1995 Papers to be submitted to: Professor Brian Henderson-Sellers Director, Centre for Object Technology Applications and Research School of Computing Sciences University of Technology, Sydney P.O. Box 123 Broadway NSW 2007 Australia Fax: +61 (0)2 330 1807 email: brian@socs.uts.edu.au International Symposium Technical Committee membership includes: B. Henderson-Sellers, Australia: CHAIR J. Bezivin, France T. Budd, USA J.M. Chandler, UK M. Dodani, USA D. D'Souza, USA R. Ege, USA J.P. Finance, France P. Guerreiro, Portugal J. Kreindler, USA S. Lilly, USA J. McKim, USA M.L. Manns, USA C. Mingins, Australia R. Wiener, USA ================================================================= Professor Brian Henderson-Sellers Director, Centre for Object Technology Applications and Research School of Computing Sciences University of Technology, Sydney ___________ __________ P.O. Box 123 / \/ \ Broadway | U /\ U \ NSW 2007 | || | Australia | T || T | | || | | S || S | Tel: +61 (0)2 330 1189 | _ || _ | Fax: +61 (0)2 330 1807 \ (_) /\(_) / email: brian@socs.uts.edu.au \__________/ \_________/ | () | \____________________________/ \__________________________/ A------------------------------------------------------- From: lwerth@cs.utexas.edu (Laurie Werth) Subject: Workshop On Ethical And Professional Issues In Computing A workshop on Ethical and Professional Issues in Computing will be offered June 24-28, 1995 at Rensselaer Polytechnic Institute (funded by the National Science Foundation's Undergraduate Faculty Enhancement Program). The workshop aims to prepare undergraduate faculty (from diverse disciplines) to teach courses and course modules on the workshop topic. It includes pre-workshop activities and a follow up meeting the next summer. Topics to be covered include: codes of professional conduct, privacy, property rights in computer software, hacking, liability, responsibilities of computer professionals. While room and board will be provided at no cost to participants, travel expenses must be obtained from the participant's home institution. The workshop will be directed by Professor Deborah G. Johnson (Rensselaer Polytechnic Institute) and co-directed by Professor Keith Miller (Sangamon State University). For more information contact: Todd D. Cherkasky, Department of Science and Technology Studies, Rensselaer Polytechnic Institute, Troy, NY 12180-3590, e-mail: cherkt@rpi.edu Deadline for submission: April 15, 1995 A------------------------------------------------------- From: Simon Rogerson Subject: ETHICOMP95 ETHICOMP95 ---------- An international conference on the ethical issues of using Information Technology 28th, 29th and 30th March 1995 Queen's Building, De Montfort University Leicester UK Co-directors Simon Rogerson, Department of Information Systems, De Montfort University Terrell Ward Bynum, Director Research Center on Computing and Society, Southern Connecticut State University The programme of events for ETHICOMP95 provides an excellent forum for stimulating debate on fundamental issues relating to the development and use of Information Technology and Information Systems. There will be an opportunity to consider approaches based on the different cultures and countries of both conference presenters and conference delegates. The three-day conference consists of three parallel themes. Each theme will comprise a series of papers and workshops. There will be three broad themes within the conference programme ETHICAL DEVELOPMENT This is concerned with the use of development methodologies and the consideration of ethical dilemmas, user education and professionalism. ETHICAL TECHNOLOGY This is concerned with the advances in technologies and the likely ethical issues they raise as they are applied to business and societal problems. ETHICAL APPLICATION This is concerned with developing ethical strategies which allow technology to be exploited in an ethically acceptable way. CONFERENCE ATTRACTIONS INCLUDE * Keynote presentations will be given by Professor William Maner, Bowling Green University, US Professor Maner has been a leading authority on Computer Ethics in US for over 25 years. He has produced many books and papers on the subject and has been prominent in establishing the subject as a mandatory element of Computer Science education accredited by ACM and IEEE. Mrs Elizabeth France, Data Protection Registrar, UK Before taking becoming Data Protection Registrar, Mrs France was head of the Home Office's Information and Pay Services Division. A member of the Committee for the Co-ordination of Computerisation in the Criminal Justice System and of the CCTA's Computers Committee Mrs France has extensive experience of national computing policy making. Professor Jacques Berleur, Namur, Belgium Professor Berleur was chairman of the IFIP task group which has produced the strategic report entitled "IFIP Framework for Ethics" and recently endorsed by IFIP. This work establishes an approach to addressing Computer ethics from a global perspective. * Presentation of refereed papers * Interactive workshops * Information stalls and interactive demonstrations * Bookstall with books and journals on Computer Ethics * Conference dinner at the prestigious location of Bosworth Hall KEY BENEFITS * An update of the current and future ethical dilemmas facing IS/IT * An opportunity to exchange ideas on ethical practices with colleagues from different work environments and cultures * Guidance on how to develop and implement more acceptable systems * Research-oriented and practically-oriented sessions providing a unique opportunity for knowledge dissemination WHO SHOULD ATTEND Educators, researchers and practitioners in the field of IS/IT Decision makers in industry and commerce responsible for the application of IS/IT ACCOMMODATION Belmont House Hotel Telephone (+44) 533 544773 Fax (+44) 533 470804 Bed and breakfast daily rate double: 74 ponds, single: 63.5 pounds (state DMU rate) The Grand Hotel Telephone (+44) 533 555599 Fax (+44) 533 544736 Bed and breakfast daily rate double: 76 pounds, single: 58 pounds (state DMU rate) Stoneycroft Hotel Telephone (+44) 533 707605 Fax (+44) 533 706067 Bed and breakfast daily rate double: from 33 pounds, single: from 24 pounds It is recommended that accommodation is booked well in advance. Details are correct at time of going to press. FEES AND REGISTRATION --------------------- The conference fee of $375 (250) includes conference proceedings, refreshments, lunches and the conference dinner. All conference fees must be paid in sterling by cheque or money order in advance. Registration paid in full on or before 15th February 1995 will receive a $25 discount. The fee will then be $350 (235) Fees are inclusive of VAT To register please provide the following information and include a cheque or money order for the appropriate amount made payable to De Montfort Expertise. These should be sent to Sue Colledge ETHICOMP95 External Relations De Montfort University The Gateway Leicester LEI 9BH UK Tel: (+44) 533 577354 Fax: (+44) 533 577533 ----------------------------------------------------------------------- ETHICOMP95 28th, 29th and 30th March 1995 ---------- ------------------------------ BOOKING FORM ------------ Title First Name Surname Position Organisation Address Telephone Fax E-mail Accommodation should be booked direct with the hotels. Joining Instructions will be issued approximately two weeks before the date of the conference. Cancelled bookings may incur a cancellation fee. If written notification of cancellation reaches us later than 10 days before the conference commences we reserve the right to charge the full fee. E------------------------------------------------------------------- FASE Volume 5 Number 2 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 David Eichmann, FASE Archivist Asst. Prof. / RBSE Director of R & D Web: http://ricis.cl.uh.edu/eichmann/ Software Engineering Program Phone: (713) 283-3875 University of Houston - Clear Lake fax: (713) 283-3810 Box 113, 2700 Bay Area Blvd. Email: eichmann@rbse.jsc.nasa.gov Houston, TX 77058 or: eichmann@cl.uh.edu RBSE on the Web: http://rbse.jsc.nasa.gov/eichmann/rbse.html