FreeTechBooks.com Homepage
FreeTechBooks.com
Free Online Computer Science and Programming Books, Textbooks, and Lecture Notes


Formal Methods
 Topics   Views 
Advertisements Advertisements
No new posts A Practical Theory of Programming, Second Edition
Describes theory of programming as something that will provide a much greater degree of precision by providing a method of calculation to software engineers.

13346
No new posts Automated Theorem Proving
Gives students a thorough understanding of the central techniques in automated theorem proving, enabling them to transfer methods to different logics or applications.

6214
No new posts Case Studies in Systematic Software Development
Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.

9119
No new posts Communicating Sequential Processes
This is an excellent introduction to Communicating Sequential Processes, or CSP, a language for describing patterns of interaction, and also to its mathematical theory.

9834
No new posts Concepts, Techniques, and Models of Computer Programming
Brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms.

11870
No new posts Data, Syntax and Semantics - An Introduction to Modelling Programming Languages [URL's removed]
An introduction to the mathematical theory of programming languages. Readers will need a first course in elementary set theory, logic and imperative programming as the background knowledge.

6737
No new posts Denotational Semantics: A Methodology for Language Development
Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.

5902
No new posts Formal Specification and Documentation using Z: A Case Study Approach
Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.

10857
No new posts How to Think About Algorithms - Loop Invariants and Recursion
These notes teach the students to think abstractly about algorithms and about the key algorithmic techniques used to develop them.

6922
No new posts Introduction to Programming Languages
An undergraduate text in the theory of programming languages.

11754
No new posts Lecture Notes on Semantics of Programming Languages
Introduces the structural, operational approach to programming language semantics.

6933
No new posts Programming from Specifications
Presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.

10201
No new posts Reasoned Programming
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.

5953
No new posts Semantics with Applications: A Formal Introduction
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).

8549
No new posts Software Vulnerability Analysis - A Thesis
Presents a classification of software vulnerabilities that focuses on the assumptions that programmers make regarding the environment in which their application will be executed.

6943
No new posts Syntax and Semantics of Programming Languages, A Laboratory Based Approach
A gentle introduction of formal semantics for students with a basic grounding in discrete mathematic.

11582
No new posts Systematic Software Development Using VDM, 2nd Edition
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.

8230
No new posts The Craft of Programming
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.

6185
No new posts The Design of Functional Programs - A Calculational Approach
This document shows to what extent functional programs can be designed in a calculational way. This study is about programming, as a design activity; it is not about programming languages, formal semantics included, nor about implementations.

5818
No new posts The Z Notation: A Reference Manual, Second Edition
A reference manual for the Z Notation, a formal specification notation used for specifying and designing softwares.

11237
Advertisements Advertisements