at Google ScholarTitle 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 |