X-From_: webman@ovid.com  Tue Jan 28 13:39:34 2003
Return-Path: webman@ovid.com
Received: from ovid.com (rickets.ovid.com [199.98.88.145])
	by turbo.sonic.net (8.11.6/8.8.5) with ESMTP id h0SLdXD16984
	for <sequitur@sonic.net>; Tue, 28 Jan 2003 13:39:33 -0800
X-envelope-info: <webman@ovid.com>
Received: (from webman@localhost)
	by ovid.com (8.9.3/8.9.3) id OAA27204;
	Tue, 28 Jan 2003 14:39:33 -0700 (MST)
Message-Id: <200301282139.OAA27204@ovid.com>
Content-Disposition: inline
Content-Transfer-Encoding: binary
Content-Type: text/plain
MIME-Version: 1.0
X-Mailer: MIME::Lite 2.117  (F2.71; T1.003; A1.50; B2.12; Q2.03)
Date: Tue, 28 Jan 2003 21:39:33 UT
Subject: Ovid Citations
To: sequitur@sonic.net
From: Ovid_Online@ovid.com
X-Ovid: (ip validated: cdl991) - 169.229.6.161
X-Spam-Status: No, hits=2.1 required=5.0
	tests=NO_REAL_NAME,SPAM_PHRASE_00_01,SUPERLONG_LINE
	version=2.43
X-Spam-Level: **

Ovid Technologies, Inc. Email Service
------------------------------
Search for: "executable specifications as basis".mp. [mp=title, abstract, heading word, floating subheading, identifier]
Citations: 1

Citation <1>
Accession Number
  85080114424
Title
  EXECUTABLE SPECIFICATIONS AS BASIS OF PROGRAM LIFE CYCLE.
Author
  David, Ruth E.
Institution
  Univ of Santa Clara, Electrical Engineering & Computer Science Dep, Santa Clara, CA, USA
Source
  Proceedings of the Hawaii International Conference on System Science 18th. Distributed by Western Periodicals Co, North Hollywood, CA, USA. p 722-733.
Conference Information
  Proceedings of the Eighteenth Hawaii International Conference on System Sciences 1985. Volume 2: Software.  Honolulu, HI, USA.  19850102-19850104.  Conference Code: 05020.
Subject Headings
    Computer programming - Design
    *Computer software
Abstract
  Author presents a method that can be used to design, implement, and maintain a software system, emphasizing the role of formal (executable logic) specifications in the cyclic life of a program. Author demonstrates a worked example using the specification language in the context of a normal program life cycle. This example includes the development and later modification of the specification, showing that the approach has practical merit in the generation of correct, maintainable, and modifiable software. 13 refs.
ISSN
  0073-1129
Publication Type
  Conference Paper
Language
  English
Sponsor
  Univ of Hawaii, Honolulu, HI, USA.  Univ of Southwestern Louisiana, Lafayette, LA, USA.  ACM, New York, NY, USA.  IEEE Computer Soc, Los Alamitos, CA, USA.
Identifiers
  EXECUTABLE SPECIFICATIONS, PROGRAM LIFE CYCLES, DELIVERY OF PRODUCT, MODIFIABLE SOFTWARE, SPECIFICATION LANGUAGES, NORMAL PROGRAMS
CAL Classification Codes
  Computer Software, Data Handling and Applications [723].
CODEN
  PHISD
Entry Week
  8508


UCB
Engineering Library
Q350
H36