Formal Engineering for Industrial Software Development: by Shaoying Liu

By Shaoying Liu

In any severe engineering self-discipline, it'd be unthinkable to build a wide approach with no need an exact inspiration of what's to be equipped and with out verifying how the process is predicted to operate. software program engineering isn't any assorted during this respect.


Formal tools contain using mathematical notation and calculus in software program improvement; such equipment are tricky to use to large-scale structures with useful constraints (e.g., restricted developer talents, time and funds regulations, altering requirements). right here Liu claims that formal engineering tools could bridge this hole. He advocates the incorporation of mathematical notation into the software program engineering method, hence considerably enhancing the rigor, comprehensibility and effectiveness of the tools ordinary in industry.


This e-book offers an advent to the SOFL (Structured Object-Oriented Formal Language) strategy that used to be designed and industry-tested via the writer. Written in a method appropriate for lecture classes or to be used through pros, there are lots of workouts and an important real-world case research, so the readers are supplied with all of the wisdom and examples had to effectively practice the tactic of their personal initiatives.

Show description

Read or Download Formal Engineering for Industrial Software Development: Using the SOFL Method PDF

Similar logic books

18 Unconventional Essays on the Nature of Mathematics

This publication collects essentially the most attention-grabbing contemporary writings which are tackling, from a variety of issues of view, the matter of giving an accounting of the character, goal, and justification of actual mathematical practice–mathematics as truly performed through genuine stay mathematicians. what's the nature of the gadgets being studied?

Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)

This e-book describes a software of study in computable constitution conception. The aim is to discover definability stipulations equivalent to bounds on complexity which persist lower than isomorphism. the implications observe to frequent forms of constructions (groups, fields, vector areas, linear orderings Boolean algebras, Abelian p-groups, versions of arithmetic).

Proceedings of the 13th Asian Logic Conference (Proceedings of the Asian Logic Conference)

This quantity presents a discussion board which highlights new achievements and overviews of modern advancements of the thriving common sense teams within the Asia-Pacific area. It comprises papers by means of best logicians and likewise a few contributions in computing device technological know-how logics and philosophic logics.

Introduction to Mathematical Logic, Sixth Edition (Discrete Mathematics and Its Applications)

The recent version of this vintage textbook, advent to Mathematical common sense, 6th version explores the important themes of mathematical good judgment. It covers propositional good judgment, first-order good judgment, first-order quantity concept, axiomatic set conception, and the speculation of computability. The textual content additionally discusses the foremost result of Gödel, Church, Kleene, Rosser, and Turing.

Additional resources for Formal Engineering for Industrial Software Development: Using the SOFL Method

Sample text

Download PDF sample

Rated 4.53 of 5 – based on 37 votes