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

 
9781289254582: Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 14.75
US$ 13.21

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Michael G Hinchey
Published by Bibliogov, United States (2013)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Bibliogov, United States, 2013. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. 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. Seller Inventory # APC9781289254582

More information about this seller | Contact this seller

Buy New
US$ 13.21
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Hinchey, Michael G.
Published by Bibliogov 7/29/2013 (2013)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback or Softback Quantity Available: 10
Seller:
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Rating
[?]

Book Description Bibliogov 7/29/2013, 2013. Paperback or Softback. Condition: New. Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation. Book. Seller Inventory # BBS-9781289254582

More information about this seller | Contact this seller

Buy New
US$ 13.22
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

Michael G. Hinchey
Published by BiblioGov
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback Quantity Available: > 20
Print on Demand
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description BiblioGov. Paperback. Condition: New. This item is printed on demand. 22 pages. Dimensions: 9.7in. x 7.4in. x 0.1in.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. This item ships from La Vergne,TN. Paperback. Seller Inventory # 9781289254582

More information about this seller | Contact this seller

Buy New
US$ 16.33
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

4.

Michael G Hinchey
Published by Bibliogov, United States (2013)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Bibliogov, United States, 2013. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.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. Seller Inventory # APC9781289254582

More information about this seller | Contact this seller

Buy New
US$ 16.57
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Hinchey, Michael G.
Published by BiblioGov (2016)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description BiblioGov, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9781289254582_lsuk

More information about this seller | Contact this seller

Buy New
US$ 16.59
Convert currency

Add to Basket

Shipping: US$ 4.95
From United Kingdom to U.S.A.
Destination, rates & speeds