Aristata Boekwinkels
Cart is empty
Cart is empty
View cart
Checkout
 My Account
  • Orders
  • Wish list
Track my order(s)
Sign inRegister
Forgot your password?
Register for a new account
  • Menu
  • Protea Boekhuis
    • Arts & Culture
    • Biographies
    • Children
    • Fiction
    • Food
    • Guides
    • History
    • Language
    • Law
    • Music
    • Non-fiction
    • Poetry
    • Prose
    • Science
    • Travel & Adventure
    • Youth
  • University Books
    • University Book Lists
      • Aros
      • UP
      • SACAP
      • NWU
    • Books by Subject
      • Business, Economics & Management
      • Dictionaries
      • Education
      • Health Sciences
      • Humanities
      • Architecture
      • Law
      • Natural Sciences
      • Mathematics, Engineering & Computer Sciences
      • Philosophy
      • View more →
    • Prescribed Reading
      • Afrikaans Prescribed Reading
      • English Prescribed Reading
  • School Books
    • School Book Lists
      • Brainline
      • Charlton Vos College
      • Elshadai School
      • Loreto Skinner
      • Shalom Christian College
      • Siphiwe Montessori School
      • St Mary's Diocesan School
      • Tuks Sport
    • Books by Grade
      • Grade R
      • Grade 1
      • Grade 2
      • Grade 3
      • Grade 4
      • Grade 5
      • Grade 6
      • Grade 7
      • Grade 8
      • Grade 9
      • View more →
    • Study Guides
      • Grade 1
      • Grade 2
      • Grade 3
      • Grade 4
      • Grade 5
      • Grade 6
      • Grade 7
      • Grade 8
      • Grade 9
      • Grade 10
      • View more →
    • Readers
      • Afrikaans
      • English
      • Other Languages
  • General Books
    • Bestsellers
      • Top 10 Fiction
      • Top 10 Non-Fiction
      • Top 10 Local
      • Aristata Approved Reads
    • Newly Published
      • Fiction
      • Non-Fiction
      • Pan-African Writing
    • Fiction
      • Fantasy &Science Fiction
      • Afrikaans
      • Local Fiction
      • General Fiction
      • Classics
      • Crime & Thrillers
      • Fantasy & Science Fiction
      • Romance
      • Dramas
      • Comics & Humour
    • Non Fiction
      • Diaries &Gift Books
      • Current Affairs
      • Business, Law & Finance
      • History
      • Art & Design
      • Language
      • South Africa Current
      • Health & Lifestyle
      • Biographies
      • Pets, Fauna & Flora
      • View more →
    • Children's Books
      • Popular Authors
      • Baby & Toddler
      • Juniors
      • Teens
      • Children's Fiction
      • Children's Non-Fiction
    • Antiquarian
    • Theology
  • Gaming Stock
  • Stationery
  • Menu
  • More ways to buy from us
    • Booksmart Africa
    • Bobshop
    • Amazon.co.za
    • Loot
Home/University Books/Formal Engineering for Industrial Software Development - Shaoying Liu
Free shipping

Formal Engineering for Industrial Software Development - Shaoying Liu

Write a review
R1235.00
Price in points: 1235 points
Reward points: 62 points
9783642058271
In stock
+ −

Description

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.

Features

Published Date:
07/12/2010
ISBN:
9783642058271
Author:
Shaoying Liu
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format:
Paperback / softback
Dimensions:
155 mm x 235 mm
Pages:
408
Language:
English

Stay Connected

I agree to have my personal data processed as follows and I want to subscribe for the following newsletters:

When you sign up for a specific newsletter, we (Aristata Boekwinkels) add your email address to a corresponding mailing list. While it is there, we know that we can contact you by email regarding that topic.

You can always have your email address removed from our mailing lists. There are multiple ways to do it:

  • Once your account is registered, just sign in and unsubscribe from newsletters in profile settings.
  • Use the “Unsubscribe” link in our newsletters that you receive.
  • Send an email to online@aristata.co.za.

We may use a third-party email service (MailChimp and/or Mad Mimi) to send newsletters. Some members of our staff can view mailing lists with email addresses. That way they’ll be able to remove your email address from the mailing list, should you request us to do so.

Please note that mailing lists are independent from each other. If you decide not to receive newsletters at all, you’ll have to unsubscribe from all the mailing lists. Even if you do that, you’ll still receive account-related emails (such as order status notifications, password reset emails, and more). It is essential for operating an online store.

If you decide that you no longer want to use our store and would like to have your personal data removed from our database (or if you’d like to get all the personal data associated with your account that we have), please send an email to online@aristata.co.za.

If you believe that your personal data has been misused, you have the right to lodge a complaint with a supervisory authority. We’re obliged by EU General Data Protection Regulation to let you know about this right; we don’t actually intend to misuse your data.

Get social

Facebook
Instagram

My account

  • Sign in
  • Create account

Aristata Boekwinkels

  • About us
  • Contact us
  • Branch Locator

Customer Service

  • About your order
  • Wishlist

About us

  • Privacy policy
  • Return Policy
  • Tell-a-Pal Referral Program
  • Aristata Points Policy