{"product_id":"9781461368502","title":"Formal Specification Techniques for Engineering Modular C Programs","description":"\u003ch1\u003eFormal Specification Techniques for Engineering Modular C Programs\u003c\/h1\u003e \u003ch2\u003eTan Yang Meng\u003c\/h2\u003e \u003cp\u003eSoftware is difficult to develop, maintain, and reuse. Two  factors that contribute to this difficulty are the lack of modular  design and good program documentation. The first makes software  changes more difficult to implement. The second makes programs more  difficult to understand and to maintain. \u003cbr\u003e  \u003cem\u003eFormal Specification Techniques for Engineering Modular C  Programs\u003c\/em\u003e describes a novel approach to promoting program  modularity. The book presents a formal specification language that  promotes software modularity through the use of abstract data types,  even though the underlying programming language may not have such  support. This language is structured to allow useful information to be  extracted from a specification, which is then used to perform  consistency checks between the specification and its implementation.  \u003cbr\u003e  \u003cem\u003eFormal Specification Techniques for Engineering Modular C  Programs\u003c\/em\u003e also describes a specification-driven, software  re-engineering process model for improving existing programs. The aim  of this process is to make existing programs easier to maintain and  reuse while keeping their essential functionalities unchanged. \u003cbr\u003e  \u003cem\u003eAudience:\u003c\/em\u003e Suitable as a secondary text for graduate level  courses in software engineering, and as a reference for researchers  and practitioners in industry.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-10-13\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003e ISBN-10: 9781461368502\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461368502\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-4125-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 213\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44341113946252,"sku":"9781461368502","price":153.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461368502_d1de59f1-9667-4572-82c8-3995cd577aeb.jpg?v=1755057467","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461368502","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}