Authors:
Part of the book series: Formal Approaches to Computing and Information Technology (FACIT) (FACIT)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
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.
Keywords
- Natural
- Petri net
- Signatur
- Software Design
- Turing
- algorithms
- data structures
- design
- development
- formal specification
- language
- software
- software development
Authors and Affiliations
-
Philips Research Laboratories, Eindhoven, The Netherlands
Loe M. G. Feijs, Hans B. M. Jonkers
-
Department of Philosophy, Utrecht University, Utrecht, The Netherlands
Cornelis A. Middelburg
-
PTT Research, Leidschendam, The Netherlands
Cornelis A. Middelburg
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