0 Item

Software Specification Methods : An Overview Using a Case Study

By: Marc Frappier (Editor), Henri Habrias (Editor)

Write A Review

Paperback

At a Glance

Paperback
312 Pages

Dimensions(cm)
23.39 x 15.6 x 1.65

Paperback

$210.72

or 4 interest-free payments of $52.68 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Business Applications Programming & Scripting Languages Computer Science Mathematical Theory of Computation

List of Contributors
Z: A Formal Specification Notation	p. 3
SAZ: SSADM Version 4 and Z	p. 21
B: A Model-Based Method Using Generalised Substitutions	p. 39
From OMT Diagrams to B Specifications	p. 57
Action Systems: A Method Combining State-Based and Event-Based Specification	p. 81
Using UML with a Behaviour-Driven Method	p. 97
VHDL: A Hardware Description Language and its Simulation Semantics	p. 113
Estelle: A Formal Description Technique	p. 131
SDL: A Language Based on Extended Finite State Machines with Abstract Data Types	p. 147
(E)-Lotos: (Enhanced) Language of Temporal Ordering Specification	p. 165
Specifying a Cleanroom Black Box Using JSD	p. 191
Algebraic Specification in CASL	p. 209
An Abstract and Constructive Specification in Coq	p. 225
Petri Nets: A Graphical Tool for System Modelling and Analysis	p. 241
Using Petri Nets and Objects: A Formal yet Expressive Approach	p. 259
Index	p. 279
Table of Contents provided by Blackwell. All Rights Reserved.

Software Specification Methods : An Overview Using a Case Study

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Code

A Handbook of Agile Software Craftsmanship

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Learning Modern C++ for Finance

Foundations for Quantitative Programming

The Engineering Leader

Strategies for Scaling Teams and Yourself

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

REST API Design Rulebook

OREILLY AND ASSOCIATE

R Graphics Cookbook

Practical Recipes for Visualizing Data

SQL For Dummies

9th edition

Accelerate

The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Real World Haskell

OREILLY

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

C# 3.0 Design Patterns

O'Reilly Ser.

This product is categorised by