-
2
-
-
23844547594
-
-
Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., and Schmitt, P. H. (2005). The KeY Tool. Software and System Modeling, 4(1):32-54.
-
(2005)
The KeY Tool. Software and System Modeling
, vol.4
, Issue.1
, pp. 32-54
-
-
Ahrendt, W.1
Baar, T.2
Beckert, B.3
Bubel, R.4
Giese, M.5
Hähnle, R.6
Menzel, W.7
Mostowski, W.8
Roth, A.9
Schlager, S.10
Schmitt, P.H.11
-
3
-
-
84948954868
-
The Essence of Multilevel Metamodeling
-
Toronto, Canada, October 1-5, 2001, Proceedings, volume 2185 of LNCS. Springer
-
th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, volume 2185 of LNCS. Springer, pages 19-33.
-
(2001)
th International Conference
, pp. 19-33
-
-
Atkinson, C.1
Kühne, T.2
-
4
-
-
0141725648
-
Model-driven Development: A Metamodeling Foundation
-
Atkinson, C. and Kühne, T. (2003). Model-driven Development: A Metamodeling Foundation. IEEE Software, 20(5):36-41.
-
(2003)
IEEE Software
, vol.20
, Issue.5
, pp. 36-41
-
-
Atkinson, C.1
Kühne, T.2
-
5
-
-
35248897702
-
The Definition of Transitive Closure with OCL - Limitations and Applications
-
Novosibirsk, Russia, volume 2890 of LNCS, Springer
-
Baar, T. (2003). The Definition of Transitive Closure with OCL - Limitations and Applications. In Proceedings, Fifth Andrei Ershov International Conference, Perspectives of System Informatics, Novosibirsk, Russia, volume 2890 of LNCS, Springer, pages 358-365.
-
(2003)
Proceedings, Fifth Andrei Ershov International Conference, Perspectives of System Informatics
, pp. 358-365
-
-
Baar, T.1
-
6
-
-
18944379681
-
Translating the Object Constraint Language into First-order Predicate Logic
-
Beckert, B., Keller, U., and Schmitt, P. H. (2002). Translating the Object Constraint Language into First-order Predicate Logic. In Proceedings of VERIFY, Workshop at Federated Logic Conferences (FLoC).
-
(2002)
Proceedings of VERIFY, Workshop At Federated Logic Conferences (FLoC)
-
-
Beckert, B.1
Keller, U.2
Schmitt, P.H.3
-
7
-
-
84901523559
-
-
Kuzniarz et al., 2006
-
Bois, B. D., Lange, C. F., Demeyer, S., and Chaudron, M. R. (2006). A Qualitative Investigation of UML Modeling Conventions. In (Kuzniarz et al., 2006), pages 79-94.
-
(2006)
A Qualitative Investigation of UML Modeling Conventions
, pp. 79-94
-
-
Bois, B.D.1
Lange, C.F.2
Demeyer, S.3
Chaudron, M.R.4
-
8
-
-
78149472731
-
Semantic Issues of OCL: Past, Present, and Future
-
Brucker, A. D., Doser, J., and Wolff, B. (2006). Semantic Issues of OCL: Past, Present, and Future. In Proceedings of the 6th OCL Workshop at the UML/MoDELS Conference 2006, pages 213-228.
-
(2006)
Proceedings of the 6th OCL Workshop At the UML/MoDELS Conference 2006
, pp. 213-228
-
-
Brucker, A.D.1
Doser, J.2
Wolff, B.3
-
9
-
-
33750320993
-
-
Technical Report 525, ETH Zurich, Switzerland
-
Brucker, A. D. and Wolff, B. (2006). The HOL-OCL Book. Technical Report 525, ETH Zurich, Switzerland.
-
(2006)
The HOL-OCL Book
-
-
Brucker, A.D.1
Wolff, B.2
-
10
-
-
0004101993
-
-
John Wiley & Sons, Inc. New York, NY, USA
-
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. (1996). Pattern-oriented Software Architecture: a System of Patterns. John Wiley & Sons, Inc. New York, NY, USA.
-
(1996)
Pattern-oriented Software Architecture: A System of Patterns
-
-
Buschmann, F.1
Meunier, R.2
Rohnert, H.3
Sommerlad, P.4
Stal, M.5
-
12
-
-
33644662135
-
OCL 1.4/5 vs. 2.0 Expressions Formal Semantics and Expressiveness
-
Cengarle, M. V. and Knapp, A. (2004). OCL 1.4/5 vs. 2.0 Expressions Formal Semantics and Expressiveness. Software and Systems Modeling, 3(1):9-30.
-
(2004)
Software and Systems Modeling
, vol.3
, Issue.1
, pp. 9-30
-
-
Cengarle, M.V.1
Knapp, A.2
-
13
-
-
34250206403
-
A Model Driven XML Transformation Framework for Business Performance Management Model Creation
-
volume, Inderscience
-
Chen, S.-K., Lei, H., Wahler, M., Chang, H., Bhaskaran, K., and Frank, J. (2006). A Model Driven XML Transformation Framework for Business Performance Management Model Creation. In International Journal of Electronic Business, volume 4, pages 281-301. Inderscience.
-
(2006)
International Journal of Electronic Business
, vol.4
, pp. 281-301
-
-
Chen, S.-K.1
Lei, H.2
Wahler, M.3
Chang, H.4
Bhaskaran, K.5
Frank, J.6
-
14
-
-
52149117751
-
Proposals for a Widespread Use of OCL
-
Baar, T., editor, Montego Bay, Jamaica, October 4, 2005, Technical Report LGL-REPORT-2005-001, EPFL, Lausanne, Switzerland
-
Chiorean, D., Bortes, M., and Corutiu, D. (2005). Proposals for a Widespread Use of OCL. In Baar, T., editor, Proceedings of the MoDELS'05 Conference Workshop on Tool Support for OCL and Related Formalisms - Needs and Trends, Montego Bay, Jamaica, October 4, 2005, Technical Report LGL-REPORT-2005-001, pages 68-82. EPFL, Lausanne, Switzerland.
-
(2005)
Proceedings of the MoDELS'05 Conference Workshop On Tool Support For OCL and Related Formalisms - Needs and Trends
, pp. 68-82
-
-
Chiorean, D.1
Bortes, M.2
Corutiu, D.3
-
16
-
-
84957008485
-
The UML Family: Profiles, Prefaces and Packages
-
Evans, A., Kent, S., and Selic, B., editors, York, UK, October 2-6, 2000, Proceedings, volume 1939 of LNCS, Springer
-
Cook, S. (2000). The UML Family: Profiles, Prefaces and Packages. In Evans, A., Kent, S., and Selic, B., editors, UML 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, volume 1939 of LNCS, pages 255-264. Springer.
-
(2000)
UML 2000 - the Unified Modeling Language, Advancing the Standard, Third International Conference
, pp. 255-264
-
-
Cook, S.1
-
17
-
-
33750371470
-
Facilitating the Definition of General Constraints in UML
-
Nierstrasz, O., Whittle, J., Harel, D., and Reggio, G., editors, volume, LNCS, Springer-Verlag
-
Costal, D., Gómez, C., Queralt, A., Raventós, R., and Teniente, E. (2006). Facilitating the Definition of General Constraints in UML. In Nierstrasz, O., Whittle, J., Harel, D., and Reggio, G., editors, MoDELS 2006, volume 4199 in LNCS, pages 260-274. Springer-Verlag.
-
(2006)
MoDELS 2006
, vol.4199
, pp. 260-274
-
-
Costal, D.1
Gómez, C.2
Queralt, A.3
Raventós, R.4
Teniente, E.5
-
20
-
-
0031649229
-
Property Specification Patterns for Finitestate Verification
-
New York, NY, USA. ACM Press
-
Dwyer, M. B., Avrunin, G. S., and Corbett, J. C. (1998). Property Specification Patterns for Finitestate Verification. In FMSP '98: Proceedings of the second workshop on Formal methods in software practice, pages 7-15, New York, NY, USA. ACM Press.
-
(1998)
FMSP '98: Proceedings of the Second Workshop On Formal Methods In Software Practice
, pp. 7-15
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
21
-
-
0003880013
-
-
AddisonWesley Longman Publishing Co., Inc., Boston, MA, USA
-
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-Oriented Software. AddisonWesley Longman Publishing Co., Inc., Boston, MA, USA.
-
(1995)
Design Patterns: Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
23
-
-
84901529440
-
-
IBM, Rational Software Architect
-
IBM (2007). Rational Software Architect. http://www-306.ibm.com/software/awdtools/architect/swarchitect/index.html.
-
(2007)
-
-
-
27
-
-
84901559493
-
Proceedings of the 1st Workshop on Quality in Modeling
-
editors, Genova, Italy
-
Kuzniarz, L., Sourrouille, J. L., Straeten, R. V. D., Staron, M., Chaudron, M., Förster, A., and Reggio, G., editors (2006). Proceedings of the 1st Workshop on Quality in Modeling. Co-located with the ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova, Italy.
-
(2006)
Co-located With the ACM/IEEE 9th International Conference On Model Driven Engineering Languages and Systems (MoDELS 2006)
-
-
Kuzniarz, L.1
Sourrouille, J.L.2
Straeten, R.V.D.3
Staron, M.4
Chaudron, M.5
Förster, A.6
Reggio, G.7
-
28
-
-
33750335171
-
Effects of Defects in UML Models: An Experimental Investigation
-
New York, NY, USA. ACM Press
-
Lange, C. F. J. and Chaudron, M. R. V. (2006). Effects of Defects in UML Models: an Experimental Investigation. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 401-411, New York, NY, USA. ACM Press.
-
(2006)
ICSE '06: Proceeding of the 28th International Conference On Software Engineering
, pp. 401-411
-
-
Lange, C.F.J.1
Chaudron, M.R.V.2
-
30
-
-
33750317400
-
Representation of Integrity Constraints in Conceptual Models
-
Miliauskaite, E. and Nemuraite, L. (2005). Representation of Integrity Constraints in Conceptual Models. Information Technology and Control, 34(4):355-365.
-
(2005)
Information Technology and Control
, vol.34
, Issue.4
, pp. 355-365
-
-
Miliauskaite, E.1
Nemuraite, L.2
-
31
-
-
0000187751
-
On Theories with a Combinatorial Definition of "Equivalence"
-
Newman, M. H. A. (1942). On Theories with a Combinatorial Definition of "Equivalence". The Annals of Mathematics, 43(2):223-243.
-
(1942)
The Annals of Mathematics
, vol.43
, Issue.2
, pp. 223-243
-
-
Newman, M.H.A.1
-
33
-
-
29244442007
-
-
Object Management Group (OMG)
-
Object Management Group (OMG) (2003). UML 2.0 OCL Final Adopted Specification. http://www.omg.org/cgi-bin/apps/doc?ptc/03-10-14.pdf.
-
(2003)
UML 2.0 OCL Final Adopted Specification
-
-
-
38
-
-
0141613899
-
What Models Mean
-
Seidewitz, E. (2003). What Models Mean. IEEE Software, 20(5):26-32.
-
(2003)
IEEE Software
, vol.20
, Issue.5
, pp. 26-32
-
-
Seidewitz, E.1
-
40
-
-
0037411286
-
Workflow patterns
-
Springer, 2003
-
van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., and Barros, A. (2003). Workflow patterns. In Distributed and Parallel Databases, Springer, 2003, 14, 5-51
-
(2003)
Distributed and Parallel Databases
, vol.14
, pp. 5-51
-
-
van der Aalst, W.1
ter Hofstede, A.2
Kiepuszewski, B.3
Barros, A.4
-
41
-
-
85001639357
-
Model-Driven Constraint Engineering
-
Wahler, M., Koehler, J., and Brucker, A. D. (2007). Model-Driven Constraint Engineering. Electronic Communications of the EASST, 5.
-
(2007)
Electronic Communications of the EASST
, pp. 5
-
-
Wahler, M.1
Koehler, J.2
Brucker, A.D.3
-
42
-
-
84901529116
-
-
www.metamodel.com, Online article
-
www.metamodel.com (2007). How do I tell a good metamodel from a bad one? Online article. http://www.metamodel.com/staticpages/index.php?page=20021010225607569.VisitedApril2007.
-
(2007)
How Do I Tell a Good Metamodel From a Bad One
-
-
|