Liu, Z; Parnas, DL; Trancón y Widemann, B: Documenting and Verifying Systems Assembled from Components, Frontiers of Computer Science in China, 4(2), 151-161 (2010), doi:10.1007/s11704-010-0026-2 [Link]
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.
Aktuelle Termine


BayCEER-Kolloquium:
Do. 18.04.2024
The Canvas of Change: Creative Marketing for Behaviour Change, Sustainability and Social Good
Do. 18.04.2024
Survival, 'dormancy', and resuscitation of microorganisms in water-limited environments: insights from coastal salt flats and desert soil crusts
BayCEER Short Courses:
Di. 16.04.2024
Geographical information system and R environment for conservation biology
Ökologisch-Botanischer Garten:
So. 07.04.2024
Führung | Talking Tree: Was Bäume über´s Klima erzählen
Fr. 19.04.2024
Führung | Gesteine im Ökologisch-Botanischen Garten
Wetter Versuchsflächen
Luftdruck (356m): 957.4 hPa
Lufttemperatur: 10.9 °C
Niederschlag: 0.2 mm/24h
Sonnenschein: <1 h/d

...mehr
Globalstrahlung: 162 W/m²
Lufttemperatur: 8.6 °C
Niederschlag: 0.0 mm/24h
Wind (Höhe 32m): 20.5 km/h

...mehr
Diese Webseite verwendet Cookies. weitere Informationen