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 7633nancy@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