Forum for Academic Software Engineering Volume 5, Number 20, Thu Aug 31 11:48:35 CDT 1995 Topics: Catching up Call for Papers - IEEE Potentials Magazine Workshop on Formal Methods in the Early CS Curriculum CTI Computing Workshop on Teaching Formal Methods Second Annual Central Plains Small College Computing Conference Seventh Annual South Central Small College Computing Conference First Northeastern Small College Computing Conference CFP: User-Centred Requirements Engineering A------------------------------------------------------- From: Keith Pierce Subject: Catching up You'll receive several issues in the next few weeks as I clean up the backlog of submissions. This issue includes all the paper calls and conference/workshop announcements. The next issue will be devoted solely to Peter Mellor's report on the Software Engineering Education Workshop in Seattle in April, held in conjunction with ICSE-17. A------------------------------------------------------- From: George Zobrist Subject: call for papers - IEEE Potentials Magazine Solicitation of Manuscripts for IEEE Potentials Magazine The IEEE Potentials Magazine is soliciting manuscripts for all aspects of electrical/electronic/computer engineering and computer science. The IEEE Potentials Magazine goes to all student members of the ieee (usa and canada), presently about 50,000. The level of the article is addressed to the undergraduate student and has several objectives : interesting the student in a topic for further study, explaining technological advances in an area, a forum for technical ideas, articles of interest technically. It should be stressed that the article should not try to mystify the student but to enable the student to learn more about technical material that he/she may/may not become acquainted with in their formal course work. Length of article can be no more than 10 manuscript pages (8 1/2-11) reduced by number of figures- shorter papers also acceptable The manuscripts are reviewed by: students, faculty, researchers in area and then a decision is made as to whether to publish or not. If interested, contact: Dr. George W. Zobrist Associate Editor, IEEE Potentials Magazine Department Of Computer Science University of Missouri-Rolla Rolla, Mo 65401 PHONE: 314-341-4492 FAX: 314-341-4501 EMAIL: zobrist@umr.edu A------------------------------------------------------- From: arnow@sci.brooklyn.cuny.edu (David Arnow 718-951-4145) Subject: Workshop on Formal Methods in the Early CS Curriculum EXPLORING FORMAL METHODS IN THE EARLY COMPUTER SCIENCE CURRICULUM AN INFORMAL WORKSHOP SATURDAY SEPTEMBER 16, 1995 10:00 -- 3:30 THE GRADUATE CENTER OF THE CITY UNIVERSITY OF NEW YORK sponsored in part by The National Science Foundation The United States Department of Education and The City University of New York THE PURPOSE OF THE WORKSHOP is to discuss the introduction of formal methods in the early computer science courses. General topics of interest include: desiderata and approaches for the early introduction of rigor and the use of mathematics, experiences with such approaches, and the overall appropriateness of formal methods for the foundation curriculum. Specific topics of interest include (but are not limited to) --reasoning about programs in CS1 --reasoning about programs and data structures in CS2 --articulating the discrete mathematics and CS1/2 classes --the use of symbolic computation (Mathematica, Prolog, etc.) to support the discrete mathematics classes --reasoning about Object Oriented programs --formal methods in hardware courses --formal methods in introductory software engineering --implications (of the early introduction of formal methods) for more advanced courses --resources and pedagogical support for formal methods in beginning classes Speakers to date include David Arnow of Brooklyn College, Loreto Porte of Hostos Community College, Stephen Skiena of SUNY at Stony Brook, Douglas Troeger of City College, A. Joe Turner of Clemson University, Henry Walker of Grinnell College, and Carroll Zahn of Pace University. The workshop will be devoted to presentation and discussion of position papers; it is hoped that one outcome of the workshop will be formation of a regional working group on the introduction of formal methods in the early cs curriculum. Persons interested in participating and/or presenting should contact one of the organizers David Arnow (arnow@sci.brooklyn.cuny.edu) Doug Troeger (dtroeger@css3c9.engr.ccny.cuny.edu) as soon as possible. A------------------------------------------------------- From: s.alexander@ulst.ac.uk (Sylvia Alexander) Subject: CTI Computing Workshop on Teaching Formal Methods CTI Computing - Workshop on Teaching Formal Methods Tuesday 12th September 1995 University of Huddersfield Overview Over recent years courses on formal methods have become an essential part of the computing curriculum on undergraduate and master degree courses. The aims of the workshop are to enable teachers involved in formal methods education to discuss ideas and share new developments in areas such as curriculum and syllabus design, delivery of formal methods courses, innovative teaching approaches and support tools, and to identify directions for future research and development. The workshop should be of interest to teachers of both formal software development methods and the underpinning discrete mathematics. The programme will include both presentations from invited speakers and working groups with the active involvement of participants. There will also be demonstrations of tools and courseware. All participants are encouraged to bring with them any materials they would like to demonstrate, to share or to discuss in the working groups; this can include curricula, course syllabuses, teaching materials, case studies and software. (Any special requirements for hardware, software or other equipment should be notified in advance to the Workshop Chair.) Workshop Chair Pat Allen, University of Huddersfield, School of Computing and Mathematics, Queensgate, Huddersfield, West Yorkshire, HD1 3DH, England Tel: +44 1484 472927, Fax: +44 1484 421106, Email: p.m.allen@hud.ac.uk Programme 0830 Registration and Coffee 0930 Welcome address Sir William Taylor CBE, Vice-Chancellor, University of Huddersfield 0940 Session 1: Presentations 0940 Teaching formal methods: an industrial perspective Ros Rawlings, Praxis 1015 Making students believe in formal methods Bryan Ratcliff, Aston University 1050 Coffee 1110 Session 2: Presentations 1110 Reasoning, evaluation and calculation John Cooke, Loughborough University 1145 Teaching concurrency Clive Fencott, University of Teesside 1220 Lunch Demonstrations of software tools Exhibition of courseware 1400 Session 3: Parallel working groups 1. Using methods integration Chair: Lesley Semmens, Leeds Metropolitan University 2. Teaching Z Chair: Neville Dean, Anglia Polytechnic University 3. Teaching discrete mathematics Chair: Allan Norcliffe, Sheffield Hallam University (Tea will be available 1500 - 1530) 1600 Session 4: Reports and discussion 1600 Reports from working groups 1630 Closing discussion (with panel) 1700 Close Pre-workshop activities On Monday 11 September there will be registration and refreshments available 1600 - 1800 for those arriving in Huddersfield on that day. At 1830 there will be an outing to one of nearby Bradford=92s famous curry restaurants, returning to Huddersfield approx. 2200. Transport will be provided. Advance booking essential; contact the Workshop Chair. Accommodation Accommodation can be arranged if required on campus in halls of residence, or in nearby hotels. Please contact the Workshop Chair for further details. The Workshop Venue The School of Computing and Mathematics at the University of Huddersfield aims to provide high quality courses of vocational education. Most are closely related to industry, being sandwich or part-time. The school is concerned to develop students who can rapidly find employment with good future prospects. The school offers a supportive, well equipped, student-centred environment, in which excellence is fostered. The recent move to Canalside West, a beautifully converted Victorian textile mill, has enabled further development. Now all members of the school can work together in pleasant surroundings, purpose-built for the study of computing and mathematics. Workshop Booking Form-contact Sylvia for a booking form that can be returned by email. Sylvia Alexander Coordinator CTI Computing Faculty of Informatics University of Ulster at Jordanstown Shore Road, Newtownabbey Co Antrim Tel: +44 (0) 1232 368020 Northern Ireland Fax: +44 (0) 1232 368206 BT37 0QB Email: CTIComp@ulst.ac.uk United Kingdom WWW:= http://www.ulst.ac.uk/cticomp/index.html A------------------------------------------------------- From: myers@crusader.bac.edu (William Myers) Subject: Second Annual Central Plains Small College Computing Conference CENTRAL PLAINS SMALL COLLEGE COMPUTING CONFERENCE SPONSORED BY THE CONSORTIUM FOR COMPUTING IN SMALL COLLEGES August 26, 1995 PRELIMINARY ANNOUNCEMENT The Second Annual Central Plains Small College Computing Conference will be held at William Jewel College in Liberty, Missouri, on April 19 and 20, 1996. The conference theme is "The Classroom of the Future!" The conference sponsor is The Consortium for Computing in Small Colleges. For further information or for registration materials, contact: Mr. Roger Lembke Central Methodist College 411 Central Metthodist Square Fayette , MO 65248 To be placed on the mailing list to receive registration materials in February, send you name, mailing address, and e-mail address to: cpsccc@crusader.bac.edu William Myers, Registrar Central Plains Small College Computing Conference Department of Computer Studies Belmont Abbey College Belmont, NC 28012-2795 (704)825-6823 FAX:(704)825-6670 myers@crusader.bac.edu A------------------------------------------------------- From: myers@crusader.bac.edu (William Myers) Subject: Seventh Annual South Central Small College Computing Conference SOUTH CENTRAL SMALL COLLEGE COMPUTING CONFERENCE SPONSORED BY THE CONSORTIUM FOR COMPUTING IN SMALL COLLEGES May 30, 1995 PRELIMINARY ANNOUNCEMENT The Seventh Annual South Central Small College Computing Conference will be held at the Sheraton Inn in Wichita Falls, Texas, on April 19, and 20, 1996. The conference host is Midwestern State University. The conference theme is "In Support of Computing in Small Colleges." The Conference sponsor is The Consortium for Computing in Small Colleges. For further information or for registration materials, contact: Dr. Stewart B. Carpenter Department of Computer Science Midwestern State University 3410 Taft Boulevard Wichita Falls, TX 76308 To be placed on the mailing list to receive registration materials in February, send you name, mailing address, and e-mail address to: scsccc@crusader.bac.edu William Myers, Registrar South Central Small College Computing Conference Belmont Abbey College Belmont, NC 28012-2795 (704)825-6823 FAX:(704)825-6670 myers@cruasder.bac.edu A------------------------------------------------------- From: Ingrid Russell Subject: First Northeastern Small College Computing Conference ***CALL FOR PAPERS*** Deadline for Submission: November 15, 1995 The First Northeastern Small College Computing Conference Sponsored by the Consortium for Computing in Small Colleges April 19-20, 1996 Harry Jack Gray Conference Center University of Hartford West Hartford, CT 06117 FOR MORE INFORMATION EMAIL TO: NSCCC@UHAVAX.HARTFORD.EDU Ingrid Russell Associate Professor, Computer Science Associate Dean, A&S Dana Hall University of Hartford West Hartford, CT 06117 Phone (203)768-4191 Fax (203)768-4347 email: irussell@uhavax.hartford.edu A------------------------------------------------------- From: johnson@dcs.gla.ac.uk (by way of S.Jones@herts.ac.uk) Subject: CFP: User-Centred Requirements Engineering Call for Participation User-Centred Requirements Engineering: Integrating Methods from Software Engineering And Human-Computer Interaction Kings Manor, York, UK. Monday, 15th January 1996. Overview: Methods for requirements engineering which originate from the field of software engineering have often tended to neglect the requirements of system users regarding, for example, system usability and the design of the human-computer interface. Conversely, methods used in the field of human-computer interaction have often focussed on the techniques of user-centred design to the exclusion of other techniques from software engineering which identify requirements relating, for example, to safety, security, performance and commercial viability. In recent years, some commonality between the approaches used in different areas has, however, begun to emerge. In this meeting, we hope to identify an agenda for the future integration of complementary methods and techniques for requirements engineering, which draw on traditions in both software engineering and human-computer interaction. Topics of interest include, but are not limited to: - experience of integrating methods for user-centred design with other approaches to requirements engineering; - methods and techniques for analysing the trade-offs between usability and engineering requirements; - comparison of task-oriented approaches to user-centred design with goal-oriented approaches to requirements specification; - means of reducing the conflicts that arise between different disciplines, for instance between sociology and systems engineering. Submissions: 3 copies of extended abstracts describing the proposed presentation should be sent in hard copy format to Chris Johnson at the address given below by October 31st. Submissions will be reviewed, and authors will be notified of acceptance by December 1st 1995. Papers presented at the meeting will appear in a special edition of the SIGCHI Bulletin journal. We also intend to publish a book containing selected papers presented at this meeting. Organisers: Chris Johnson, Sara Jones, Department of Computing Science, Division of Computer Science, University of Glasgow, University of Hertfordshire, Glasgow, G12 8QJ, Hatfield, AL10 9AB Scotland. UK E-mail: johnson@dcs.glasgow.ac.uk E-mail: s.jones@herts.ac.uk Phone: +44 141 339 8855 (ext 6053) Phone: +44 1707 284370 Fax: +44 141 330 4913 Fax: +44 1707 284303 This workshop is organised jointly by the British Human Computer Interaction Group and the Requirements Engineering Specialist Group of the British Computer Society. E------------------------------------------------------------------- FASE Volume 5 Number 20 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