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

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$ 12.07

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
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Bibliogov, United States, 2013. Paperback. Book Condition: New. 246 x 189 mm. 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. Bookseller Inventory # APC9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 12.07
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Michael G Hinchey
Published by Bibliogov (2013)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Quantity Available: > 20
Print on Demand
Seller
PBShop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Bibliogov, 2013. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 8.09
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Hinchey, Michael G.
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Paperback Quantity Available: > 20
Print on Demand
Seller
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Rating
[?]

Book Description Paperback. Book Condition: New. This item is printed on demand. Item doesn't include CD/DVD. Bookseller Inventory # 8291797

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 8.97
Convert Currency

Add to Basket

Shipping: US$ 3.99
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. Book Condition: New. 246 x 189 mm. 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. Bookseller Inventory # APC9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 13.12
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

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. Book Condition: New. This item is printed on demand. Paperback. 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. Bookseller Inventory # 9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 11.96
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

6.

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. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9781289254582_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 16.28
Convert Currency

Add to Basket

Shipping: US$ 4.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Michael G Hinchey
Published by Bibliogov (2013)
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Bibliogov, 2013. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 9.54
Convert Currency

Add to Basket

Shipping: US$ 11.18
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Hinchey, Michael G.
Published by BiblioGov
ISBN 10: 1289254583 ISBN 13: 9781289254582
New PAPERBACK Quantity Available: > 20
Seller
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description BiblioGov. PAPERBACK. Book Condition: New. 1289254583 Special order direct from the distributor. Bookseller Inventory # ING9781289254582

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 14.75
Convert Currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, Rates & Speeds

9.

Michael G. Hinchey
ISBN 10: 1289254583 ISBN 13: 9781289254582
New Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97812892545821.0

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 25.47
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds