From: nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty)
Subject: NL-KR Digest, Volume 9 No. 54
Reply-To: nl-kr@cs.rpi.edu (NL-KR Digest)
Date: Wed, 14 Oct 1992 18:17:46 GMT

NL-KR Digest      (Wed Oct 14 11:31:20 1992)      Volume 9 No. 54

Today's Topics:

	 Query: Japanese->English MT
	 Query: Articles comparing CD/CA with ATN/CGs
	 Position: Language Science Post-Docs at Rochester
	 Program: Requirements Engineering 1993

Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cs.rpi.edu [128.213.3.18] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied.  Starting with V9, there is a subject index
in the file INDEX.  If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
BITNET subscribers: we now have a LISTSERVer for nl-kr.
  You may send submissions to NL-KR@RPIECS
  and any listserv-style administrative requests to LISTSERV@RPIECS.

-----------------------------------------------------------------

To: nl-kr@cs.rpi.edu
Date: Tue, 13 Oct 92 09:46:42 EDT
From: creare!spock.creare.com!gda@Dartmouth.EDU (Gray Abbott)
Subject: Query: Japanese->English MT
Newsgroups: comp.ai.nlang-know-rep

I don't read this group very often, so please excuse the question, but one
of the mechanical engineers I work with has to do a patent search of
Japanese patents. Translating these patents is going to cost a fortune, so
he asked me if there was a way to do automatic translation (he imagined
just looking up words in a Japanese-English dictionary...). 

I told him that what I knew about the problem was that it was hard and
unsolved and I wasn't about to try to solve it myself.

But, since I don't really keep up with the field, I thought I'd at least
ask what the state of the art is.  Is there any available approach which
would help him out? 

I suggested that one might at least narrow the search by using an
automatic search to find the most relevant patents - I was thinking about
WAIS, using search text translated *to* Japanese.  Then he could just
translate the most relevant ones into English. 

Any ideas?

- - 
Gray Abbott	Creare, Inc. (603) 643-3800
gda@creare.com
	"Everything's real here.  Many people are surprised."
		 -Mr. Edwards at The Sword in the Stone

------------------------------

To: nl-kr@cs.rpi.edu
Newsgroups: comp.ai.nlang-know-rep,comp.ai.edu
From: rgd@kepler.unh.edu (Roger G Desroches II)
Subject: Query: Articles comparing CD/CA with ATN/CGs
Date: Wed, 14 Oct 1992 13:58:14 GMT

Hello,
	I am in need of Articles that compare Shank's work on CD/CA
(Conceptuptual Dependecy/Conceptual Analysis) representation, as
compared to Allens formalisms.  With respect to Allen, I am mostly 
concerned with ATNs (Augmented Transition Networks) and Case Grammar.

	Any help in finding articles will be greatly appreciated.  

Please email to rgd@kepler.unh.edu 

Thank you.

- ---------------------------------------------------------------------
rgd@kepler.unh.edu   | Don't worry!  There isn't enough time to worry.

------------------------------

To: nl-kr@cs.rpi.edu
Date: Mon, 12 Oct 92 12:53:26 -0400
From: james@cs.rochester.edu
Subject: Position: Language Science Post-Docs at Rochester

POSTDOCTORAL FELLOWSHIPS IN THE LANGUAGE SCIENCES AT ROCHESTER

The Center for the Sciences of Language [CSL] at the University of
Rochester has a total of three NIH-funded postdoctoral trainee positions:
one can start right away, the other two start anytime after July 1, 1993:
all can run from one to two years.  CSL is an interdisciplinary unit which
connects programs in American Sign Language, Psycholinguistics,
Linguistics, Natural language processing, Neuroscience, Philosophy, and
Vision.  Fellows will be expected to participate in a variety of exisiting
research and teaching projects between these disciplines.  Applicants
should have a relevant background and an interest in interdisciplinary
research training in the language sciences.  We encourage applications from
minorities and women: applicants must be US citizens or otherwise elligible
for a US government fellowship.  Applications should be sent to Tom Bever,
CSL Director, Meliora Hall, University of Rochester, Rochester, NY, 14627;
Bever@prodigal.psych.rochester.edu; 716-275-8724.  Please include a vita,
a statement of interests, the names and email addresses and/or phone
numbers of three recommenders: also indicate preferred starting date.

------------------------------

To: nl-kr@cs.rpi.edu
From: Anthony Finkelstein <acwf@doc.ic.ac.uk>
Date: Thu, 8 Oct 92 17:59:03 BST
Subject: Program: Requirements Engineering 1993

RE '93

IEEE International Symposium on Requirements Engineering 1993
Advance Programme & Registration Forms

4-6th January 1993

Hotel del Coronado, Coronado, San Diego, California, USA. Sponsored
by IEEE Computer Society in cooperation with ACM SIGSOFT & SIGART

Why Attend RE '93?

RE '93 is the first major international meeting on requirements
engineering, a topic widely recognised as of vital importance to
software engineering. It aims to make a significant contribution to
the state-of-the art, to reflect the important work being carried
out in this area and to bring researchers and practitioners
together.

The symposium has a very strong programme selected from among a
large number of submissions. RE '93 will present the most important
practical, experimental, and theoretical work currently being
conducted in the area of requirements engineering. We also have
panel sessions bringing together experts on object-oriented
analysis, domain modelling and development rationale and challenging
keynote addresses.

The symposium is open to all who are involved with or have an
interest in requirements engineering. If your research group works,
or is planning to work, in this area, or if your organisation is
attempting to tackle the problems posed by requirements engineering
you should attend this symposium and help build a "requirements
engineering community".

Themes and Topics

Themes and topics to be covered in the sympoium include: formal
representation schemes and requirements modelling; descriptions of
the requirements engineering process; tools and environments to
support requirements engineering; requirements engineering methods;
requirements analysis and validation; requirements elicitation,
acquisition and formalisation; establishing traceability to
requirements; reuse and adaptation of requirements; intersections
with artificial intelligence, particularly domain modelling and
analysis; intersections with computer-human-interaction and
cognitive science; intersections with group and cooperative work
intersections with systems engineering. Attention will be paid to
requirements engineering for distributed, safety-critical,
composite, real-time and embedded systems.

Location

The symposium is being held in the world-famous Hotel del Coronado
across the bay from San Diego (15 minutes from San Diego
International Airport). The Hotel del Coronado is a grand example of
elegant Victorian architecture located in a beautiful beach resort.
It is, perhaps, North America's most famous and historically
significant hotel. The Hotel del Coronado has attracted 12 US
presidents and thousands of celebrities and dignitaries.In addition
to the historical hotel there is a new conference centre and
recreation facilities, including tennis courts, spas and swimming
pools.

San Diego, with its ideal climate provides a very attractive
location for this important symposium. Nearby attractions include:

Balboa Park. Home of the San Diego Zoo, Space Theatre, Starlight
Theatre and San Diego Summer Shakespeare Festival, Balboa Park is
the site of fairs and exhibits throughout the year.

Old Town. Where San Diego began. Old Town is museums and missions,
unique shops, restaurants and night life.

Harbor and Shelter Islands . Man-made Harbour and Shelter Islands
offer a panoramic view of San Diego Bay and a number of interesting
restaurants, hotels, marinas and parks.

Mission Bay. Southern California's major aquatic park... 4500 acres
of water recreation... home of San Diego's annual Over-the-line
Tournament.

Wild Animal Park. Ride an elephant or see a tiger face to face at
the San Diego Wild Animal Park. This 1800-acre sanctuary permits
animals to roam freely in natural surroundings.

La Jolla. America's Riviera... boutiques, salons and saloons...
Boomer Beach body surfing, wind and sea board surfing. The cove for
swimming and diving... Salk Institute, Scripps Institution of
Oceanography.

Sea World. Featuring fresh and salt water aquatic exhibits, shows
and rides, San Diego's sea world is 40 acres of family fun.

San Diego Zoo. The San Diego Zoo is famous for its collection of
rare and exotic animals and plant life. Located in Balboa Park, the
zoo is considered to be San Diego's major attraction.

Mexico. Curio shops, enchiladas, Sunday bullfights... jal-alal,
horse and dog racing, the Callente Foreign Book... fascinating
street life...

Disneyland. Southern California's leading attraction... also nearby
are Knott's Berry Farm... Marineland.... Magic Mountain.... and
Great America.

San Diego Jack Murphy Stadium. The Only stadium ever to host both a
World Series and Super Bowl.

Hotel Reservation

Hotel del Coronado 1500 Orange Avenue Coronado, CA 92118

Telephone: (619) 522-8000, (800) 468-3533 Fax: (619) 522-8238

When registering, use "RE93" or "Requirements Engineering" Rates:
$139 single/double in Victorian building; $149 single/double in
modern building Rates good 3 days before conference until 3 days
after conference Deadline for special registration: December 4th,
1992.

Registration Form - Register Today!

Return registration form to: RE '93 Registration, IEEE Computer
Society, 1730 Massachusetts Ave., N.W., Washington, DC 20036-1992
(202)371-1013; FAX (202)728-0884

Please Type or Print

Name
    Last/Family
    First
    Middle
    Badge Name

Company/Institution
Address/Mailstop
City/State/Zip/Country

Daytime Phone Number
FAX Number
EMail Address

IEEE/CS Membership Number (required for member discount)
Do you have any special needs?

Symposium Registration Fees (please check appropriate fee)

           Advance (until 1218/92)   Late (after12/18/92)
Member           $395                    $475
Nonmember        $490                    $595

Total Enclosed (in U.S. dollars) $ _______ Payment must be enclosed.
Please make checks payable to IEEE Computer Society. All payments
must be in U.S. dollars, drawn on U.S. banks.

Method of Payment Accepted: Personal Check  Company Check
Traveler's Check        VISA MasterCard      American Express
Diners Club     Purchase Order (US)

Cardholder Name
Signature
Card Number
Expiration Date

Do not include my mailing address on:
Non-society mailing lists
Meeting Attendee lists

Registration fees include symposium attendance, refreshments at
breaks, conference reception, and a copy of the conference
proceeding.

Written requests for refunds must be received in the IEEE Computer
Society office no later than 12/23/92. Refunds are subject to a $50
processing fee. All no-show registrations will be billed in full.
Registrations after 12/23/92 will be accepted on-site only.

NONMEMBERS: Join the Computer Society today and register at the
member rate! You'll also receive many other benefits. Call the
Membership Department today at (714)821-8380.

Programme RE '93
Sunday, January 3rd

Evening    Reception Open

Monday, January 4th

9.30

Plenary 1 Chair: A. Davis

Welcome

Keynote Speaker 1

Sue Voigt (NASA Langley Research Center, Space Station Freedom
Office, VA, USA) Experience with Software Requirements for Space
Station Freedom

10.30    Coffee

11.00

Plenary 2        Past, Present & Future Chair: A.van
Lamsweerde

M. Lubars, C. Potts, C. Richter (MCC, TX, USA) A Review of the State
of the Practice in Requirements Modelling

W. Rzepka, J. Sidoran, D.White (Rome Laboratory Grifiss Air Force
Base, NY, USA) Requirements Engineering Technologies at Rome
Laboratory

M. Jarke (RWTH Aachen, Aachen, Germany), J. Bubenko (SISU-ISE,
Kista, Sweden), C. Rolland (University of Paris, Paris, France), A.
Sutcliffe (The City University, London, UK) The NATURE Project : an
overview at genesis

12.30    Lunch

2.00

Session A1        Expressing Requirements Chair: P. Freeman

E. Yu (University of Toronto, Ontario, Canada) Modelling
Organizations for Information Systems Requirements Engineering

B. Nixon (University of Toronto, Ontario, Canada) Dealing with
Performance Requirements During the Development of Information
Systems

M. Harrison (University of York, York, UK), P. Barnard (MRC Applied
Psychology Unit, Cambridge, UK) On Defining Requirements for
Interaction

Session B1        Domains & Views Chair: C. Green

M. Jackson (Independent Consultant, London, UK), P. Zave (AT&T Bell
Laboratories, NJ, USA) Domain Descriptions

S. Easterbrook (University of Sussex, Brighton, UK) Domain Modelling
with Hierarchies of Alternative Viewpoints

M. Feather (USC Information Sciences Institute, CA, USA)
Requirements Reconnoitering at the Juncture of Domain and Instance

3.30    Tea

4.00

Session A2 Rapporteur: D. Partridge

Panel 1 Coordinator: D. Garlan (Carnegie-Mellon Univesity, PA, USA)
Title: "Should we Specify Systems or Domains?" Panellists:

D. Barstow (Schlumberger Laboratory for Computer Science, Paris,
France) R. Balzer (USC Information Sciences Institute, CA, USA) P.
Zave (AT&T Bell Laboratories, NJ, USA) J. Kramer (Imperial College,
London, UK)

Session B2    Tools & Environments Chair: E. Kant

M. Lefering (RWTH, Aachen, Germany) An Incremental Integration Tool
Between Requirements Engineering and Programming in the Large

A. Ohnishi (Kyoto University, Kyoto, Japan), K. Agusa (Nagoya
University, Nagoya Japan) Card: A Software Requirements Definition
Environment

T.Smith (Paramax Systems Corporation, PA, USA) A Tool Supported
Requirements Engineering Process

N. Takeda, A. Shiomi, K. Kawai (Toyohashi University of Technology,
Toyohashi, Japan), H. Ohiwa (Keio University, Endo Fujisawa, Japan)
Requirement Analysis by the KJ-Editor

5.30    Close

Evening    Social Event

Tuesday, January 5th

9.00

Session A3    Reuse Chair: M.Goedicke

N. Maiden, A. Sutcliffe (The City University, London, UK)
Requirements Engineering by Example: an empirical study

K. Ryan (University of Limerick, Limerick, Ireland), B. Matthews
(Siemens Nixdorf International, Dublin, Ireland) Matching Conceptual
Graphs as an Aid to Requirements Reuse

S. Castano, V. De Antonellis (Politecnico di Milano, Milano, Italy)
Reuse of Conceptual Requirement Specifications

Session B3    Deficiencies, Defaults & Errors Chair: N. Leveson

R. Lutz (Iowa State University, Iowa, USA) Analyzing Software
Requirements Errors in Safety-Critical, Embedded Systems

J. Anderson, B. Durney (University of Oregon, Eugene, USA) Using
Scenarios in Deficiency-driven Requirements Engineering

M. Ryan (University of Limerick, Limerick, Ireland) Defaults in
Specifications

10.30    Coffee

11.00

Session A4    Social Perspectives Chair: A. Sutcliffe

J. Goguen (Oxford University, Oxford, UK), C. Linde (Institute for
Research on Learning, CA, USA) Techniques for Requirements
Elicitation

I. Sommerville, T. Rodden, P. Sawyer, R. Bentley, M. Twidale
(Lancaster University, Lancaster, UK) Integrating Ethnography into
the Requirements Engineering Process

Session B4 Rapporteur: Bill Agresti

Open Session 1 Coordinator: IEEE Task Force on Computer Based
Systems Engineering [S.White] Title: "Requirements Engineering in
Systems Engineering Practice"

12.30    Lunch

2.00

Session A5    Social Perspectives Chair: J.Conklin

L. Macaulay (University of Manchester, Manchester, UK) Requirements
Capture as a Cooperative Activity

M. Bickerton, J. Siddiqi (Oxford University, Oxford, UK) The
Classification of Requirements Engineering Methods

P. Luff (Rank Xerox EuroPARC, Cambridge, UK), M. Jirotka (Oxford
Unversity, Oxford, UK), C. Heath (University of Surrey, Guildford,
UK), D. Greatbatch (University of Nottingham) Tasks and Social
Interaction: the relevance of naturalistic analyses of conduct for
requirements engineering

Session B5        Building Specifications Chair: J. Hagelstein

J. van Schouwen (Bell-Northern Research Limited, Ontario, Canada),
D. Parnas (McMaster University, Ontario, Canada) Documentation of
Requirements for Computer Systems

S. Kent, T. Maibaum (Imperial College, London, UK), W. Quirk,(AEA
Technology, Harwell, UK) Formally Specifying Temporal Constraints
and Error Recovery

J. Souquieres, N. Levy (CRIN-CNRS & INRIA LORRAINE, Nancy, France)
Description of a Specification Development Model

3.30    Tea

4.00

Session A6 Rapporteur:  P. Loucopoulos

Panel 2 Coordinator: C. Potts (MCC, TX, USA) Title: "I Never
Realised My  Requirements were Object-Oriented Until I Talked to My
Analyst" Panellists:

M. Jackson (Independent Consultant, London, UK) S. Mellor (Project
Technologies, CA, USA) J. McDermid (University of York, York, UK)
Luqi (Naval Postgraduate School, CA, USA)

Session B6 Rapporteur: S. Kaplan

Open Session 2 Coordinator: J. Goguen (Oxford University, Oxford,
UK) Title: "Social Perspectives in Requirements Engineering"

5.30    Close

Evening    Social Event

Wednesday, January 6th

9.30

Plenary 3 Chair: Wayne Butcher

Keynote Speaker 2: To Be Confirmed

10.30    Coffee

11.00

Session A7        Natural Language Chair: H. Horai

Y. Ishihara, H. Seki (Osaka University, Osaka, Japan), T. Kasami
(Advanced Institute of Science and Technology, Nara Nara-shi, Japan)
A Translation Method From Natural Language Specifications into
Formal Specifications Using Contextual Dependencies

K. Ryan (University of Limerick, Limerick, Ireland) The Role of
Natural Language in Requirements Engineering

J. Leite, A. Franco (PUC- RJ, Rio de Janeiro, Brasil) A Strategy for
Conceptual Model Acquisition

Session B7        Methods & Models Chair: J.Woodcock

B. Ramesh, Luqi (Naval Postgraduate School, CA, USA) Process
Knowledge Based Rapid Prototyping for Requirements Engineering

B. Ramesh, M. Edwards (Naval Postgraduate School, CA, USA) Towards a
Requirements Traceability Model

S. Greenspan, M. Feblowitz (GTE Laboratories, MA, USA) Requirements
Engineering Using the SOS Paradigm

12.30    Lunch

2.00

Session A8        Challenges Chair: M. Lehman

S. Harker, K. Easton (Loughborough University of Technology,
Loughborough, UK), J. Dobson (University of Newcastle upon Tyne,
Newcastle, UK) The Change and Evolution of Requirements as a
Challenge to the Practice of Software Engineering

E. Kuwana (NTT Software Laboratories, Tokyo, Japan), J. Herbsleb
(University of Michigan, MI, USA) Representing Knowledge in
Requirements Engineering: an empirical study of what Software
engineers need to know

E. Sibley, R. Wexelblat, J. Michael (George Mason University, VA,
USA), M. Tanner, D. Littman (Institute for Defense Analysis, VA,
USA) The Role of Policy in Requirements Definition: the next
challenge for knowledge-based software engineering

Session B8 Rapporteur: L. Johnson

Panel 3 Coordinator: S. Greenspan (GTE Laboratories, MA, USA) Title:
"Keeping Track of Rationale & Assumptions" Panellists:

Jintae Lee (MIT Lab for Coordination Science and AI Lab, MA, USA)
Gerhard Fischer (University of Colorado, CO, USA) Colin Potts
(Georgia Institute of Technology, GA, USA) Mack Alford (Ascent Logic
Corporation, CA, USA) David Weiss (AT&T Bell Laboratories, NJ, USA)

3.30

Plenary 3 Chair: T. Maibaum

Announcements Awards Close

------------------------------
End of NL-KR Digest
*******************
Newsgroups: comp.ai