Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) - Image 1

£88.50

Springer Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Name: Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
Brand: Springer
Price: 89.46 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 86 days • 86 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 86 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £90 (48 days, 55.8%)

Price range: £89 - £90

Price levels: 2 different prices over 86 days

Description

Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1852333537
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 16 October 2000
Listed Since: 19 January 2007

Barcode

No barcode data available

Springer Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science)

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)

Systems and Software Variability Management: Concepts, Tools and Experiences

Relating Software Requirements and Architectures

A Friendly Guide to Software Development: What You Should Know Without Being a Developer (Friendly Guides to Technology)

Advancing Software Engineering Through AI, Federated Learning, and Large Language Models

Stable Analysis Patterns for Systems

Software Patterns, Knowledge Maps, and Domain Analysis

Software Developers as Users: Semiotic Investigations in Human-Centered Software Development

Software Engineering Processes: Principles and Applications

Rethinking Productivity in Software Engineering

Software Quality Assurance: Integrating Testing, Security, and Audit (Security, Audit and Leadership Series)

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Software for People: Fundamentals, Trends and Best Practices (Management for Professionals)

Software Patterns, Knowledge Maps, and Domain Analysis

Software Engineering for Science (Chapman & Hall/CRC Computational Science)

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

Engineering and Managing Software Requirements

Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Automated Software Engineering: A Deep Learning-Based Approach: 8 (Learning and Analytics in Intelligent Systems, 8)

Automated Software Engineering: A Deep Learning-Based Approach: 8 (Learning and Analytics in Intelligent Systems, 8)

Product Lifecycle Management: Towards Knowledge-Rich Enterprises: IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, ... and Communication Technology, 388)

Applied Software Product Line Engineering

Software Projects: Evolutionary VS. Big–Bang Delivery (Wiley Series in Software Engineering Practice)