<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Typing component-based communication systems"^^ . "Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblage errors. We present a novel type system and type inference algorithm that prevent interconnection and message-handling errors when assembling component-based communication systems. These errors are typically not captured by classical type systems of host programming languages such as Java or ML. We have implemented our approach by extending the architecture description language (ADL) toolset used by the Dream framework, and used it to check Dream-based communication systems."^^ . "2009" . "5522" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . "Jean-Bernard"^^ . "Stefani"^^ . "Jean-Bernard Stefani"^^ . . "Michael"^^ . "Lienhardt"^^ . "Michael Lienhardt"^^ . . "Alan"^^ . "Schmitt"^^ . "Alan Schmitt"^^ . . . . . "HTML Summary of #2487 \n\nTyping component-based communication systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .