Book Details

Unifying Theories of Programming

: 2006

: 978-3-540-34752-1

:


A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware engineer. Within these theorieswe see a number of common themes, such as abstraction, refinement, choice, ter-mination, feasibility, concurrency and communication. The commonality of suchthemes opens perspectives for unifying theories, an activity which can increaseour ability to use existing methods and notations, to recognise their limitations,and to extend and generalise them.


: Computer Science, CCS, CSP, Reversible Computing, Z methodology, object-orientation, programming, programming theory, reactive design, real-time, real-time programming, relational methods, reversible computation, semantics, theory unification, verification