Specification Case Studies in RAISE

By: Hung Dang Van (Editor), Chris George (Editor), Tomasz Janowski (Editor)

Write A Review

Paperback | 8 February 2002

At a Glance

Paperback
424 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.

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 $79.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 Computer Science Programming & Scripting Languages Operating Systems

Thematic Introduction	p. 1
Specifications in Industry	p. 2
Specification-Based Development	p. 3
Overview of Formal Methods	p. 4
Specification Case Studies in RAISE	p. 7
Exemplified Themes	p. 11
Lessons Learned	p. 16
Introduction to RAISE	p. 19
The RAISE Specification Language	p. 19
The RAISE Method: Writing Initial Specifications	p. 51
The RAISE Method: Developing Specifications	p. 62
When Not to Use RAISE	p. 78
A University Library Management System	p. 81
Introduction	p. 81
Requirements	p. 81
Domain Analysis	p. 82
Consistency	p. 92
Functions	p. 94
Conclusions	p. 97
Development of a Distributed Telephone Switch	p. 99
Introduction	p. 99
The Monolithic View	p. 103
Validation	p. 107
Decomposition into Phones and Network	p. 108
Refining the Network	p. 113
Decomposing the Network	p. 119
Integration	p. 128
Implementation	p. 128
Related Work	p. 129
Conclusions	p. 129
Developing a National Financial Information System	p. 131
Introduction	p. 131
Tax Information System	p. 133
Prototype	p. 144
Specifying a Distributed System	p. 146
Conclusion	p. 152
Multi-Lingual Document Processing	p. 155
Introduction	p. 155
Multi-Lingual Documents: Domain Analysis	p. 159
The Formal Model of Multi-Lingual Documents	p. 168
Operations for Editing Multi-Lingual Documents	p. 172
Conclusions	p. 185
Formalising Production Processes	p. 187
Introduction	p. 187
Modelling Products	p. 189
Descriptive Production Modelling	p. 191
Prescriptive Production Modelling	p. 209
Relating Descriptive and Prescriptive Models	p. 210
Conclusions	p. 215
Model-Based Travel Planning	p. 219
Introduction	p. 219
Basic Concepts	p. 220
Modelling for Travel Planning	p. 222
Correctness: Relating Travel Plans	p. 230
Development: Building Travel Plans	p. 231
Model-Based Travel Assistant	p. 240
Conclusions	p. 241
Proving Safety of Authentication Protocols	p. 243
Introduction	p. 243
The Needham-Schroeder Protocol	p. 244
Formalisation	p. 246
The SSL Protocol	p. 253
Principles	p. 256
Related Work	p. 257
Formalisation of Realm-Based Spatial Data Types	p. 259
Introduction	p. 259
Basic Types: Grid, Grid Point, and Grid Segment	p. 261
Polygonal Lines and Segment Envelopes	p. 264
Realms	p. 273
Realm-Based Geometry	p. 276
Conclusion	p. 285
Object-Oriented Design Patterns	p. 287
Introduction	p. 287
A Formal Model of Object-Oriented Design	p. 288
Linking Designs to Patterns	p. 301
Specifying Properties of Patterns	p. 305
Extending to Multiple Patterns	p. 310
Conclusions	p. 313
Automated Result Verification with AWK	p. 315
Introduction	p. 315
Modelling a Program	p. 317
Program Execution Record	p. 319
Result Verification	p. 322
Result Specifications	p. 328
Composition of Result Specifications	p. 331
Specification-to-Verifier Generator	p. 334
Application: WWW Access Log	p. 337
Conclusions	p. 338
Fail-Stop Components by Pattern Matching	p. 341
Introduction	p. 341
Components	p. 343
Fault-Free versus Fail-Stop Components	p. 344
Fail-Stop Components by Pattern Matching	p. 347
Example: Line Editor	p. 353
Specifying the Wrapper Generator	p. 355
Implementing the Wrapper Generator	p. 365
Conclusions	p. 367
An Infrastructure for Software Reuse	p. 369
Introduction	p. 369
The Reuse Infrastructure	p. 370
The Query System	p. 380
Conclusions	p. 392
About the Editors	p. 393
About the Web Site	p. 395
References	p. 397
Table of Contents provided by Blackwell. All Rights Reserved.

Specification Case Studies in RAISE

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Building Programming Language Interpreters

A bottom-up approach to runtimes, execution, and implementation in C++

Fundamentals of Software Architecture

A Modern Engineering Approach

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

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

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Clean Architecture

A Craftsman's Guide to Software Structure and Design

User Story Mapping

Discover the Whote Story, Build the Right Product

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

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

Developing Graphics Frameworks with Java and OpenGL

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Lean Enterprise

How High Performance Organizations Innovate at Scale

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

This product is categorised by