Name: Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
Price: 770.00 TWD
Availability: InStock
Author: Hinchey, Michael G. ; Nasa Technical Reports Server (Ntrs) ; Et Al
ISBN: 9781289254582

portada Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Type

Physical Book

Author

Michael G. Hinchey

Nasa Technical Reports Server (Ntrs)

Publisher

Bibliogov

Language

English

Pages

Format

Paperback

Dimensions

24.6 x 18.9 x 0.1 cm

Weight

0.06 kg.

ISBN13

9781289254582

Synopsis "Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation"

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of 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 in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation - Hinchey, Michael G. ; Nasa Technical Reports Server (Ntrs) ; Et Al

Synopsis "Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery