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.
Read or Download Formal Engineering for Industrial Software Development: Using the SOFL Method PDF
Similar logic books
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?
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).
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.
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.
- Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (Lecture Notes in Computer Science)
- Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
- Mathematics and the Mind: An Introduction into Ibn Sīnā’s Theory of Knowledge (SpringerBriefs in Philosophy)
Additional resources for Formal Engineering for Industrial Software Development: Using the SOFL Method