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 $89.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

Multimodal Artificial Intelligence in Precision Agriculture

Practices, Challenges, and Applications

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, Ai, Cloud, and Microservices

The Essence of Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Git : Pocket Guide

A Working Introduction

Site Reliability Engineering

How Google Runs Production Systems

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Arduino for Dummies

Blackwell Philosophy Anthologies

Coding All-in-One For Dummies

2nd Edition

Code

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

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Developing Graphics Frameworks with Java and OpenGL

Robert C. Martin

A Craftsman's Guide to Software Structure and Design

User Story Mapping

Discover the Whote Story, Build the Right Product

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Typescript Cookbook

Real World Type-Level Programming

This product is categorised by