Compositional refinement of interactive systems.

We introduce a method to describe systems and their components by functional specification techniques. We define notions of interface and interaction refinement for interactive systems and their components. These notions of refinement allow us to change both the syntactic (the number of channels and...

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:	Journal of the ACM 44, 6 (1997).
Tác giả chính:	Broy, Manfred
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Computer systems organization. Processor architectures. Multiple Data Stream Architectures (Multiprocessors). Parallel processors. Software. Programming techniques. Software engineering. Requirements/Specifications. Methodologies (e.g., object-oriented, structured). Design. Methodologies. Theory of Computation. Logics and meanings of programs. Specifying and Verifying and Reasoning about Programs. Specification techniques. Verification.