Liu, Z; Parnas, DL; Trancón y Widemann, B: Consistency of Networks of Components, Proceedings Asian Workshop on Foundations of Software, Elsevier Science B.V., 48-57 (2009) | |
Abstract: In this paper, we present an approach to describing a network of components and checking whether the network is complete and consistent, i.e. whether the components can work together properly. This model will be the basis of a procedure for checking the correctness of a network of fully specified components on the basis of their interface specifications and a description of the way that the components are connected. Our approach is different from others in that each component is viewed as a hardware-like device in which an output value can change instantaneously when input values change and all components operate synchronously rather than in sequence. Keywords: Networks of components, completeness, consistency, delay-free loop. |
BayCEER Colloquium: |
---|
Th. 2024-05-16 Dimethylated thioarsenates: potentially dangerous hidden arsenic species in rice and rice products |
Ecological-Botanical Garden: |
Su. 2024-04-28 now Führung | Den Sängern auf der Spur: Vogelstimmen im ÖBG (zus. mit LBV) |
Su. 2024-05-05 Führung | Faszination Englische Gärten: Gestaltung und Pflanzen |
Su. 2024-05-05 Midissage | da capo - Ausstellung von Doris Bocka |
We. 2024-05-15 Kurzführung | "Botanische Mittagspause" |