TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2015 | 2014 | 2012 | 2011
Anzahl der Einträge: 6.

2015

Wong, Peter Y. H. ; Bubel, Richard ; de Boer, Frank S. ; Gomez-Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam (2015)
Testing abstract behavioral specifications.
In: STTT, 17 (1)
doi: 10.1007/s10009-014-0301-x
Artikel, Bibliographie

2014

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Artikel, Bibliographie

2012

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012)
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5)
doi: 10.1007/s10009-012-0250-1
Artikel, Bibliographie

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Hrsg.: Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (2012)
Delta modeling in practice: a Fredhopper case study.
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings.
doi: 10.1145/2110147.2110163
Konferenzveröffentlichung, Bibliographie

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Hrsg.: Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (2012)
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.
doi: 10.1007/978-3-642-33427-6_7
Konferenzveröffentlichung, Bibliographie

2011

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:24:06 2024 CET generiert.