Download PDF by Shaoying Liu: Formal Engineering for Industrial Software Development:

By Shaoying Liu

In any critical engineering self-discipline, it'd be unthinkable to build a wide procedure with no need an actual inspiration of what's to be equipped and with out verifying how the procedure is anticipated to operate. software program engineering is not any varied during this respect.


Formal equipment contain using mathematical notation and calculus in software program improvement; such equipment are tough to use to large-scale platforms with sensible constraints (e.g., constrained developer talents, time and price range 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 procedure, therefore considerably enhancing the rigor, comprehensibility and effectiveness of the tools everyday in industry.


This ebook presents an creation to the SOFL (Structured Object-Oriented Formal Language) approach that was once designed and industry-tested by way of the writer. Written in a mode compatible for lecture classes or to be used by means of execs, there are various routines and an important real-world case research, so the readers are supplied with all of the wisdom and examples had to effectively observe the strategy of their personal tasks.

Show description

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

Best logic books

Comprehensive Mathematics for Computer Scientists 1: Sets - download pdf or read online

Includes all of the arithmetic that machine scientists want to know in a single place.

Download PDF by Dirk W. Hoffmann: Grenzen der Mathematik: Eine Reise durch die Kerngebiete der

Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik.

Language and Mathematics: An Interdisciplinary Guide - download pdf or read online

This publication explores the various disciplinary and theoretical hyperlinks among language, linguistics, and arithmetic. It examines developments in linguistics, corresponding to structuralism, conceptual metaphor thought, and different suitable theories, to exhibit that language and arithmetic have the same constitution, yet differential services, even if one with out the opposite wouldn't exist.

Logical Aspects of Computational Linguistics. Celebrating 20 by Maxime Amblard,Philippe de Groote,Sylvain PDF

Edited less than the auspices of the organization of good judgment, Language andInformation (FoLLI), this ebook constitutes the refereed lawsuits ofthe twentieth anniversary of the overseas convention on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. the nineteen contributed papers, presentedtogether with four invited papers and six abstracts, have been carefullyreviewed and chosen from 38 submissions.

Extra info for Formal Engineering for Industrial Software Development: Using the SOFL Method

Sample text

Download PDF sample

Formal Engineering for Industrial Software Development: Using the SOFL Method by Shaoying Liu


by Donald
4.0

Rated 4.96 of 5 – based on 24 votes