| 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. |
Upcoming ...
Upcoming ...
| BayCEER Colloquium: |
|---|
| Th. 2024-04-25 now Perspectives and challenges in the restoration and conservation of two isolated habitats: gypsum and cliffs |
| BayCEER Short Courses: |
| Fr. 2024-04-26 Mobile Film Making Workshop (for students of BayCEER) |
| Ecological-Botanical Garden: |
| Fr. 2024-04-26 Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |
| Fr. 2024-04-26 Führung | Erdbeer-Minze und Zimmerknoblauch: Gewürzkräuter |
| Su. 2024-04-28 Führung | Den Sängern auf der Spur: Vogelstimmen im ÖBG (zus. mit LBV) |