Documenting and verifying systems assembled from components

DOI10.1007/s11704-010-0026-2zbMath1267.68040OpenAlexW2044496112WikidataQ130278291 ScholiaQ130278291MaRDI QIDQ351992

Baltasar Trancon Y. Widemann, Zhiying Liu, David Lorge Parnas

Publication date: 4 July 2013

Published in: Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-010-0026-2

zbMATH Keywords

consistencycompletenessnetworks of components

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (1)

Moving from interface theories to assembly theories

Cites Work

• The new math of computer programming
• Programming-in-the-Large Versus Programming-in-the-Small
• On simulating networks of parallel processes in which simultaneous events may occur
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Documenting and verifying systems assembled from components