Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Documenting and Verifying Systems Assembled from Components

Title data

Liu, Zhiying ; Parnas, David L. ; Trancón y Widemann, Baltasar:
Documenting and Verifying Systems Assembled from Components.
In: Frontiers of Computer Science in China. Vol. 4 (2010) Issue 2 . - pp. 151-161.
ISSN 1673-7466
DOI: https://doi.org/10.1007/s11704-010-0026-2

Abstract in another language

This paper presents an approach to the problem of documenting the design of a network of components and verifying that its structure is complete and consistent, (i.e., that the components, functioning together, will satisfy the requirements of the complete product), before the components are implemented. Our approach differs from others in that both hardware and software components are viewed as hardware-like devices in which an output value can change instantaneously when input values change and all components operate synchronously rather than in sequence.We define what we mean by completeness and consistency and illustrate how the documents can be used to verify a design before it is implemented.

Further data

Item Type: Article in a journal
Refereed: Yes
Additional notes: BAYCEER113587
Institutions of the University: Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling
Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER
Faculties
Faculties > Faculty of Biology, Chemistry and Earth Sciences
Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences
Research Institutions
Research Institutions > Research Centres
Result of work at the UBT: Yes
DDC Subjects: 500 Science
Date Deposited: 06 Jul 2015 10:25
Last Modified: 06 Jul 2015 10:25
URI: https://eref.uni-bayreuth.de/id/eprint/15875