Searching for authors named "Michael Pradel" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
General Terms
- …Dynamically Inferring, Refining, and Checking API Usage Protocols Michael Pradel Laboratory…
- Add To MetaCart
-
Explicit Relationships with Roles- A Library Approach
- …Explicit Relationships with Roles - A Library Approach Michael Pradel ∗ EPFL, Switzerland michael…
- Add To MetaCart
-
Ontology Composition using a Role Modeling Approach
- …Ontology Composition using a Role Modeling Approach Michael Pradel michael…
- Add To MetaCart
-
SCALA ROLES A Lightweight Approach towards Reusable Collaborations
- …SCALA ROLES A Lightweight Approach towards Reusable Collaborations Michael Pradel 1 ∗ and Martin…
- Add To MetaCart
-
Automatic generation of object usage specifications from large method traces
- …Automatic Generation of Object Usage Specifications from Large Method Traces Michael Pradel…
- Cited by 1 (1 self) – Add To MetaCart
-
Ontology Design and Reuse with Conceptual Roles
- …Ontology Design and Reuse with Conceptual Roles Jakob Henriksson 1 , Michael Pradel 1 , Steffen…
- Add To MetaCart
-
A Good Role Model for Ontologies: Collaborations
- …A Good Role Model for Ontologies: Collaborations Michael Pradel, Jakob Henriksson, and Uwe Aßmann…
- Cited by 2 (2 self) – Add To MetaCart
-
Großer Beleg Ontology Composition using a Role Modeling Approach submitted by
- …Großer Beleg Ontology Composition using a Role Modeling Approach submitted by Michael Pradel born…
- Add To MetaCart
Showing 1 through 8.
