1
0
0
(1 - 14 von 14
)
Papers With Code
paperswithcode.com
... Björn Metzler, Ralf Schenkel. In this paper, we present QualiAssistant, a free and open-source system written in Java for identification and extraction of ...
Fundamental Approaches to Software Engineering: 13th ...google.de
books.google.de
... Björn Metzler Gergely Mezei Patrick Mukherjee Muhammad Naeem Johannes Neubauer Stefan Neumann Fernando Orejas Lucian Patcas Lars Patzina Patrizio ...
Ralf SchenkelPapers With Code
paperswithcode.com
... Björn Metzler, Ralf Schenkel. In this paper, we present QualiAssistant, a free and open-source system written in Java for identification and extraction of Björn Metzler, Ralf Schenkel. In this paper, we present QualiAssistant, a free and open-source system written in Java for identification and extraction of ...
SearchOpenReview
openreview.net
Markus Nilles, Lorik Dumani, Björn Metzler, Ralf Schenkel. Published: 31 Dec 2022, Last Modified: 25 Apr 2024; ICCBR Workshops 2023; Readers: Everyone. Top-k ... Markus Nilles, Lorik Dumani, Björn Metzler, Ralf Schenkel. Published: 31 Dec 2022, Last Modified: 25 Apr 2024; ICCBR Workshops 2023; Readers: Everyone. Top-k ...
Formal Methods for Open Object-Based Distributed Systems: ...google.com
books.google.com
... Andreas Griesmayer Andreas Gruener Juliano Iyoda Bart Jacobs Vladimir Klebanov Patrick Meredith Björn Metzler Cristian Prisacariu Gianna Reggio Philipp ...
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP...
books.google.co.uk
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems,...
Fundamental Approaches to Software Engineering: 13th ...google.com
books.google.com
... Sven Lauder Mark Lawford Leonardo Mariani Narciso Marti-Oliet Maik Merten Björn Metzler Gergely Mezei Patrick Mukherjee Muhammad Naeem Johannes Neubauer ...
Fundamental Approaches to Software Engineering: 13th International...
books.google.de
This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in...
Formal Methods and Software Engineering: 10th International ...google.co.uk
books.google.co.uk
... on Software Testing and Analysis (July 2006) Decomposition for Compositional Verification Björn Metzler, Heike Wehrheim, and Daniel 104 A. Rajan et al.
Integrated Formal Methods: 6th International Conference, IFM ...google.com
books.google.com
Decomposing Integrated Specifications for Verification Björn Metzler Department of Computer Science University of Paderborn Germany D Paderborn, ...
Integrated Formal Methods: 6th International Conference, IFM 2007,...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all...
Formal Methods for Open Object-Based Distributed Systems: ...google.co.uk
books.google.co.uk
... Björn Metzler Cristian Prisacariu Gianna Reggio Philipp Ruemmer Rudolf Schlatte Gerardo Schneider Jan Schäfer Jan Smans Christian Soltenborn Gheorghe ...
Model Driven Engineering Languages and Systems: 12th ...google.co.uk
books.google.co.uk
... Björn Metzler for many helpful discussions. References 1. Object Management Group : OMG Unified Modeling Language Towards Test-Driven Semantics ...
Formal Methods and Software Engineering: 11th International...
books.google.de
Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design...
Verwandte Suchanfragen zu Björn Metzler
Manuel Biertz Patrick Mukherjee Markus Nilles | Johannes Neubauer Olaf Rohstock Ingo Brückner | Patrick Terber |
Person "Metzler" (15) Vorname "Björn" (16756) Name "Metzler" (1189) |
sortiert nach Relevanz / Datum