{"product_id":"requirements-to-design-to-code-towards-a-fully-formal-approach-to-automatic-code-generation-paperback","title":"Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eMichael G. Hinchey\u003c\/b\u003e (Author), \u003cb\u003eNasa Technical Reports Server (Ntrs)\u003c\/b\u003e (Created by), \u003cb\u003eEt Al\u003c\/b\u003e (Created by)\u003c\/p\u003e\u003cp\u003eA 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.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 22\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.05 x 9.69 x 7.44 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e July 29, 2013\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":45862949912773,"sku":"9781289254582","price":23.57,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0757\/6718\/5605\/files\/fsNQOWEMOZ9781289254582.webp?v=1771575756","url":"https:\/\/selloorium.com\/products\/requirements-to-design-to-code-towards-a-fully-formal-approach-to-automatic-code-generation-paperback","provider":"Selloorium","version":"1.0","type":"link"}