1 |
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool) ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool) ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
A Formal Semantics for Weighted Ontology Mappings
|
|
|
|
In: ISWC 2012 - International Semantic Web Conference ; https://hal.inria.fr/hal-00768413 ; ISWC 2012 - International Semantic Web Conference, Nov 2012, Boston, MA, United States. pp.17-33, ⟨10.1007/978-3-642-35176-1_2⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
|