Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Refinement of Pipe-and-Filter Architectures.

J. Philipps, und B. Rumpe. CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tim Janz University of Stuttgart

Benedikt Janny

PD Dr. phil. Frank Janle University of Stuttgart

Isabel Janowsky-Vidovic University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Prototype-Based Tests for Hybrid Reactive Systems.G. Hahn, J. Philipps, A. Pretschner, und T. Stauner. IEEE International Workshop on Rapid System Prototyping, Seite 78-. IEEE Computer Society, (2003)Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.E. Kamsties, A. von Knethen, J. Philipps, und B. Schätz. FBT, Seite 103-112. Herbert Utz Verlag, (1999)Model based testing in incremental system development.A. Pretschner, H. Lötzbeyer, und J. Philipps. Journal of Systems and Software, 70 (3): 315-329 (2004)Refactoring of Programs and SpecificationsJ. Philipps, und B. Rumpe. Practical Foundations of Business and System Specifications, Kluwer Academic Publishers, (2003)The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.J. Philipps, und O. Slotosch. APSEC, Seite 449-. IEEE Computer Society, (1999)Methodological Issues in Model-Based Testing.A. Pretschner, und J. Philipps. Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 281-291. Springer, (2004)Refinement of Pipe-and-Filter Architectures.J. Philipps, und B. Rumpe. CoRR, (2014)Formal Verification of Statecharts with Instantaneous Chain Reaction.J. Philipps, und P. Scholz. TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 224-238. Springer, (1997)Entwurf verteilter Systeme im Sonderforschungsbereich 342.J. Philipps. GI Jahrestagung, Seite 289-298. Springer, (1999)Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse.S. Bauer, P. Braun, und J. Philipps. MBEES, Seite 13-19. fortiss GmbH, München, (2013)