The Object-Z specification language
The Object-Z specification language
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Modern Operating Systems
On History-Sensitive Models of Interactive Queues
ICIS-COMSAR '06 Proceedings of the 5th IEEE/ACIS International Conference on Computer and Information Science and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering,Software Architecture and Reuse
On Irregular Behaviours of Interactive Stacks
ITNG '07 Proceedings of the International Conference on Information Technology
Hi-index | 0.00 |
Formal specifications of software components are critical to software development. Several types of formal or semi-formal methods are commonly used for software specification, such as specification languages, graphic diagrams, algebraic descriptions, and stream functions. Each these methods addresses the specification problem from different view point and has its own strengthens and weaknesses. In this paper, we use the stream function approach to formally specify a particular software component, bounded buffer. Based on the specification, a state transition machine is built as an implementation of the bounded queue.