Advertisement

Notations for Software Design

  • Loe M. G. Feijs
  • Hans B. M. Jonkers
  • Cornelis A. Middelburg

Table of contents

  1. Front Matter
    Pages i-xii
  2. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 1-8
  3. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 9-38
  4. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 39-70
  5. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 71-102
  6. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 103-124
  7. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 125-199
  8. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 201-258
  9. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 259-323
  10. Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg
    Pages 325-376
  11. Back Matter
    Pages 377-425

About this book

Introduction

Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process.
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

  • Loe M. G. Feijs
    • 1
  • Hans B. M. Jonkers
    • 1
  • Cornelis A. Middelburg
    • 2
    • 3
  1. 1.Philips Research LaboratoriesEindhovenThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands
  3. 3.PTT ResearchLeidschendamThe Netherlands

Bibliographic information