bei Google ScholarTitelangaben
Liu, Zhiying ; Parnas, David L. ; Trancón y Widemann, Baltasar:
Documenting and Verifying Systems Assembled from Components.
In: Frontiers of Computer Science in China.
Bd. 4
(2010)
Heft 2
.
- S. 151-161.
ISSN 1673-7466
DOI: https://doi.org/10.1007/s11704-010-0026-2
Abstract
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.
Weitere Angaben
| Publikationsform: | Artikel in einer Zeitschrift |
|---|---|
| Begutachteter Beitrag: | Ja |
| Zusätzliche Informationen: | BAYCEER113587 |
| Institutionen der Universität: | Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften > Lehrstuhl Ökologische Modellbildung Forschungseinrichtungen > Forschungszentren > Bayreuther Zentrum für Ökologie und Umweltforschung - BayCEER Fakultäten Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften Fakultäten > Fakultät für Biologie, Chemie und Geowissenschaften > Fachgruppe Geowissenschaften Forschungseinrichtungen Forschungseinrichtungen > Forschungszentren |
| Titel an der UBT entstanden: | Ja |
| Themengebiete aus DDC: | 500 Naturwissenschaften und Mathematik |
| Eingestellt am: | 06 Jul 2015 10:25 |
| Letzte Änderung: | 06 Jul 2015 10:25 |
| URI: | https://eref.uni-bayreuth.de/id/eprint/15875 |