NASA Technical Reports Server (NTRS) 19930013512: Conjunctive programming: An interactive approach to software system synthesisReport as inadecuate




NASA Technical Reports Server (NTRS) 19930013512: Conjunctive programming: An interactive approach to software system synthesis - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: NASA Technical Reports Server (NTRS) 19930013512: Conjunctive programming: An interactive approach to software system synthesis
This report introduces a technique of software documentation called conjunctive programming and discusses its role in the development and maintenance of software systems. The report also describes the conjoin tool, an adjunct to assist practitioners. Aimed at supporting software reuse while conforming with conventional development practices, conjun

Author: NASA Technical Reports Server (NTRS)

Source: https://archive.org/


Teaser



NASA-CR-192798 JPL Publication 92-12 Conjunctive Programming: An Interactive Approach to Software System Synthesis Robert C.
Tausworthe N93-2270I (NASA-CR-192798) PROGRAMMING: i APPROACH SYNTHESIS TO AN CONJUNCTIVE INTERACTIVE SOFT_ARE SYSTEM (JPL) 136 p unclas G3-61 August 1, 1992 NASA National Aeronautics and Space Administration Jet Propulsion Laboratory California Institute of Technology Pasadena, California 0154764 JPL Publication 92-12 Conjunctive Programming: An Interactive Approach to Software System Synthesis Robert C.
Tausworthe August 1, 1992 NASA National Aeronautics Space Administration and Jet Propulsion Laboratory California Institute of Technology Pasadena, California 92-12 The research described in this publication was carried out by the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration. Reference herein to any specific commercial product, process, or service by trade name, trademark, manufacturer, or otherwise, does not constitute or imply its endorsement by the United States Government Laboratory, California Institute of Technology. Clipper is a trademark of Nantucket IBM is a trademark of International Corporation. Business Machines, or the Propulsion Inc. IhTEX is a trademark of Addison-Wesley Publishing Company, Inc. Microsoft and MS-DOS are trademarks of Microsoft Corporation. PostScript is a trademark of Adobe Systems, Inc. TEX and .A2vtS-TEX are trademarks of the American Mathematical Ventura Publisher is a trademark of Ventura Software, Inc. Copyright Government Jet Society. 1992 California Institute of Technology. All rights reserved. sponsorship under NASA Contract NAS7-918 acknowledged. U.S. .w lU 92-12 Abstract This report introduces a technique of software documentation called conjunctive programming and discusses its role in the development and maintenance of software systems. The report also describes t...






Related documents