Formal Engineering for Industrial Software Development

Using the SOFL Method

By: Shaoying Liu

Write A Review

Hardcover | 13 April 2004

At a Glance

Hardcover
436 Pages

Dimensions(cm)
24.13 x 17.15 x 2.54

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.

Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry.

This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Industry Reviews

"The book addresses many important practical problems in a formal context"
"I highly recommend this book to all software engineers who are suffering from a lack of formalism and precision in their everyday software construction process"
Herbert Toth, Computing Reviews, October 2004

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 Computer Architecture & Logic Design Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Graphical & Digital Media Applications 3D Graphics & Modelling

Business & Management Business Mathematics & Systems

Introduction	p. 1
Propositional logic	p. 21
Predicate logic	p. 37
The module	p. 53
Hierarchical CDFDs and modules	p. 117
Explicit specifications	p. 133
Basic data types	p. 143
The set types	p. 151
The sequence and string types	p. 165
The composite and product types	p. 179
The map types	p. 191
The union types	p. 203
Classes	p. 209
The software development process	p. 235
Approaches to cosntructing specifications	p. 261
A case study : modeling an ATM	p. 269
Rigorous review	p. 303
Specification testing	p. 323
Transformation from designs to programs	p. 349
Intelligent software engineering environment	p. 371
Syntax of SOFL	p. 391
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Engineering for Industrial Software Development

Using the SOFL Method

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

Fundamentals of Software Architecture

A Modern Engineering Approach

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Site Reliability Engineering

How Google Runs Production Systems

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Clean Architecture

A Craftsman's Guide to Software Structure and Design

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

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

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

This product is categorised by