The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Formal Specification Techniques For Engineering Modular C Programs - Picture 1 of 1

International Series in Software Engineering Ser.: Formal Specification Techniques for Engineering Modular C Programs by Tan Yang Meng (1995, Hardcover)

Be the first towrite a review.

Prepbooks (190800)
99.7% positive feedback

Price:

$174.51

Free shipping

Estimated delivery Thu, May 16 - Sat, May 18

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

Language: English. Number of Pages: 213. Weight: 1.11 lbs. Publication Date: 1995-11-30. Publisher: Springer.

About this product

Product Information

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

Product Identifiers

Publisher
Springer
ISBN-10
0792396537
ISBN-13
9780792396536
eBay Product ID (ePID)
918934

Product Key Features

Author
Tan Yang MENG
Publication Name
Formal Specification Techniques for Engineering Modular C Programs
Format
Hardcover
Language
English
Series
International Series in Software Engineering Ser.
Publication Year
1995
Type
Textbook
Number of Pages
Xvi, 213 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
39.2 Oz

Additional Product Features

Series Volume Number
1
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
1 Introduction.- 1.1 The Problems and the Approach.- 1.2 Larch/C Interface Language.- 1.3 Related Work.- 1.4 Key Lessons Learned.- 1.5 Research Contributions.- 2 Overview of LCL.- 2.1 Larch.- 2.2 LCL Basics.- 2.3 LCL Function Specification.- 2.4 LCL Abstract Type Specification.- 2.5 Historical Note.- 3 Supporting Programming Styles.- 3.1 Specified Interfaces and Data Abstraction.- 3.2 Specified Interfaces in C.- 3.3 Abstract Types in C.- 3.4 Tool Support: LCLint.- 3.5 Summary.- 4 Specification Techniques.- 4.1 Requirements of the Program.- 4.2 The Design of the PM Program.- 4.3 Overview of Specification Techniques.- 4.4 The date Interface.- 4.5 The trans Traits.- 4.6 The trans Interface.- 4.7 The trans-set Interface and Trait.- 4.8 The position Traits.- 4.9 The position Interface.- 4.10 Summary.- 5 Redundancy in Specifications.- 5.1 Testing Specifications.- 5.2 Semantics of Claims.- 5.3 Claims Help Test Specifications.- 5.4 Claims Help Specification Regression Testing.- 5.5 Claims Highlight Specification Properties.- 5.6 Claims Promote Module Coherence.- 5.7 Claims Support Program Reasoning.- 5.8 Claims Support Test Case Generation.- 5.9 Experiences in Checking LCL Claims.- 5.10 Claims or Axioms?.- 5.11 Summary.- 6 Reengineering Using LCL.- 6.1 Software Reengineering Process Model.- 6.2 A Reengineering Exercise.- 6.3 Effects of Reengineering.- 6.4 Specification Tool Support.- 6.5 Summary.- 7 The Semantics of LCL.- 7.1 Basic LCL Concepts.- 7.2 LCL Storage Model.- 7.3 LCL Type System.- 7.4 LCL Function Specification.- 7.5 LCL Module.- 7.6 Type Safety of Abstract Types.- 7.7 Summary.- 8 Further Work and Summary.- 8.1 Further Work.- 8.2 Summary.- A LCL Reference Grammar.- B Relating LCL Types and LSL Sorts.- B.1 Modeling LCL Exposed Types with LSL Sorts.- B.2 Assigning LSLSorts to LCL Variables.- B.3 Assigning LSL Sorts to C Literals.- C LCL Built-In Operators.- D Specification Case Study.- D.1 The char Trait.- D.2 The cstring Trait.- D.3 The string Trait.- D.4 The mystdio Trait.- D.5 The genlib Trait.- D.6 The dateBasics Trait.- D.7 The dateFormat Trait.- D.8 The date Trait.- D.9 The security Trait.- D.10 The lot Trait.- D.11 The list Trait.- D.12 The lot list Trait.- D.13 The kind Trait.- D.14 The transBasics Trait.- D.15 The transFormat Trait.- D.16 The transParse Trait.- D.17 The trans Trait.- D.18 The trans-set Trait.- D.19 The income Trait.- D.20 The positionBasics Trait.- D.21 The positionMatches Trait.- D.22 The positionExchange Trait.- D.23 The positionReduce Trait.- D.24 The positionSell Trait.- D.25 The positionTbill Trait.- D.26 The position Trait.- D.27 The genlib Interface.- D.28 The date Interface.- D.29 The security Interface.- D.30 The lot-list Interface.- D.31 The trans Interface.- D.32 The trans_set Interface.- D.33 The position Interface.- E Getting Larch Tools and Information.- References.
Copyright Date
1996
Topic
Software Development & Engineering / General, Programming Languages / C, Compilers
Lccn
95-040529
Dewey Decimal
005.13/3
Intended Audience
Scholarly & Professional
Dewey Edition
20
Illustrated
Yes
Genre
Computers

All listings for this product

item 1 Formal Specification Techniques For Engineering Modular C Programs
$174.51
Free shipping
item 2 Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M
$187.64
Free shipping

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 16 product ratings
$35.70 New
$32.99 Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)
5.0 out of 5 stars based on 3 product ratings
$50.23 New
$14.99 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 15 product ratings
$29.99 New
---- Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$20.98 New
$18.00 Used
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)
4.9 out of 5 stars based on 17 product ratings
$18.24 New
$15.86 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$19.80 New
$17.66 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.48
International Building Code IBC 2021 International Code Council Paperback
$49.99
Trending at $63.99
Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR
$9.99
Trending at $12.20
International Code Council Ser.: 2021 International Residential
$52.49
Trending at $68.00
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $69.00
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40

Shop by category

Picture 1 of 1

International Series in Software Engineering Ser.: Formal Specification Techniques for Engineering Modular C Programs by Tan Yang Meng (1995, Hardcover)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

All listings for this product

item 1 Formal Specification Techniques For Engineering Modular C Programs

item 2 Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

International Building Code IBC 2021 International Code Council Paperback

Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR

International Code Council Ser.: 2021 International Residential

National Electrical Code Handbook, 2023 Edition

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

You may also like

Photography Techniques Hardcover Nonfiction Books

Management Techniques Hardcover Nonfiction Books

Photography Techniques Hardcover Nonfiction Books Illustrated

Art & Culture Hardcover Nonfiction Photography Techniques Books

Fiction Hardcover Amy Tan Books

Nonfiction Photography Techniques Hardcover Books 1950-1999 Publication Year