-
3
-
-
67650498720
-
Verifying UML/OCL operation contracts
-
In: Leuschel, M., Wehrheim, H. (eds.), Springer, Heidelberg
-
Cabot, J., Clarisó, R., Riera, D.: Verifying UML/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 40-55. Springer, Heidelberg (2009)
-
(2009)
IFM 2009. LNCS
, vol.5423
, pp. 40-55
-
-
Cabot, J.1
Clarisó, R.2
Riera, D.3
-
5
-
-
84867640832
-
On integrating structure and behavior modeling with OCL
-
In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.), Springer, Heidelberg
-
Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 235-251. Springer, Heidelberg (2012)
-
(2012)
MODELS 2012. LNCS
, vol.7590
, pp. 235-251
-
-
Hamann, L.1
Hofrichter, O.2
Gogolla, M.3
-
6
-
-
79957538504
-
Verifying dynamic aspects of UML models
-
Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation Test in Europe Conference Exhibition (DATE), pp. 1-6 (2011)
-
(2011)
Design, Automation Test in Europe Conference Exhibition (DATE)
, pp. 1-6
-
-
Soeken, M.1
Wille, R.2
Drechsler, R.3
-
7
-
-
84910685279
-
Dynamic validation of OCL constraints with mOdCL
-
Rold´an, M., Dur´an, F
-
Rold´an, M., Dur´an, F.: Dynamic validation of OCL constraints with mOdCL. In: International Workshop on OCL and Textual Modelling (2011)
-
(2011)
International Workshop on OCL and Textual Modelling
-
-
-
8
-
-
69849112713
-
Reasoning on UML conceptual schemas with operations
-
In: van Eck, P., Gordijn, J., Wieringa, R. (eds.), Springer, Heidelberg
-
Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 47-62. Springer, Heidelberg (2009)
-
(2009)
Caise 2009. LNCS
, vol.5565
, pp. 47-62
-
-
Queralt, A.1
Teniente, E.2
-
9
-
-
47249144817
-
HOL-OCL: A formal proof environment for UML/OCL
-
In: Fiadeiro, J.L., Inverardi, P. (eds.), Springer, Heidelberg
-
Brucker, A.D., Wolff, B.: HOL-OCL: A formal proof environment for UML/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97-100. Springer, Heidelberg (2008)
-
(2008)
FASE 2008. LNCS
, vol.4961
, pp. 97-100
-
-
Brucker, A.D.1
Wolff, B.2
-
10
-
-
25144468787
-
Conceptual schema-centric development: A grand challenge for information systems research
-
Pastor, Ó., Falcão e Cunha, J. (eds.), Springer, Heidelberg
-
Olivé, A.: Conceptual schema-centric development: A grand challenge for information systems research. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1-15. Springer, Heidelberg (2005)
-
(2005)
Caise 2005. LNCS
, vol.3520
, pp. 1-15
-
-
Olivé, A.1
-
11
-
-
84859400920
-
Verification and validation of UML conceptual schemas with OCL constraints
-
Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM TOSEM 21(2), 13 (2012)
-
(2012)
ACM TOSEM
, vol.21
, Issue.2
, pp. 13
-
-
Queralt, A.1
Teniente, E.2
-
12
-
-
45849116224
-
Improving the definition of general constraints in UML
-
Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E.: Improving the definition of general constraints in UML. Software & Systems Modeling 7(4), 469-486 (2008)
-
(2008)
Software &Amp; Systems Modeling
, vol.7
, Issue.4
, pp. 469-486
-
-
Costal, D.1
Gómez, C.2
Queralt, A.3
Raventós, R.4
Teniente, E.5
-
14
-
-
11144253513
-
Checking query containment with the CQC method
-
Farré, C., Teniente, E., Urpí, T.: Checking query containment with the CQC method. Data & Knowledge Engineering 53(2), 163-223 (2005)
-
(2005)
Data &Amp; Knowledge Engineering
, vol.53
, Issue.2
, pp. 163-223
-
-
Farré, C.1
Teniente, E.2
Urpí, T.3
-
16
-
-
78650122351
-
Automatic and efficient simulation of operation contracts
-
ACM, New York
-
Krieger, M.P., Knapp, A., Wolff, B.: Automatic and efficient simulation of operation contracts. In: 9th International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 53-62. ACM, New York (2010)
-
(2010)
9Th International Conference on Generative Programming and Component Engineering, GPCE 2010
, pp. 53-62
-
-
Krieger, M.P.1
Knapp, A.2
Wolff, B.3
-
17
-
-
79952190506
-
Generating operation specifications from UML class diagrams: A model transformation approach
-
Albert, M., Cabot, J., Gómez, C., Pelechano, V.: Generating operation specifications from UML class diagrams: A model transformation approach. Data & Knowledge Engineering 70(4), 365-389 (2011)
-
(2011)
Data &Amp; Knowledge Engineering
, vol.70
, Issue.4
, pp. 365-389
-
-
Albert, M.1
Cabot, J.2
Gómez, C.3
Pelechano, V.4
|