Die vorliegende Dissertation beschreibt ein neues Unified Modeling Language 2 (UML) Profil für kommunizierende Systeme. Es ermöglicht die eindeutige und ausführbare Spezifikation und ...

Wireless LANs (WLANs) finden immer mehr Verbreitung. Mittlerweile gelten sie als Schlüsselelement in dynamischen Unternehmensumgebungen, wo permanenter Netzwerkzugang unabdingbar ist. Wenn ...

Die Komplexität moderner, verteilter Kommunikationssysteme hat sich erheblich gesteigert und die Notwendigkeit gründlichen und systematischen Testens ist unbestritten. Die TTCN-3 ist eine ...