| Topics |
Views |
 |
|
Advertisements |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Introduction to Programming Languages
An undergraduate text in the theory of programming languages.
|
11754 |
|
Lecture Notes on Semantics of Programming Languages
Introduces the structural, operational approach to programming language semantics.
|
6933 |
|
Programming from Specifications
Presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.
|
10201 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
