|
篇目详细内容 |
|
【篇名】 |
Documenting and verifying systems assembled from components |
|
【刊名】 |
Frontiers of Computer Science in China |
|
【刊名缩写】 |
Front. Comput. Sci. China |
|
【ISSN】 |
1673-7350 |
|
【EISSN】 |
1673-7466 |
|
【DOI】 |
10.1007/s11704-010-0026-2 |
|
【出版社】 |
Higher Education Press and Springer-Verlag Berlin
Heidelberg |
|
【出版年】 |
2010 |
|
【卷期】 |
4
卷2期 |
|
【页码】 |
151-161
页,共
11
页 |
|
【作者】 |
Zhiying LIU;
David Lorge PARNAS;
Baltasar Trancon y WIDEMANN;
|
|
【关键词】 |
networks of components; completeness; consistency |
【摘要】 |
|
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. |
