Overview
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.
Similar content being viewed by others
Keywords
Table of contents (9 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Notations for Software Design
Authors: Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
Series Title: Formal Approaches to Computing and Information Technology (FACIT)
DOI: https://doi.org/10.1007/978-1-4471-2107-7
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1994
Softcover ISBN: 978-3-540-19902-1Published: 19 October 1994
eBook ISBN: 978-1-4471-2107-7Published: 06 December 2012
Edition Number: 1
Number of Pages: XII, 425
Number of Illustrations: 7 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Software Engineering, Programming Languages, Compilers, Interpreters