Forum for Academic Software Engineering Volume 4, Number 2, Fri Jan 21 13:24:15 CST 1994 Topics: SIGCSE '94 information 2nd CS-course for non-CS majors. Experiences? Re: Anybody out there innovative? workshop on logic programming in software engineering On-line catalog Railways, Safety and Formal Methods A------------------------------------------------------------------- From: SIGCSE94 Sigcse94 Subject: SIGCSE '94 information In this electronic age, information about the SIGCSE '94 Technical Symposium, is available electronically. You can retrieve extensive information about SIGCSE '94 by anonymous ftp from tiger.vill.edu in the directory sigcse94. This information includes the complete ASCII text of the symposium program, hotel and travel information, forms for registration, details on workshops, and descriptions of local attractions. Information about CSC '94 is available by anonymous ftp from ftp.cs.utexas.edu in the directory pub/csc94 The CSC '94 Advance Program was mailed before Christmas. The SIGCSE '94 Program will be mailed about January 7. Hope to see you in Phoenix. Robert Beck SIGCSE '94 Symposium Chair sigcse94@vill.edu (610) 519-7307 A------------------------------------------------------------------- From: viassist1@rcl.wau.nl (Mark R. Kramer) Subject: 2nd CS-course for non-CS majors. Experiences? At our university we teach a course "Voortgezette Informatica" (literally: Continued Informatics / Continued Computer Science). The course has evolved from 'advanced programming' to 'software engineering' plus some other topics. Now we are planning to revise this course. Essentially we want to concentrate on 'software engineering' and 'programming techniques'. If you teach a similar course for non-CS majors, could you share some information and/or experiences with us. We are interested in answers to (a.o.) the following questions: - What are the objectives of your course? - How much time does the course take (for students)? - Which book(s) do you use? - What kind of lab exercises do you use? Please reply to viassist1@rcl.wau.nl (i.e. to the 'From:'-address, not to the address in the signature) Further information: Our audience ranges from technically oriented students (e.g. agricultural or biochemical engineering) to students in socio-economical studies (e.g. farm management, sociology of developing countries, extension). We don't have majors in CS, Math, Physics etc. at our university. The only prior exposure to computer science are the courses 'introduction to programming' (Pascal without pointers) and 'fundamentals of informatics' (concepts such as: information, HW/SW, OS, limitations of automation). Many of our students don't take further courses in our department. But often they have to write or adapt software in other departments. We want to teach those students the most appropriate techniques and principles. But we can't make them Software Engineers. ------------------------------------------------------------------------ Mark R. Kramer Dreijenplein 2 Department of Computer Science 6703 HB Wageningen Wageningen Agricultural University The Netherlands tel: +31 8370 84154 kramer@rcl.wau.nl fax: +31 8370 84731 A------------------------------------------------------------------- From: jbach@netcom.com (James Bach) Subject: Re: Anybody out there innovative? nc313100@wvnvms.wvnet.edu wrote: : So, is anyone out there being innovative in the classroom? We have an : innovator's program and I would love to hear some innovative ideas. My : mind "hurts" from being innovative! Have you heard about Vern Crandall's work at Brigham Young University and Utah Valley State College? He put together partnerships between the schools and various software companies to help teach software quality assurance. Students test real software products under development by the companies, and thus gain experience while the companies get a valuable service. It's especially interesting because software quality assurance is rarely taught in schools, even though the software industry desperately needs CS grads who understand it. -- James Bach Borland International A------------------------------------------------------------------- From: cianca@cs.unibo.it (Paolo Ciancarini) Subject: workshop on logic programming in software engineering Preliminary Call For Papers ICLP'94 Post-conference Workshop on Applications of Logic Programming to Software Engineering June 17-18 , 1994 Santa Margherita (Genova), Italy An under-appreciated application area for logic programming, in our opinion, is software engineering. Despite the apparent potential of logic programming to improve the process of developing software, there have been only sporadic research efforts. It is time, we believe, to seriously address how logic programming can be applied to software engineering. In this workshop we would like to discuss which features of logic programming are most useful for a software engineer, and which software engineering applications have been already developed based on a logic programming approach. The workshop is intended to bring together researchers, educators and pratictioners interested in all aspects of logic programming-based methods, techniques and tools for software engineering, including but not limited to the following topics: - Requirement analysis and specification based on logic programming - Specification and design languages based on logic programming - Design techniques based on logic programming - Software engineering environments including rule-based components - Prolog-based tools for programming in-the-small - Prolog-based tools for programming in-the-large - Software process modeling based on logic languages - Logic and Object-oriented programming methods - Software engineering courses based partially or totally on logic programming Authors interested in presenting their work are invited to send, by e-mail or by regular mail, a 5-7 pages extended abstract or, preferably, a full paper before April 2. The submissions will be reviewed by the workshop organizers and based on this review, they will be included in informal proceedings to be distributed to the attendees. A selection of these papers will be presented at the workshop. Acceptance/rejection will be notified by May 1. People interested in attending the workshop without submitting a paper are also welcome. They are kindly requested to send their postal and (if available) electronic addresses as soon as possible. All submissions and information requests should be sent to: Paolo Ciancarini Dipartimento di Matematica Univ. di Bologna Piazza di Porta S. Donato, 5 40127 Bologna, Italy e-mail: cianca@cs.unibo.it tel: +39 51 354422 fax; +39 51 354490 Workshop organizers: Paolo Ciancarini, Univ. di Bologna, cianca@cs.unibo.it Leon Sterling, Case Western Reserve University, leon@ces.cwru.edu Important dates: Deadline for submission of papers: April 2 Notification for acceptance/rejection: May 1 The 1994 International Conference on Logic Programming will be held on June 13-16, 1994, in Santa Margherita Ligure, near Genoa, Italy. Post-conference workshops are planned to be held in the same venue, on June 17-18. According to the standard policy of LP post-conference workshops, the workshops themselves are a part of the Conference. This means that participants are expected to register to the conference as well. -- Paolo Ciancarini, Assoc. Prof. of Computer Science Dept. of Mathematics Univ. of Bologna - Pza di Porta S.Donato 5, 40126 Bologna Italy tel +39 51 354422 fax +39 51 354490 A------------------------------------------------------------------- From: tommac@alpha.acast.nova.edu (Dr. Thomas W. MacFarland) Subject: On-line catalog Greetings: Nova University's Center for Computer and Information Sciences is pleased to announce that its graduate catalog is now readily available to the Internet community. For an online graduate catalog, send an e-mail message to: cciscat@alpha.acast.nova.edu This system is automated. The catalog is nearly 5700 lines, so you may want to redirect the output into a temporary directory. Internet users will find the catalog especially interesting in that the Center for Computer and Information Sciences has a variety of programs and degree offerings using a continuum of real-time and delayed-time computer-mediated communication. From: peters@mozart.uark.edu (James Peters) Subject: Railways, Safety and Formal Methods A------------------------------------------------------------------- The following information was collected by Bas van Blijmen, and appeared in an 18 January 1994 Concurrency Group report. Jim A summary is given of what we received in response to our request for information on RAILWAYS, SAFETY and FORMAL METHODS, sent to the CONCURRENCY list on December 20, 1993. Our own research in the near future will concentrate on: 1. study of the material we gathered: categorize what is going on, what techniques are used, what is solved and what is not; 2. formulate in cooperation with the Dutch National Railways (NS) what they consider safe and proper behaviour of their interlocking equipment; 3. prove the properties formulated with NS under point 2 for the interlocking at Hoorn-Kersenboogerd, a small Dutch station. Last but not least we wish to thank everybody who responded for the information, remarks, comments, and papers. These were all very helpful. Regards, Jan Friso Groote, S.F.M. van Vlijmen Utrecht University Department of Philosophy Heidelberglaan 8 P.O.Box 80126 3508 TC Utrecht e-mail: JanFriso.Groote@phil.ruu.nl, Bas.vanVlijmen@phil.ruu.nl. ******************************************************************** ****************************** SUMMARY *************************** ******************************************************************** This summary is based on the material we received by email and other means. It does not pretend to be complete nor to be accurate. 1. People and groups working on RAILWAYS, SAFETY and FORMAL METHODS Great Britain Institute Name email --------- ---- ----- Warwick Cullyer ? Warwick W. Wong ww@cl.cam.ac.uk University of Newcastle upon Tyne M. Koutny ? " R. de Lemos ? " A. Saeed ? " T. Anderson ? LFCS Edinburgh G. Bruns ? " S. Anderson ? " G. Cleland glc@dcs.ed.ac.uk Manchester Metropolian University M. Fisher michael@sun.com.mmu.ac.uk UMIST C. Pulley cjp@sna.co.umist.ac.uk UMR Su-mei Tsai sumeit@mcs213k.cs.umr.edu Germany Institute Name email --------- ---- ----- TU Muenchen D. Taubner taubner@informatik.tu-muenchen.de Siemens A. Scholz Andreas.Scholz@zfe.siemens.de ? S. Fischer ? GMD M. Morley morley@gmd.de The Netherlands Institute Name email --------- ---- ----- Eindhoven Technical University K. van Hee ? " W. van der Aalst wsinwa@win.tue.nl " R. Bol bol@info.win.tue.nl CVI P. van Eijk cvitoa!pve@relay.nluug.nl University of Amsterdam W. Koorn koorn@fwi.uva.nl Utrecht University S.F.M. van Vlijmen Bas.vanVlijmen@phil.ruu.nl " J.F. Groote JanFriso.Groote@phil.ruu.nl France Institute Name email --------- ---- ----- GEC Alsthom Sweden Institute Name email --------- ---- ----- Swedisch State Railway J.F. Lindeberg ? U.S.A. Institute Name email --------- ---- ----- Carnegie Mellon E. Clarke Edmund_Clarke@G.GP.CS.CMU.EDU Cornell T. Henzinger tah@cs.cornell.edu Australia Institute Name email --------- ---- ----- CSIRO & ANU H. Schmidt Heinz.Schmidt@csis.dit.csiro.au 2. Techniques used Various techniques are used. The most commenly encountered were Temporal Logics, Process algebras (ACP, CCS, CSP) and Petri nets. 3. Bibliografy (in BibTex format) @article{Kou86, author = {M. Koutny}, title = {The {M}erlin-{R}andell Problem of Train Journeys}, journal = {Acta Informatica}, volume = {23}, year = {1986}, pages = {429-463} } @inproceedings{Br92, author = {G. Bruns}, booktitle = {Computer Aided Verification}, editor = {G. von Bochmann and D.K. Probst}, institution= {Universi\'e de Montreal}, pages = {220-233}, title = {A Case Study in Safety-Critical Design}, series = {LNCS}, volume = {663}, year = {1992} } @article{LSA92a, author = {Lemos, R. de and A. Saeed and T. Anderson}, title = {A Train Set as a Case Study for the requirements Analysis of Safety-Critical Systems}, journal = {The Computer Journal}, volume = {35}, number = {1}, year = {1992}, pages = {30-40} } @inproceedings{FTS92, author = {S. Fischer and D. Taubner and A. Scholz}, booktitle = {Computer Aided Verification}, editor = {G. von Bochmann and D.K. Probst}, institution= {Universit\'e de Montreal}, pages = {192-205}, title = {Verification in process algebra of the distributed control of track vehicles -- A case study}, series = {LNCS}, volume = {663}, year = {1992} } @inproceedings{FFO93, author = {M. Finger and M. Fisher and R. Owens}, booktitle = {Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-93)}, title = {{\sc MetateM} at Work: Modelling Reactive Systems Using Executable Temporal Logic}, year = {1993}, publisher = {Gordon and Breach Publishers}, address = {Edinburgh, U.K.}, month = jun } @inproceedings{AHH93, author = {Alur and Henzinger and Ho}, booktitle = {IEEE Real-Time Systems Symposium}, title = {Automatic Symbolic Verification of Embedded Systems}, year = {1993} } @article{BS89, author = {J. Burghardt and H. Schmidt}, title = {Das \"{U}bel bei der {W}urzel packen}, journal = {GMD-Spiegel}, volume = {2}, number = {3}, year = {1989} } @book{CGR93a, author = {D. Craigen and S. Gerhart and T. Ralston}, title = {An International Survey of Industrial Applications of Formal Methods--Purpose, Approach, Analysis and Conclusions}, volume = {1}, publisher = {NIST (National Institute of Standards and Technology)}, year = {1993} } @book{CGR93b, author = {D. Craigen and S. Gerhart and T. Ralston}, title = {An International Survey of Industrial Applications of Formal Methods--Case Studies}, volume = {2}, publisher = {NIST (National Institute of Standards and Technology)}, year = {1993} } @article{Bou86, author = {J. Bourachot}, title = {Computer-aided planning of traffic in large stations by means of the {AFAIG} model}, journal = {Rail International}, volume = {2}, month = may, year = {1986} } @techreport{Br87, author = {M. Broy}, title = {Specification of a railway system}, institution= {Universit\"at Passau}, year = {1987}, number = {MIP-8715} } @techreport{IMT93a, author = {M. Insall and B. McMillin and S. Tsai}, title = {Providing Run-Time Assurance for Responsive Computing Systems}, institution= {UMR Department of Computer Science}, number = {CSC 93-29a}, year = {1993}, note = {in preparation} } @techreport{IMT93b, author = {M. Insall and B. McMillin and S. Tsai}, title = {A Run-Time Decision Procedure for Responsive Computing Systems}, institution= {UMR Department of Computer Science}, number = {CSC 93-29b}, year = {1993}, note = {to be submitted to Conference on Computer Aided Verification} } @techreport{IMT93c, author = {M. Insall and B. McMillin and S. Tsai}, title = {Constructing an Interval Temporal Logic for Real-Time Systems}, institution= {UMR Department of Computer Science}, number = {CSC 93-25}, year = {1993}, note = {submitted to Journal of Applied Non-Classical Logic} } @inproceedings{Li93, author = {J.F. Lindeberg}, booktitle = {Directions in Safety-critical Systems, Proceedings of the Safety-critical Systems Symposium, Bristol 1993}, editor = {F. Redmill and T. Anderson}, title = {The Swedish State Railway's Experience with n-Version Programmed Systems}, year = {1993}, publisher = {Springer-Verlag Safety-critical Systems Club}, } @techreport{AC93, author = {S. Anderson and G. Cleland}, title = {Formal Approaches to Safety in Programmable Electronic Systems}, institution= {University of Edinburgh, LFCS}, year = {1993} } @article{Cr87, author = {A.H. Cribbens}, title = {Solid-state interlocking ({SSI}): an integrated electronic signalling system for mainline railways}, journal = {IEE Proceedings}, volume = {134}, number = {3}, month = may, year = {1987} } @techreport{CP93, author = {G.V. Conroy and C. Pulley}, title = {Logical Methods in the Formal Verification of Safety-Critical Software}, institution= {UMIST}, year = {1993} } @techreport{M93a, author = {M.J. Morley}, title = {Safety in Railway Signalling Data: A Behavioural Analysis}, institution= {University of Edinburgh, LFCS}, year = {1993} } @techreport{M93b, author = {M.J. Morley}, title = {Modelling {B}ritish {R}ail's Interlocking Logic: Geographic Data Correctness}, institution= {University of Edinburgh, LFCS}, year = {1993} } @article{CV91, author = {V. Chandra and M.R. Verma}, title = {A fail safe interlocking system for railways}, journal = {IEEE Design \& Test of Computers}, volume = {8}, number = {1}, pages = {58-66}, year = {1991} } E------------------------------------------------------------------- FASE Volume 4 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 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