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
Table of contents (9 chapters)
Keywords
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.
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