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.5 x 15.24 x 1.91

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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

Orders over $0.00 qualify for free shipping.

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Essence of Software Engineering

Refactoring 2ed

Improving the Design of Existing Code

C++ Programming Language (hardcover), The

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Virtual Reality Experience Design Handbook

Heuristics, Patterns, and Practices for Immersive Applications

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Site Reliability Engineering

How Google Runs Production Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Engineering Leader

Strategies for Scaling Teams and Yourself

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

C# 12 in a Nutshell

The Definitive Reference

This product is categorised by