History
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the General Help page.

Result 21 to 40 from 53 total

Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE. (English)
Modellierung, 155-170(2012)
WorldCat.org
21
Tree-Adjoining Grammars Are Not Closed Under Strong Lexicalization. (English)
Computational Linguistics 38, N0. 3, 617-629(2012)
WorldCat.org
22
A benchmark for OCL engine accuracy, determinateness, and efficiency. (English)
Software and System Modeling 11, N0. 2, 165-182(2012)
WorldCat.org
23
Abstract Runtime Monitoring with USE. (English)
CSMR, 549-552(2012)
WorldCat.org
24
Extensive validation of OCL models by integrating SAT solving into USE. (English)
Bishop, Judith (ed.) et al., Objects, models, components, patterns. 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21951-1/pbk). Lecture Notes in Computer Science 6705, 290-306 (2011).
WorldCat.org
25
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. (English)
SSIRI, 108-117(2011)
WorldCat.org
26
Dependency Grammar: Classification and Exploration. (English)
Resource-Adaptive Cognitive Processes, 365-388(2011)
WorldCat.org
27
Dependency structures derived from minimalist grammars. (English)
Ebert, Christian (ed.) et al., The mathematics of language. 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28‒30, 2007, and MOL 11, Bielefeld, Germany, August 20‒21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14321-2/pbk). Lecture Notes in Computer Science 6149. Lecture Notes in Artificial Intelligence, 1-12 (2010).
WorldCat.org
28
Proving and visualizing OCL invariant independence by automatically generated test cases. (English)
Fraser, Gordon (ed.) et al., Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1‒2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13976-5/pbk). Lecture Notes in Computer Science 6143, 38-54 (2010).
WorldCat.org
29
Dependency structures and lexicalized grammars. An algebraic approach. (English)
Lecture Notes in Computer Science 6270. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-14567-4/pbk). xii, 137~p. (2010).
WorldCat.org
30
On better understanding OCL collections, or: An OCL ordered set is not an OCL set. (English)
Ghosh, Sudipto (ed.), Models in software engineering. Workshops and symposia at MODELS 2009, Denver, CO, USA, October 4‒9, 2009. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-12260-6/pbk). Lecture Notes in Computer Science 6002, 276-290 (2010).
WorldCat.org
31
Verifying UML/OCL Models Using Boolean Satisfiability. (English)
MBMV, 57-66(2010)
WorldCat.org
32
Verifying UML/OCL models using Boolean satisfiability. (English)
DATE, 1341-1344(2010)
WorldCat.org
33
Efficient Parsing of Well-Nested Linear Context-Free Rewriting Systems. (English)
HLT-NAACL, 276-284(2010)
WorldCat.org
34
The Importance of Rule Restrictions in CCG. (English)
ACL, 534-543(2010)
WorldCat.org
35
Zur Validierung von Kompositionsstrukturen in UML mit USE. (English)
Modellierung, 169-177(2010)
WorldCat.org
36
Consistency, independence and consequences in UML and OCL models. (English)
Dubois, Catherine (ed.), Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02948-6/pbk). Lecture Notes in Computer Science 5668, 90-104 (2009).
WorldCat.org
37
Shortcomings of the embedding of OCL into QVT ImperativeOCL. (English)
Chaudron, Michel R. V. (ed.), Models in software engineering. Workshops and symposia at MODELS 2008, Toulouse, France, September 28‒October 3, 2008. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-01647-9/pbk). Lecture Notes in Computer Science 5421, 263-272 (2009).
WorldCat.org
38
Dependency Trees and the Strong Generative Capacity of CCG. (English)
EACL, 460-468(2009)
WorldCat.org
39
Optimal Reduction of Rule Length in Linear Context-Free Rewriting Systems. (English)
HLT-NAACL, 539-547(2009)
WorldCat.org
40

Result 21 to 40 from 53 total

Valid XHTML 1.0 Transitional Valid CSS!