Behavioral Specifications. Dynamical Approach. Draft
Abstract
We give a description of a behavioral specification in terms of infinite sequences. This description allows mathematically precise definitions of needed notions and shows the way to strict proofs of their properties. We propose a handful of such notions and give an overview of their properties. In a part of these notes we show the links with existing theories and point out possible further development of our approach.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 08, 1994
- Accession Number
- ADA360111
Entities
People
- Tomasz Nowicki