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. |
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 |