-
1
-
-
72549094932
-
On challenges of model transformation from UML to Alloy
-
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. SoSyM 9(1), 69-86 (2010).
-
(2010)
SoSyM
, vol.9
, Issue.1
, pp. 69-86
-
-
Anastasakis, K.1
Bordbar, B.2
Georg, G.3
Ray, I.4
-
2
-
-
25144441754
-
Reasoning on UML class diagrams
-
DOI 10.1016/j.artint.2005.05.003, PII S0004370205000792
-
Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artif. Intell. 168(1-2), 70-118 (2005). (Pubitemid 41338772)
-
(2005)
Artificial Intelligence
, vol.168
, Issue.1-2
, pp. 70-118
-
-
Berardi, D.1
Calvanese, D.2
De Giacomo, G.3
-
3
-
-
77955236486
-
Nitpick: A counterexample generator for higher-order logic based on a relational model finder
-
Kaufmann, M., Paulson, L.C. (eds.) ITP 2010 Springer, Heidelberg
-
Blanchette, J.C., Nipkow, T.: Nitpick: A counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131-146. Springer, Heidelberg (2010).
-
(2010)
LNCS
, vol.6172
, pp. 131-146
-
-
Blanchette, J.C.1
Nipkow, T.2
-
4
-
-
47249144817
-
HOL-OCL: A formal proof environment for UML/OCL
-
Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for UML/OCL. In: FASE, pp. 97-100 (2008).
-
(2008)
FASE
, pp. 97-100
-
-
Brucker, A.D.1
Wolff, B.2
-
5
-
-
52249099953
-
Verification of UML/OCL class diagrams using constraint programming
-
IEEE Computer Society Press, Washington, DC, USA
-
Cabot, J., Clariśo, R., Riera, D.: Verification of UML/OCL Class Diagrams using Constraint Programming. In: Proc. 2008 IEEE Int. Conf. Software Testing Verification and Validation Workshop, pp. 73-80. IEEE Computer Society Press, Washington, DC, USA (2008).
-
(2008)
Proc. 2008 IEEE Int. Conf. Software Testing Verification and Validation Workshop
, pp. 73-80
-
-
Cabot, J.1
Clariśo, R.2
Riera, D.3
-
6
-
-
23844477998
-
Ensuring UML models consistency using the OCL environment
-
DOI 10.1016/j.entcs.2003.09.005
-
Chiorean, D., Pasca, M., Ĉarcu, A., Botiza, C., Moldovan, S.: Ensuring UML Models Consistency Using the OCL Environment. Electr. Notes Theor. Comput. Sci. 102, 99-110 (2004). (Pubitemid 41162130)
-
(2004)
Electronic Notes in Theoretical Computer Science
, vol.102
, pp. 99-110
-
-
Chiorean, D.1
Pasca, M.2
Carcu, A.3
Botiza, C.4
Moldovan, S.5
-
9
-
-
31044452475
-
Validating UML and OCL models in USE by automatic snapshot generation
-
DOI 10.1007/s10270-005-0089-y
-
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. SoSyM 4(4), 386-398 (2005). (Pubitemid 43118834)
-
(2005)
Software and Systems Modeling
, vol.4
, Issue.4
, pp. 386-398
-
-
Gogolla, M.1
Bohling, J.2
Richters, M.3
-
10
-
-
36048931368
-
USE: A UML-based specification environment for validating UML and OCL
-
DOI 10.1016/j.scico.2007.01.013, PII S0167642307001608, Experimental Software and Toolkits
-
Gogolla, M., B̈uttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. SCP 69, 27-34 (2007). (Pubitemid 350087238)
-
(2007)
Science of Computer Programming
, vol.69
, Issue.1-3
, pp. 27-34
-
-
Gogolla, M.1
Buttner, F.2
Richters, M.3
-
11
-
-
70350378886
-
Consistency, independence and consequences in UML and OCL models
-
Dubois, C. (ed.) TAP 2009 Springer, Heidelberg
-
Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 90-104. Springer, Heidelberg (2009).
-
(2009)
LNCS
, vol.5668
, pp. 90-104
-
-
Gogolla, M.1
Kuhlmann, M.2
Hamann, L.3
-
12
-
-
79959193655
-
Tractable model transformation testing
-
France, R., K̈uster, J.M., Bordbar, B., Paige, R.F. (eds.) Proc. 7th Int. Conf. Modelling Foundations and Applications (ECMFA 2011) Springer, Berlin
-
Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R., K̈uster, J.M., Bordbar, B., Paige, R.F. (eds.) Proc. 7th Int. Conf. Modelling Foundations and Applications (ECMFA 2011). LNCS, Springer, Berlin (2011).
-
(2011)
LNCS
-
-
Gogolla, M.1
Vallecillo, A.2
-
14
-
-
79960190321
-
RoclET- Refactoring OCL expressions by transformations
-
Jeanneret, C., Eyer, L., Markovic, S., Baar, T.: RoclET- Refactoring OCL Expressions by Transformations. In: Software & Systems Engineering and their Applications, 19th International Conference, ICSSEA 2006 (2006).
-
(2006)
Software & Systems Engineering and Their Applications, 19th International Conference, ICSSEA 2006
-
-
Jeanneret, C.1
Eyer, L.2
Markovic, S.3
Baar, T.4
-
15
-
-
56649083343
-
A lightweight approach for defining the formal semantics of a modeling language
-
Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V̈olter, M. (eds.) MODELS 2008 Springer, Heidelberg
-
Kelsen, P., Ma, Q.: A lightweight approach for defining the formal semantics of a modeling language. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V̈olter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690-704. Springer, Heidelberg (2008).
-
(2008)
LNCS
, vol.5301
, pp. 690-704
-
-
Kelsen, P.1
Ma, Q.2
-
17
-
-
80052926621
-
Comprehensive two-level analysis of static and dynamic RBAC constraints with UML and OCL
-
Baik, J., Massacci, F., Zulkernine, M. (eds.) IEEE Computer Society, Los Alamitos
-
Kuhlmann, M., Sohr, K., Gogolla, M.: Comprehensive Two-level Analysis of Static and Dynamic RBAC Constraints with UML and OCL. In: Baik, J., Massacci, F., Zulkernine, M. (eds.) Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, IEEE Computer Society, Los Alamitos (2011).
-
(2011)
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011
-
-
Kuhlmann, M.1
Sohr, K.2
Gogolla, M.3
-
18
-
-
77954701441
-
Deep meta-modelling with metaDepth
-
Vitek, J. (ed.) TOOLS 2010 Springer, Heidelberg
-
de Lara, J., Guerra, E.: Deep meta-modelling with metaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1-20. Springer, Heidelberg (2010).
-
(2010)
LNCS
, vol.6141
, pp. 1-20
-
-
De Lara, J.1
Guerra, E.2
-
19
-
-
70349850651
-
Applying ASP to UML model validation
-
Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009 Springer, Heidelberg
-
Ornaghi, M., Fiorentini, C., Momigliano, A., Pagano, F.: Applying ASP to UML model validation. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 457-463. Springer, Heidelberg (2009).
-
(2009)
LNCS
, vol.5753
, pp. 457-463
-
-
Ornaghi, M.1
Fiorentini, C.2
Momigliano, A.3
Pagano, F.4
-
20
-
-
33845209421
-
Reasoning on UML class diagrams with OCL constraints
-
LNCS Conceptual Modeling - ER 2006 - 25th International Conference on Conceptual Modeling, Proceedings
-
Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Oliv́e, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497-512. Springer, Heidelberg (2006). (Pubitemid 44850594)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4215
, pp. 497-512
-
-
Queralt, A.1
Teniente, E.2
-
21
-
-
77955030623
-
Falling back on executable specifications
-
D'Hondt, T. (ed.) ECOOP 2010 Springer, Heidelberg
-
Samimi, H., Aung, E.D., Millstein, T.: Falling back on executable specifications. In: D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 552-576. Springer, Heidelberg (2010).
-
(2010)
LNCS
, vol.6183
, pp. 552-576
-
-
Samimi, H.1
Aung, E.D.2
Millstein, T.3
-
22
-
-
77953100008
-
Verifying UML/OCL models using boolean satisfiability
-
M̈uller, W. (ed.) IEEE Computer Society Press, Los Alamitos
-
Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML/OCL Models Using Boolean Satisfiability. In: M̈uller, W. (ed.) Proc. Design, Automation and Test in Europe (DATE 2010 ). IEEE Computer Society Press, Los Alamitos (2010).
-
(2010)
Proc. Design, Automation and Test in Europe (DATE 2010 )
-
-
Soeken, M.1
Wille, R.2
Kuhlmann, M.3
Gogolla, M.4
Drechsler, R.5
-
23
-
-
37149013755
-
Kodkod: A relational model finder
-
LNCS Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007
-
Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632-647. Springer, Heidelberg (2007). (Pubitemid 350259325)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4424
, pp. 632-647
-
-
Torlak, E.1
Jackson, D.2
-
24
-
-
77954700037
-
MemSAT: Checking axiomatic specifications of memory models
-
Torlak, E., Vaziri, M., Dolby, J.: MemSAT: checking axiomatic specifications of memory models. SIGPLAN Not. 45, 341-350 (2010), http://doi.acm.org/10.1145/1809028.1806635.
-
(2010)
SIGPLAN Not.
, vol.45
, pp. 341-350
-
-
Torlak, E.1
Vaziri, M.2
Dolby, J.3
-
25
-
-
77949778962
-
A step towards merging xUML and CSP B
-
Abrial, J.-R., Gl̈asser, U. (eds.) Rigorous Methods for Software Construction and Analysis Springer, Heidelberg
-
Treharne, H., Schneider, S., Grant, N., Evans, N., Ifill, W.: A step towards merging xUML and CSP B. In: Abrial, J.-R., Gl̈asser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 130-146. Springer, Heidelberg (2009).
-
(2009)
LNCS
, vol.5115
, pp. 130-146
-
-
Treharne, H.1
Schneider, S.2
Grant, N.3
Evans, N.4
Ifill, W.5
-
26
-
-
70350370552
-
UMLAnT: An eclipse plugin for animating and testing UML designs
-
ACM Press, New York
-
Trong, T.D., Ghosh, S., France, R.B., Hamilton, M., Wilkins, B.: UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs. In: Proc. OOPSLA workshop Eclipse technology eXchange, pp. 120-124. ACM Press, New York (2005).
-
(2005)
Proc. OOPSLA Workshop Eclipse Technology EXchange
, pp. 120-124
-
-
Trong, T.D.1
Ghosh, S.2
France, R.B.3
Hamilton, M.4
Wilkins, B.5
-
27
-
-
79960167300
-
A tool for verified design using alloy for specification and crocopat for verification
-
Jackson, D., Zave, P. (eds.)
-
Wegmann, A., Le, L.S., Hussami, L., Beyer, D.: A Tool for Verified Design using Alloy for Specification and CrocoPat for Verification. In: Jackson, D., Zave, P. (eds.) Proc. First Alloy Workshop (2006)
-
(2006)
Proc. First Alloy Workshop
-
-
Wegmann, A.1
Le, L.S.2
Hussami, L.3
Beyer, D.4
|