Cover Image

Formal Engineering for Industrial Software Development : Using the SOFL Method /

Show other versions (1)

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 math...

Full description

Bibliographic Details
Main Author: Liu, Shaoying
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Subjects:
Computer science.
Software engineering.
Logic design.
Computer simulation.
Information systems.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Propositional Logic
  • Predicate Logic
  • The Module
  • Hierarchical CDFDs and Modules
  • Explicit Specifications
  • Basic Data Types
  • Set Types
  • Sequence and String Types
  • Composite and Product Types
  • Map Types
  • Union Types
  • Classes
  • The Software Development Process
  • Approaches to Constructing Specifications
  • A Case Study of Modeling ATM
  • Rigorous Review
  • Specification Testing
  • Transformation from Designs to Programs
  • Intelligent Software Engineering Environment
  • Appendix A: Syntax of SOFL.