Architecting Systems with Trustworthy Components
International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Ralf H. Reussner
Themen in »Architecting Systems with Trustworthy Components«
Exception Isabelle/HOL component interaction component management component models component-based software engineering distributed computing distributed systems embedded systems formal methods metamodelling modeling performance analysis semantics systems testin
Stimmen zu »Architecting Systems with Trustworthy Components«
Details
ISBN: 9783540358336
Verlag: Springer Berlin
Erscheinung: 04.07.2006