SCOPUS 정보 검색 플랫폼

Electronic Communications of the EASST

Volumn 15, Issue , 2008, Pages

Building an efficient component for OCL evaluation

(3) Clavel, Manuel a,c Egea, Marina b de Dios, Miguel A García c

a IMDEA SOFTWARE INSTITUTE (Spain)

b ETH ZURICH (Switzerland)

c UNIVERSIDAD COMPLUTENSE DE MADRID (Spain)

Author keywords

Benchmark; Efficiency; Evaluation; OCL

Indexed keywords

EID: 85042885089 PISSN: None EISSN: 18632122 Source Type: Journal
DOI: 10.14279/tuj.eceasst.15.179.176 Document Type: Article

Times cited : (16)

References (22)

1
- 33646165236
- Technical report ES007/2001, FTC/UNL and INESC, June
- F. B. Abreu. Using OCL to formalize object oriented metrics definitions. Technical report ES007/2001, FTC/UNL and INESC, June 2001. http://ctp.di.fct.unl.pt/QUASAR/Resources/Papers/others/MOOD OCL.pdf
- (2001) Using OCL to formalize object oriented metrics definitions
- Abreu, F.B.¹

2
- 38149129692
- An OCL-based formalization of the MOOSE metric suite
- Darmstadt, Germany, July
- A. Baroni, F. B. e Abreu. An OCL-based formalization of the MOOSE metric suite. In ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering. Darmstadt, Germany, July 2003
- (2003) In ECOOP Workshop on Quantitative Approaches in Object Oriented Software Engineering
- Baroni, A.¹ e Abreu, F.B.²

3
- 70449660694
- A Formal Library for Aiding Metrics Extraction
- Darmstadt, Germany, July
- A. L. Baroni, F. B. e Abreu. A Formal Library for Aiding Metrics Extraction. In International Workshop on Object-Oriented Re-Engineering at ECOOP'2003. Darmstadt, Germany, July 2003
- (2003) In International Workshop on Object-Oriented Re-Engineering at ECOOP'2003
- Baroni, A.L.¹ e Abreu, F.B.²

4
- 85042874703
- T. Baar, S. Markovic. The RoclET tool. 2007. http://www.roclet.org/index.php
- (2007) The RoclET tool
- Baar, T.¹ Markovic, S.²

5
- 85042864878
- Automated Analysis of Security-Design Models. Information and Software Technology 4853, 2008
- D. Basin, M.Clavel, J. Doser, M. Egea. Automated Analysis of Security-Design Models. Information and Software Technology 4853, 2008. To appear in the special issue on Model Based Development for Secure Information Systems
- To appear in the special issue on Model Based Development for Secure Information Systems
- Basin, D.¹ Clavel, M.² Doser, J.³ Egea, M.⁴

6
- 85042856724
- D. Chiorean, M. Bortes, D. Corutiu, C. Botiza, A. Carcu. An OCL Environment (OCLE) 2.0.4. 2005. http://lci.cs.ubbcluj.ro/ocle/
- (2005) An OCL Environment (OCLE) 2.0.4
- Chiorean, D.¹ Bortes, M.² Corutiu, D.³ Botiza, C.⁴ Carcu, A.⁵

7
- 33746040100
- ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
- Lecture Notes in Computer Science 4019. Springer, Kuressaare, Estonia, July
- M. Clavel, M. Egea. ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. In AMAST'06: 11th International Conference on Algebraic Methodology and Software Technology. Lecture Notes in Computer Science 4019, pp. 368-373. Springer, Kuressaare, Estonia, July 2006
- (2006) In AMAST'06: 11th International Conference on Algebraic Methodology and Software Technology , pp. 368-373
- Clavel, M.¹ Egea, M.²

8
- 80054067997
- Universidad Complutense de Madrid, Spain
- M. Clavel, M. Egea, V. Torres. Model Metrication in MOVA: A Metamodel Based Approach using OCL. 2007. Universidad Complutense de Madrid, Spain. http://maude.sip.ucm.es/marina/pubs/pubs.html
- (2007) Model Metrication in MOVA: A Metamodel Based Approach using OCL
- Clavel, M.¹ Egea, M.² Torres, V.³

9
- 85042854538
- M. A. G. de Dios, M. Clavel, M. Egea. The Eye OCL Software (EOS). 2008. http://maude.sip.ucm.es/eos
- (2008) The Eye OCL Software (EOS)
- de Dios, M.A.G.¹ Clavel, M.² Egea, M.³

10
- 84948961025
- OCL as a Specification Language for Business Rules in Database Applications
- Gogolla and Kobryn (eds.). Springer
- B. Demuth, H. Hussmann, S. Loecher. OCL as a Specification Language for Business Rules in Database Applications. In Gogolla and Kobryn (eds.), UML 2001: 4th International Conference on the Unified Modeling Language. Lecture Notes in Computer Science 2185, pp. 104-117. Springer, 2001
- (2001) UML 2001: 4th International Conference on the Unified Modeling Language. Lecture Notes in Computer Science 2185 , pp. 104-117
- Demuth, B.¹ Hussmann, H.² Loecher, S.³

11
- 77949288354
- PhD thesis, Universidad Complutense de Madrid
- M. Egea. An Executable Formal Semantics for OCL with Applications to Formal Analysis and Validation. PhD thesis, Universidad Complutense de Madrid, 2008. http://maude.sip.ucm.es/marina/
- (2008) An Executable Formal Semantics for OCL with Applications to Formal Analysis and Validation
- Egea, M.¹

12
- 56649098781
- M. Gogolla, M. Kuhlmann, F. Büttner. Sources for a Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. 2008. http://www.db.informatik.uni-bremen.de/publications/Gogolla 2008 BMSOURCES.pdf/
- (2008) Sources for a Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
- Gogolla, M.¹ Kuhlmann, M.² Büttner, F.³

13
- 56649098884
- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
- Czarnecki et al. (eds.). Springer, MoDELS 2008, Toulouse, France, September 28-October 3, 2008. Proceedings. Lecture Notes in Computer Science 5301
- M. Gogolla, M. Kuhlmann, F. Büttner. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. In Czarnecki et al. (eds.), Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28-October 3, 2008. Proceedings. Lecture Notes in Computer Science 5301, pp. 446-459. Springer, 2008
- (2008) Model Driven Engineering Languages and Systems, 11th International Conference , pp. 446-459
- Gogolla, M.¹ Kuhlmann, M.² Büttner, F.³

14
- 85042866640
- February
- D. Gornik. A UML Data Modeling profile. February 2005. http://www.jeckle.de/files/RationalUML-RDB-Profile.pdf
- (2005) A UML Data Modeling profile
- Gornik, D.¹

15
- 85042873672
- D. S. Group. The UML Specification Environment (USE) tool. 2006. http://www.db.informatik.uni-bremen.de/projects/USE/
- (2006) The UML Specification Environment (USE) tool
- Group, D.S.¹

16
- 85042877738
- S. T. Group. The OCL2 Dresden Toolkit. 2007. http://sourceforge.net/project/showfiles.php?group id=5840
- (2007) The OCL2 Dresden Toolkit
- Group, S.T.¹

17
- 84914686339
- Master's thesis, University of Dresden, March
- F. Heidenreich. OCL-Codegenerierung für deklarative Sprachen. Master's thesis, University of Dresden, March 2006. http://dresden-ocl.sourceforge.net/publications.html
- (2006) OCL-Codegenerierung für deklarative Sprachen
- Heidenreich, F.¹

18
- 85042853671
- MDT-OCL
- K. Hussey, Model Development Tools Team. MDT-OCL. 2008. http://www.eclipse.org/modeling/mdt/?project=ocl
- (2008) Model Development Tools Team
- Hussey, K.¹

19
- 76249130216
- A Framework for Generating Query Language Code from OCL Invariants
- F. Heidenreich, C. Wende, B. Demuth. A Framework for Generating Query Language Code from OCL Invariants. In 7th OCL Workshop at the UML/MoDELS Conference. 2007
- (2007) In 7th OCL Workshop at the UML/MoDELS Conference
- Heidenreich, F.¹ Wende, C.² Demuth, B.³

20
- 85037708684
- May
- Object Management Group. Object Constraint Language specification. May 2006. http://www.omg.org/docs/ptc/05-06-06.pdf
- (2006) Object Management Group. Object Constraint Language specification

21
- 78149373869
- How databases and XML can be used to master UML models, an investigation
- S. Sambasivam, P. Crefcoeur. How databases and XML can be used to master UML models, an investigation. J. Comput. Small Coll. 23(6):220-228, 2008
- (2008) J. Comput. Small Coll , vol.23 , Issue.6 , pp. 220-228
- Sambasivam, S.¹ Crefcoeur, P.²

22
- 33744492911
- Relational Database Operations Modeling with UML
- IEEE Computer Society
- Y. Shuxin, R. Indrakshi. Relational Database Operations Modeling with UML. In AINA '05: Proceedings of the 19th International Conference on Advanced Information Networking and Applications. Pp. 927-932. IEEE Computer Society, 2005
- (2005) In AINA '05: Proceedings of the 19th International Conference on Advanced Information Networking and Applications , pp. 927-932
- Shuxin, Y.¹ Indrakshi, R.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.