Nonfiction | Computer & Technology
Formal Specification Techniques for Engineering Modular C Programs
by Tan Yang Meng 2020-07-24 20:24:14
image1
COMPARE PRICE
Software 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 pro... Read more
Software 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.
Formal Specification Techniques for Engineering Modular C Programs 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.
Formal Specification Techniques for Engineering Modular C Programs 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.
Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 9.25 X 6.1 X 0 in
  • 229
  • Springer US
  • November 30, 1995
  • English
  • 9781461541257
autor-image
Tan Yang Meng
Author
...
Compare Prices
image
Buy USD 6.58
image
Paperback
Buy CAD 286.67
image
Hard Cover
Buy CAD 280.39
image
Buy AUD 269.0
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
CompTIA Network+ Study Guide:
image1
Privacy and Legal Issues in Cloud Computing:
image1
Drones For Dummies:
image1
LPIC-1:
image1
Microsoft SharePoint 2013 Step by Step:
image1
Python Programming for Arduino:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:
image1
The Digital Filmmaking Handbook:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
Complex Analysis with MATHEMATICA®:
image1
Network Programmability and Automation:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Rapid Prototyping Software for Avionics Systems:
image1
Abstract Methods in Information Theory:
image1
Type Theory and Formal Proof:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Practical Monitoring:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Expanding and Networking Microcomputers:
image1
The Seismic Analysis Code:
image1
Windows 10 Bible:
image1
Make:
image1
Moodle Gradebook:

Stay in touch.

© 2024 AMPLE READS