World Library  

Add to Book Shelf
Flag as Inappropriate
Email this Book

An Approach to Generating and Verifying Complex Scripts and Procedures: by James L. Rash

By Rash, James L.

Click here to view

Book Id: WPLBN0000680607
Format Type: PDF eBook
File Size: 214.83 KB
Reproduction Date:
Full Text

Title: An Approach to Generating and Verifying Complex Scripts and Procedures: by James L. Rash  
Author: Rash, James L.
Language: English
Subject: Government publications, National Aeronautics and Space Administration (U.S.), NASA reference publication
Collections: NASA Publication Collection
Publication Date:
Publisher: National Aeronautics and Space Administration Publication


APA MLA Chicago

L, R. J. (n.d.). An Approach to Generating and Verifying Complex Scripts and Procedures. Retrieved from

Excerpt: Currently available tools and methods for system development that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The ?gap? that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements expressed in restricted natural language, or appropriate graphical notations, into a provably equivalent formal model that can be used as the basis for code generation and other transformations. The same approach may be applied to address computer science aspects of bioinformatics problems. Many software tools for bioinformatics have been developed using scripting languages such as Perl and Python. Scripts are developed based on a set of requirements that can be expressed using English-like statements. Using our approach, these may be used to automatically generate and validate scripts rather than write them from scratch...


Click To View

Additional Books

  • Lady Diana Beauclerk, Her Life and Her W... (by )
  • Código Civil Español Con la Ley de Bases... (by )
  • Questions Discussed by the Members of th... (by )
  • Emporio Científico É Histórico de Organo... (by )
  • Explorations on the Teaching and Learnin... (by )
  • Anatomia Del Corazon (by )
  • Prize Comics: Issue 39 Volume Issue 39 (by )
  • Selected Poems of Pablo Neruda (by )
  • Republica de Panama Ministerio de Econom... (by )
  • Peter Piper's Playmates (by )
  • Toiletten-Chemie (by )
  • The Elements of New Testament Greek : A ... (by )
Scroll Left
Scroll Right


Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Fair are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.