-
1
-
-
34548506230
-
Transformation Techniques for OCL Constraints
-
Elsevier
-
Cabot, J., Teniente, E.: Transformation Techniques for OCL Constraints. Science of Computer Programming Journal, vol. 68/3, 179-195. Elsevier (2007)
-
(2007)
Science of Computer Programming Journal
, vol.68
, Issue.3
, pp. 179-195
-
-
Cabot, J.1
Teniente, E.2
-
2
-
-
33745645810
-
Proposals for a Widespread Use of OCL
-
Montego Bay, Jamaica (2005) Technical report LGL-REPORT-2005-001
-
Chiorean, D., Borteş, M., Coruţiu, D.: Proposals for a Widespread Use of OCL. In: Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms-Needs and Trends, Montego Bay, Jamaica (2005). Technical report LGL-REPORT-2005-001. Online at: http://lgl.epfl.ch/members/baar/ oclwsAtModels05/technicalReport.pdf
-
Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms-Needs and Trends
-
-
Chiorean, D.1
Borteş, M.2
Coruţiu, D.3
-
3
-
-
11244357552
-
-
a Foundation for Language Driven Development, Second Edition. Ceteva
-
Clark, T., Sammut, P., Willans, J.: Applied Metamodeling-a Foundation for Language Driven Development, Second Edition. Ceteva (2008)
-
(2008)
Applied Metamodeling
-
-
Clark, T.1
Sammut, P.2
Willans, J.3
-
4
-
-
52249083179
-
The Dresden OCL Toolkit And Its Role In Information Systems Development
-
Methods and Tools, Theory and Practice (ISD'2004). Vilnius, Lithuania
-
Demuth, B.: The Dresden OCL Toolkit And Its Role In Information Systems Development. In Proceedings of 13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice (ISD'2004). Vilnius, Lithuania (2004)
-
(2004)
In Proceedings of 13th International Conference on Information Systems Development
-
-
Demuth, B.1
-
5
-
-
85042866480
-
-
Technical report NRC-TR-2006-006, Nokia Research Center
-
Oliver, I.: Using Class Relationships for Identifying Invariants. Technical report NRC-TR-2006-006, Nokia Research Center (2006). Online at: http://research. nokia.com/files/NRC-TR-2006-006.pdf
-
(2006)
Using Class Relationships for Identifying Invariants
-
-
Oliver, I.1
-
6
-
-
56649098884
-
A benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
-
Krzysztof Czarnecki, editor Springer, Berlin
-
Gogolla, M., Kuhlmann, M., Buttner, F.: A benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. In Krzysztof Czarnecki, editor, Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), LNCS 5301, 446-459. Springer, Berlin (2008)
-
(2008)
Proc. 11th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2008), LNCS 5301
, pp. 446-459
-
-
Gogolla, M.1
Kuhlmann, M.2
Buttner, F.3
-
7
-
-
57349126795
-
MontiCore: a framework for the development of textual domain specific languages
-
Grönniger, H., Krahn, H., Rumpe, B., Schindler, M., Vlkel, S.: MontiCore: a framework for the development of textual domain specific languages. ICSE Companion (2008), 925-926
-
(2008)
ICSE Companion
, pp. 925-926
-
-
Grönniger, H.1
Krahn, H.2
Rumpe, B.3
Schindler, M.4
Vlkel, S.5
-
8
-
-
84956983027
-
Consistency Checking and Visualization of OCL Constraints
-
Springer, Heidelberg
-
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency Checking and Visualization of OCL Constraints. In LNCS, vol. 1939, pp. 294-308. Springer, Heidelberg (2006)
-
(2006)
In LNCS
, vol.1939
, pp. 294-308
-
-
Bottoni, P.1
Koch, M.2
Parisi-Presicce, F.3
Taentzer, G.4
-
9
-
-
33745378451
-
Emerging OCL tools
-
Springer Berlin / Heidelberg
-
Toval, A., Requena, V., Fernandez, J.L.: Emerging OCL tools. Software and Systems Modeling, vol. 2, nr. 4, 248-261. Springer Berlin / Heidelberg (2003)
-
(2003)
Software and Systems Modeling
, vol.2
, Issue.4
, pp. 248-261
-
-
Toval, A.1
Requena, V.2
Fernandez, J.L.3
-
10
-
-
85042849000
-
-
ATL web page. http://www.eclipse.org/m2m/atl/
-
ATL web page
-
-
-
11
-
-
84876240567
-
-
Dresden OCL Toolkit. http://dresden-ocl.sourceforge.net/index.php
-
Dresden OCL Toolkit
-
-
-
12
-
-
85042881928
-
-
E-Platero web page. http://www.oneclipse.com/plugins/education/eplatero/view
-
E-Platero web page
-
-
-
13
-
-
85042871277
-
-
Epsilon web page. http://www.eclipse.org/gmt/epsilon/about.php
-
Epsilon web page
-
-
-
14
-
-
85042855926
-
-
GME web page. http://www.isis.vanderbilt.edu/projects/gme/
-
GME web page
-
-
-
15
-
-
85042877072
-
-
HOL-OCL web page. http://www.brucker.ch/projects/hol-ocl/
-
HOL-OCL web page
-
-
-
16
-
-
85042876154
-
-
Key web page. http://www.key-project.org/
-
Key web page
-
-
-
17
-
-
85042861142
-
-
KMF web page. http://www.cs.kent.ac.uk/projects/kmf/
-
KMF web page
-
-
-
19
-
-
85042878281
-
-
MDT-OCL web page. http://www.eclipse.org/modeling/mdt/?project=ocl
-
MDT-OCL web page
-
-
-
20
-
-
85042848501
-
-
MOVA web page. http://maude.sip.ucm.es/mova/
-
MOVA web page
-
-
-
21
-
-
85042865139
-
-
Naomi web page. http://mocl.sourceforge.net/
-
Naomi web page
-
-
-
23
-
-
85042852203
-
-
openArchitectureWare web page
-
openArchitectureWare web page. http://www.openarchitectureware.org/
-
-
-
-
25
-
-
85042885366
-
-
OCL benchmark. https://muse.informatik.uni-bremen.de/wiki/index.php/OCL Benchmark 0-CivilStatus
-
OCL benchmark
-
-
-
27
-
-
85042884016
-
-
Oclarity web page. http://www.empowertec.de/products/rational-rose-ocl.htm
-
Oclarity web page
-
-
-
28
-
-
85042845522
-
-
OCLE web page. http://lci.cs.ubbcluj.ro/ocle/index.htm
-
OCLE web page
-
-
-
29
-
-
85042850489
-
-
Poseidon web page. http://www.gentleware.com/products.html
-
Poseidon web page
-
-
-
32
-
-
85042850103
-
-
Rational Rose web page. http://www-306.ibm.com/software/awdtools/developer/rose/index.html
-
Rational Rose web page
-
-
-
34
-
-
85042883172
-
-
USE web page. http://www.db.informatik.uni-bremen.de/projects/USE/
-
USE web page
-
-
-
35
-
-
85042863431
-
-
XMF web page. http://www.ceteva.com/xmf.html
-
XMF web page
-
-
|