Conference
Synthesising Interconnections
Abstract
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the calculation of programs from specifications. A particularly important aspect for extending existing methods to address composite systems is the ability, given programs that realise component specifications, to synthesise the interconnections between them in such a way …
Authors
Fiadeiro JL; Lopes A; Maibaum TSE
Series
IFIP Advances in Information and Communication Technology
Pagination
pp. 240-264
Publisher
Springer Nature
Publication Date
1997
DOI
10.1007/978-0-387-35264-0_10
Conference proceedings
IFIP Advances in Information and Communication Technology
ISSN
1868-4238