Modelling communication interfaces with COMIX

DOI10.1007/3-540-45136-6_27MaRDI QIDQ2771798zbMATH OpenFDO

Authors Frank Oppenheimer, Wolfgang Nebel, Dongming Zhang

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2043/20430337

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Synchronous and bidirectional component interfaces
• Frontiers of Combining Systems
• Device driver and DMA controller synthesis from HW/SW communication protocol specifications
• An interface model of software components
• Communication interface CoIn

Cited in

(2)

• Communication interface CoIn
• Device driver and DMA controller synthesis from HW/SW communication protocol specifications

This page was built for publication: Modelling communication interfaces with COMIX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771798)