warren@psu-cs.UUCP (Warren Harrison) (09/06/88)
Call for Papers for a Special Issue of The Journal of Systems and Software on "Using Software Metrics" Software metrics have been a popular topic among both researchers and practitioners. However, little work has been published decribing how metrics can be applied in the development, testing and maintenance of computer software. This special issue will focus on the topic of using software metrics as opposed to simply studying them. Individuals from both academia and industry who are currently using software metrics in the classroom or in the field are encouraged to submit a paper describing their experiences. Papers should address three points: (1) Which metrics are being used? (2) How are they being applied? (3) How successful have they been? All papers will be refereed by a panel of researchers and practitioners. Deadline for submissions is January 1, 1989. For more information, or to submit a paper, contact: Warren Harrison Department of Computer Science Portland State University PO Box 751 Portland, OR 97207 Thanks!
gibbs@sei.cmu.edu (Norman Gibbs) (01/25/89)
Note that there is still time to submit a paper for CSEE89. Call for Papers THIRD SEI CONFERENCE ON SOFTWARE ENGINEERING EDUCATION PITTSBURGH, PENNSYLVANIA JULY 17-18, 1989 The SEI Conference on Software Engineering Education is an annual conference that brings together educators from universities, industry and government to discuss issues of mutual interest, with the goal of promoting educational improvements for the emerging discipline of software engineering. The program committee invites papers and proposals for panels and special sessions on ALL ASPECTS of SOFTWARE ENGINEERING EDUCATION. We are interested in discussions of successful experiences at any level (industrial, undergraduate, graduate) and on any pertinent topic. We are particularly interested in papers and proposals in the following areas: - Industry Education Issues: How should in-house education and training be structured to be most cost-effective? What is an effective mix of in-house, vendor, university, and technology-based education and training? How can education and training be integrated with process groups or other technology transfer mechanisms? - Teaching Large Systems Issues: How can concepts of large software systems be taught within the constraints of the educational setting? Can the objectives of reuse be extended from the level of algorithms and data structures to the realm of large systems architectures? How can we teach the team cooperation and communication skills required for building large systems? How should we teach system integration testing? - Foundations for Software Maintenance: What disciplines and principles underlie the skills required for software understanding and modification? How can these skills be taught and their importance communicated early in the curriculum? - Teaching Issues of Embedded Systems: What are the foundations and principles of embedded, real-time, distributed, and concurrent systems? How can these be taught in a personal computer-based educational environment? All papers will be refereed. The proceedings will be published by Springer-Verlag in its Lecture Notes in Computer Science series. Authors should submit five copies of complete papers by February 10, 1989. Notification of acceptance or rejection of papers will be sent March 10, 1989. Final versions of accepted papers in camera-ready form must be received by April 17, 1989. Authors will be asked to sign a copyright release form. Papers, proposals and requests for additional information should be addressed to: Norman E. Gibbs ARPAnet: gibbs@sei.cmu.edu CSEE Program Committee Telephone: (412) 268-7703 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Program Committee Alan Adamson, IBM For the SEI: Jon Bentley, AT&T Bell Labs Mark Ardis John Brackett, Boston University Maribeth Carpenter Rick Cobello, General Electric Lionel Deimel James Collofello, Arizona State Charles Engle Richard Fairley, George Mason Robert Firth Susan Gerhart, MCC Gary Ford Hassan Gomaa, George Mason Norman Gibbs David Lamb, Queen's University John Goodenough Dieter Rombach, Maryland Harvey Hallman Rebecca Smith, Hewlett-Packard John Maher James Tomayko, Wichita State Scott Stevens David Weiss, SPC Nelson Weidermann The Software Engineering Institute (SEI) is a federally funded research and development center operated by Carnegie Mellon University. Part of its mission is to promote and support software engineering education throughout the educational community.
perretg@cernvax.UUCP (denis perret-gallix) (09/05/89)
INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS FOR HIGH ENERGY AND NUCLEAR PHYSICS MARCH 19-24 1990 CENTRE DE CALCUL DE l'IN2P3 LYON/VILLEURBANNE (FRANCE) ORGANIZING COMMITTEE: G. Auger GANIL Caen K. H. Becks B.U. Wuppertal R. Brun CERN DD Geneve F. Etienne CPPM Marseille V. Frigo CERN DG Geneve D. Heuer ISN Grenoble E. Malandain CERN PS Geneve M. Metcalf CERN DD Geneve M. Mouyssinat GRECO PROG. Bordeaux P. Palazzi CERN DD Geneve D. Perret-Gallix LAPP Annecy M. Van Caneghem G.I.A. Marseille J. Vermaseren NIKHEF-H Amsterdam C. Vogel CISI Paris W. Wojcik CCIN2P3 Lyon BULLETIN N.I Dear Colleague, The ever increasing complexity of high energy and nuclear physics experiments is now in an accelerating phase with the LEP detectors and the planned LHC, SSC, UNK,.. experiments. Physics simulations, equipment designs, detector and accelerator control, on-line data taking and data analysis, all computing related activities absorb a huge part of the financial and manpower resources of these experiments. Recently developed techniques of software management and expert systems have become an essential ingredient of the success of current and forthcoming "big" experiments. However, these techniques and methods, to be efficient, have to be integrated properly into our environment and well accepted and endorsed by the community. We are organizing an International Workshop dedicated to these topics: " Software Engineering, Artificial Intelligence and Expert Systems for Nuclear and High Energy Physics " The goals of this workshop are essentially threefold: 1) To present reports on recent applications or developments of these techniques in Nuclear and High Energy Physics. 2) To update and improve our knowledge on these techniques by inviting the best experts on software engineering and expert systems. 3) To foster collaboration across various H.E.P. and N.P. experiments and other physics fields, on specific subjects of importance for our domain. SESSIONS Session I Software Engineering: Concepts and Techniques CASE and Software Automation. Application Analysis and Design. Cognitive Engineering. Design and Management of Data Structures. Automatic coding and documentation. Debugging, validity proof and performance measurement. Software re-usability issues. Session II Software Engineering : Practical Applications How to manage a million lines of codes written by a hundred physicists scattered all over the World ? Current status: Presentation of real-world applications, their successes and failures. Experience from 'Big Experiments'. Special needs for H.E.P. and N.P. Networks and workstations: the "Server" concept. Session III Languages for H.E.P. and N.P. Procedural Language: Fortran 77 and 8x, Ada, C. Object Oriented Programming: SmallTalk, C++, Eiffel. AI languages: Lisp -- Prolog. DBMS languages. Managing applications involving several languages. Session IV Techniques and Tools from A.I. Behavioral simulation of detector components and object-oriented programming. Pattern recognition (tracks, energy bumps); event recognition and sorting. Qualitative physics. Neural Networks for H.E.P. and N.P. Query and update of very large distributed relational databases. Session V Expert Systems Knowledge Engineering in Physics Research. Mainframe user "help" and documentation systems. Aids for setting up analysis and simulation programs. Data Management. Real-time Expert Systems: Accelerator control, electronic equipment test and monitoring, user interface to data acquisition systems. Session VI Symbolic Manipulation Techniques. Feynman Diagram automatic Computation and expert systems for algebra. Higher order pertubative QCD computation. Specific needs for large computation in H.E.P. and N.P. Symbolic manipulation techniques for Super-Algebra. A critical survey of Reduce, Macsyma, Schoonschip, Maple, Scratchpad II, Form, Mathematica. Session VII Commercial Products Presentation Session VIII Demonstration Some demo will be organized from any one willing to present their development or products on the local computer or from some remote equipment. Session IX Summary Talks, Round Table... ************ If you intend to attend this workshop, please, return the following form and a resume (2-3 pages) of your proposed contribution (if any) before November 30, 1989 to: Mme Michele JOUHET e-mail: JOUHET @ CERNVM CERN EP Division Tel: (41) 22 767 2277 1211 Geneve 23 Switzerland Telex 419000 FAX: (41) 22 782 4439 I can be reached as follows: D. Perret-Gallix e-mail: PERRETG @ CERNVM CERN EP Division 1211 Geneve 23 Switzerland ----------------------------------------------------------------------------- Name, Firstname: Laboratory Address: Telephone, telex, fax, bitnet: I intend to participate to the workshop: YES NO I am planning to present a contribution: YES NO Title: Abstract: I suggest the following topics be added to the sessions: -----------------------------------------------------------------------------
dschuler@CS.WASHINGTON.EDU (Douglas Schuler) (12/02/89)
Call for Papers DIRECTIONS AND IMPLICATIONS OF ADVANCED COMPUTING DIAC-90 Boston, Massachusetts July 28, 1990 Computer technology significantly affects most segments of society, includ- ing education, business, medicine, and the military. Current and emerging computer technology will exert strong influences on our lives, in areas ranging from work to civil liberties. The DIAC symposium considers these influences in a broad social context - ethical, economic, political - as well as a technical context. We seek to address directly the relationship between technology and policy. We solicit papers that address the wide range of questions at the intersection of technology and society. Within this broad vision, we request papers that address the following suggested topics. Other topics may be addressed if they are relevant to the general focus. RESEARCH DIRECTIONS DEFENSE APPLICATIONS + Funding Sources & Effects + AI & the Conduct of War + Development Methodologies + Autonomous Weapons Systems COMPUTING IN A DEMOCRACY COMPUTERS IN THE PUBLIC INTEREST + Community Access + Computing for the Disabled + Computerized Voting + Uses of Models & Simulations + Civil Liberties + Arbitration & Conflict Resolution + Computing & the Law + Computing in Education + Computing & Workplace + Software Safety Submissions will be read by members of the program committee, with the as- sistance of outside referees. The program committee includes Alan Borning (U. WA), Christiane Floyd (Technical University of Berlin), Eric Gutstein (U. WI), Jonathan Jacky (U. WA), Deborah Johnson (Rensselaer Polytechnic), Eric Roberts (DEC), Ronni Rosenberg (Harvard), Richard Rosenberg (SIGCAS, U of British Columbia), Marc Rotenberg (CPSR), Douglas Schuler (Boeing Comput- er Services), Lucy Suchman (Xerox PARC), and Terry Winograd (Stanford). Complete papers should include an abstract and should not exceed 6000 words. Papers on ethics and values are especially desirable. Reports on work in progress or suggested directions for future work as well as appropriate sur- veys and applications, will also be considered. Submissions will be judged on significance, clarity, insight, and originality. Papers (4 copies) are due by March 1, 1990. Notices of acceptance or rejection will be mailed by April 15, 1990. Camera ready copy is due by June 1, 1990. Send papers to Douglas Schuler, Boeing Computer Services, MS 7L-64, P.O. 24346, Seattle, WA 98124-0346. For more information contact Doug Schuler (206-634-2771, dschuler@june.cs.washington.june) or Symposium Co-Chair Coralee Whitcomb (617-891-3103 (weekdays), 508-945-0360 (weekends), CWHITCOM@BENTLEY.BITNET). Proceedings will be distributed at the symposium, and will be available dur- ing the 1990 AAAI conference. The DIAC-87 and DIAC-88 proceedings are pub- lished by Ablex Publishing Company. Publishing the DIAC-90 proceedings is also planned. Sponsored by Computer Professionals for Social Responsibility P.O. Box 717 Palo Alto, CA 94301 DIAC-90 is co-sponsored by the American Association for Artificial Intelli- gence, the American Philosophical Association, and the Boston Computer So- ciety, in cooperation with ACM SIGCAS and ACM SIGCHI. DIAC-90 is partially supported by the National Science Foundation under Grant No. 8811437, Ethics and Values Studies Office.
hoebel@cs.rochester.edu (03/16/90)
************************************** * CALL FOR PAPERS * * * * KBSA_5 * * * * Sept. 24 - 28 1990 * ************************************** Sponsored by Rome Air Development Center ------------------------ Sheraton Hotel and Convention Center Syracuse N.Y. ------------------------ The Fifth Annual Knowledge-Based Software Assistant Conference will be held on the above date. The RADC sponsored KBSA project is a long term, on going research and development effort to create an automated assistant for all phases and facets of the software development process. The theme for this years conference is "Supporting and Enabling Technologies". Papers are requested for, but not limited to, the following topics: - Environments and AI Techniques for Systems and Software Development - Object-Oriented and Distributed Object/Databases - Distributed Software Development, Development-in-the-Large - Software Re-use, Reverse Engineering and Maintenance - Case Based Reasoning, Derivational Analogy - User Interface Modeling and Interface Technology - Formal Specifications; Requirements both formal and informal - Automatic Programming and Code Generation - Configuration Management and Version Control - Project Management, Cost Modeling, Activities Coordination - Verification, Transformation, Process and Performance Modeling We also request proposals for panel discussion and informal workshops. All papers and proposals should be sent to Barb Radzisz at the address listed below. Send four(4) copies for panels and six(6) copies for papers. Demonstrations of software, academic, research or commercial, are also sought. Full papers will be accepted but should not exceed 10 pages (12 pt type). Extended abstracts must be a minimum of 2 type written pages and must stress results or fully elaborated and developed ideas and not future work. Position papers and exploratory idea papers should be confined to panels and workshops. All accepted papers must be unclassified and will be refereed by peers in industry, academia and government. Important dates. Extended abstracts due May 1st Authors notified by June 15th Camera ready copies due by August 15th For more information contact: Barb Radzisz Data and Analysis Center PO Box 120 Utica, NY 13503 315-336-0937 kbsa-con@aivax.radc.af.mil Louis Hoebel, Conference Chair RADC/COES Griffiss AFB NY 13441-5700 315 330 4833 hoebel@aivax.radc.af.mil reprints of prior KBSA conferences and other technical reports are available from: National Technical Information Service 5285 Port Royal Rd. Springfield VA 22161 703-487-4600 (charge is by document page number plus $3 per order) Data& Analysis Center for Software (DPO BOX 120 Utica NY 13503 attn: Document Ordering 315-336-0937 Defense Technical Information Center, Cameron Station Alexandria VA 22304-6145 202 274 7633
nancy@murphy.ICS.UCI.EDU (Nancy Leveson) (11/05/90)
CALL FOR PAPERS ACM SIGSOFT '91 Software for Critical Systems New Orleans, Louisiana December 4-6, 1991 Computer systems are beginning to affect nearly every aspect of our lives. Examples include programs that control aircraft, shut down nuclear power reactors in emergencies, monitor hospital patients, and execute banking transactions. Although such programs offer considerable benefits, they also pose serious risks in that we are increasingly vulnerable to errors and deficiencies in the software. The SIGSOFT '91 conference seeks papers on all aspects of quality in critical systems. A critical system is a system that must exhibit, with very high assurance, some specific qualities such as safety, reliability, confidentiality, integrity, availability, trustworthiness, and correctness. The conference will focus on such topics as architectures, design methodologies, languages, analysis techniques, and processes that can increase the likelihood that a system exhibits its required qualities. Papers will be judged on relevance, significance, originality, correctness, and clarity. Papers will be read and evaluated by the program committee and must not be under consideration (or published) elsewhere in the same or similar form. Papers are limited to 6,000 words, with full-page figures counting as 300 words. A paper that significantly exceeds this limit is likely to be rejected. Authors should submit 6 copies of the full paper to Peter Neumann at: Peter Neumann Computer Science Laboratory, Room EL-243 SRI International 333 Ravenswood Ave. Menlo Park, CA 94025 Persons submitting papers from countries in which access to copying machines is difficult or impossible may submit a single copy. Submissions should be received by May 3, 1991 and should include a return mailing address. Authors will be notified of acceptance or rejection by July 12, 1990. Full versions of accepted papers must be received in camera-ready form by August 30, 1991. Authors of accepted papers will be expected to sign a copyright release form. Proceedings will be distributed at the conference and will subsequently be available from ACM. xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx CONFERENCE CHAIR PROGRAM CO-CHAIRS Mark Moriconi Nancy Leveson Peter Neumann SRI International Univ. of California, Irvine SRI International moriconi@csl.sri.com leveson@ics.uci.edu neumann@csl.sri.com PROGRAM COMMITTEE David Barstow Schlumberger Dines Bjorner Technical University of Denmark Marie-Claude Gaudel Universite de Paris - Sud Jim Horning DEC Systems Research Center Bill Howden University of California, San Diego Hermann Kopetz Technical University of Vienna Carl Landwehr Naval Research Laboratory Bev Littlewood City University, London Leon Osterweil University of California, Irvine David Parnas Queen's University Fred Schneider Cornell University Vicky Stavridou University of London Martyn Thomas Praxis, Inc. Walter Tichy University of Karlsruhe Elaine Weyuker NYU Courant Institute