[Lecture Notes in Computer Science] Architecting Dependable Systems V Volume 5135 || Data Flow-Based Validation of Web Services Compositions: Perspectives and Examplesde Lemos, Rogério; Di Giandomenico, Felicita; Gacek, Cristina; Muccini, Henry; Vieira, Marlon · 2008

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Testing IN protocol implementationMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || The web impact: A white paperMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Visualising the behaviour of intelligent networksMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Value-added services in industrial automationMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Automatic error location for IN service definitionMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Application of INAP to AIN intelligent peripheralMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998

[Lecture Notes in Computer Science] Services and Visualization Towards User-Friendly Design Volume 1385 || Visualisation of executable formal specifications for user validationMargaria, Tiziana; Steffen, Bernhard; Rückert, Roland; Posegga, Joachim · 1998