Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Object Constraint Language). Showing records 1 – 11 of 11 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Kennesaw State University

1. Bulusu, Pranahita. Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications.

Degree: MSCS, Computer Science, 2015, Kennesaw State University

  The Lightweight Directory Access Protocol (LDAP) is a common protocol used in organizations for Directory Service. LDAP is popular because of its features such… (more)

Subjects/Keywords: LDAP injection; Web security; Fault injection; Object Constraint Language; SQL injection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bulusu, P. (2015). Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications. (Thesis). Kennesaw State University. Retrieved from https://digitalcommons.kennesaw.edu/cs_etd/1

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bulusu, Pranahita. “Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications.” 2015. Thesis, Kennesaw State University. Accessed January 17, 2020. https://digitalcommons.kennesaw.edu/cs_etd/1.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bulusu, Pranahita. “Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications.” 2015. Web. 17 Jan 2020.

Vancouver:

Bulusu P. Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications. [Internet] [Thesis]. Kennesaw State University; 2015. [cited 2020 Jan 17]. Available from: https://digitalcommons.kennesaw.edu/cs_etd/1.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bulusu P. Detection of Lightweight Directory Access Protocol Query Injection Attacks in Web Applications. [Thesis]. Kennesaw State University; 2015. Available from: https://digitalcommons.kennesaw.edu/cs_etd/1

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. TAVARES, Marcellus Antonius de Castro. Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models .

Degree: 2011, Universidade Federal de Pernambuco

Antonius de Castro Tavares, Marcellus; Pierre Louis Robin, Jacques. Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2011. Advisors/Committee Members: ROBIN, Jacques Pierre Louis (advisor).

Subjects/Keywords: Model Driven Engineering; Behavioral Code Generation; Imperative Object Constraint Language; Unified Modeling Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TAVARES, M. A. d. C. (2011). Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1385

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TAVARES, Marcellus Antonius de Castro. “Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models .” 2011. Thesis, Universidade Federal de Pernambuco. Accessed January 17, 2020. http://repositorio.ufpe.br/handle/123456789/1385.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TAVARES, Marcellus Antonius de Castro. “Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models .” 2011. Web. 17 Jan 2020.

Vancouver:

TAVARES MAdC. Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2011. [cited 2020 Jan 17]. Available from: http://repositorio.ufpe.br/handle/123456789/1385.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TAVARES MAdC. Behavioral java code generation from imperative object constraint language expressions in plataformindependent UML models . [Thesis]. Universidade Federal de Pernambuco; 2011. Available from: http://repositorio.ufpe.br/handle/123456789/1385

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

3. Ferreira, Ana Cristina Martins. Refinamento de diagramas de classes: análise e verificação.

Degree: 2009, Universidade Nova

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

A qualidade do… (more)

Subjects/Keywords: Diagramas de classes; UML (Unified Modelling Language); OCL (Object Constraint Language); Alloy e alloy analyzer; Transformações de refinamento

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferreira, A. C. M. (2009). Refinamento de diagramas de classes: análise e verificação. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/3981

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ferreira, Ana Cristina Martins. “Refinamento de diagramas de classes: análise e verificação.” 2009. Thesis, Universidade Nova. Accessed January 17, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/3981.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ferreira, Ana Cristina Martins. “Refinamento de diagramas de classes: análise e verificação.” 2009. Web. 17 Jan 2020.

Vancouver:

Ferreira ACM. Refinamento de diagramas de classes: análise e verificação. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2020 Jan 17]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/3981.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ferreira ACM. Refinamento de diagramas de classes: análise e verificação. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/3981

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Delft University of Technology

4. Van Bennekom-Minnema, J. The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:.

Degree: 2008, Delft University of Technology

 The master of science thesis project called "The Land Administration Domain Model 'Survey Package' and Model Driven Architecture" will be described and concluded in this… (more)

Subjects/Keywords: land administration domain model; survey package; model driven architecture; object constraint language; spatial constraints; enterprise Architect

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Van Bennekom-Minnema, J. (2008). The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:1a9887fc-c2df-4846-a92a-318886e50960

Chicago Manual of Style (16th Edition):

Van Bennekom-Minnema, J. “The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:.” 2008. Masters Thesis, Delft University of Technology. Accessed January 17, 2020. http://resolver.tudelft.nl/uuid:1a9887fc-c2df-4846-a92a-318886e50960.

MLA Handbook (7th Edition):

Van Bennekom-Minnema, J. “The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:.” 2008. Web. 17 Jan 2020.

Vancouver:

Van Bennekom-Minnema J. The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:. [Internet] [Masters thesis]. Delft University of Technology; 2008. [cited 2020 Jan 17]. Available from: http://resolver.tudelft.nl/uuid:1a9887fc-c2df-4846-a92a-318886e50960.

Council of Science Editors:

Van Bennekom-Minnema J. The Land Administration Domain Model 'Survey Package' and Model Driven Architecture:. [Masters Thesis]. Delft University of Technology; 2008. Available from: http://resolver.tudelft.nl/uuid:1a9887fc-c2df-4846-a92a-318886e50960


IUPUI

5. Nair, Arvind. Integrating recommender systems into domain specific modeling tools.

Degree: 2017, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

This thesis investigates integrating recommender systems into model-driven engineering tools powered by domain-specific modeling languages. The objective of integrating recommender… (more)

Subjects/Keywords: Model Driven Engineering; Proactive Modeling; Recommender Systems; Object Constraint Language; Generic Modeling Environment; Domain Specific Modeling Languages; Domain Specific Modeling Tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nair, A. (2017). Integrating recommender systems into domain specific modeling tools. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/12287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nair, Arvind. “Integrating recommender systems into domain specific modeling tools.” 2017. Thesis, IUPUI. Accessed January 17, 2020. http://hdl.handle.net/1805/12287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nair, Arvind. “Integrating recommender systems into domain specific modeling tools.” 2017. Web. 17 Jan 2020.

Vancouver:

Nair A. Integrating recommender systems into domain specific modeling tools. [Internet] [Thesis]. IUPUI; 2017. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/1805/12287.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nair A. Integrating recommender systems into domain specific modeling tools. [Thesis]. IUPUI; 2017. Available from: http://hdl.handle.net/1805/12287

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


NSYSU

6. Hsieh, Kun-Ta. Specifying Design Patterns with Object Constraint Language.

Degree: Master, Information Management, 2007, NSYSU

 Today, unified modeling language (UML) has become a standard modeling language in object-oriented systems analysis and design. Over the past few years a considerable effort… (more)

Subjects/Keywords: Unified Modeling Language; Design Pattern; Model Driven Architecture; Object Constraint Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hsieh, K. (2007). Specifying Design Patterns with Object Constraint Language. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0719107-233503

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hsieh, Kun-Ta. “Specifying Design Patterns with Object Constraint Language.” 2007. Thesis, NSYSU. Accessed January 17, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0719107-233503.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hsieh, Kun-Ta. “Specifying Design Patterns with Object Constraint Language.” 2007. Web. 17 Jan 2020.

Vancouver:

Hsieh K. Specifying Design Patterns with Object Constraint Language. [Internet] [Thesis]. NSYSU; 2007. [cited 2020 Jan 17]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0719107-233503.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hsieh K. Specifying Design Patterns with Object Constraint Language. [Thesis]. NSYSU; 2007. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0719107-233503

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


INP Toulouse

7. Zalila, Faiez. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.

Degree: Docteur es, Sûreté de Logiciel et Calcul à Haute Performance, 2014, INP Toulouse

Les langages dédiés de modélisation (DSMLs) sont de plus en plus utilisés dans les phases amont du développement des systèmes complexes, en particulier pour les… (more)

Subjects/Keywords: Ingénierie dirigée par les modèles (IDM); Langage dédié de modélisation (DSML); Vérification et validation (V V); Object Constraint Language (OCL); Vérification formelle; Vérification de modèle par exploration exhaustive; Sémantique translationnelle; Traçabilité; Remontée de vérification; Model Driven Engineering (MDE); Domain specific Modeling Language (DSML); Verification and validation (V V); Object Constraint Language (OCL); Formal verification; Model checking; Translational semantics; Traceability; Verification feedback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zalila, F. (2014). Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. (Doctoral Dissertation). INP Toulouse. Retrieved from http://www.theses.fr/2014INPT0092

Chicago Manual of Style (16th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Doctoral Dissertation, INP Toulouse. Accessed January 17, 2020. http://www.theses.fr/2014INPT0092.

MLA Handbook (7th Edition):

Zalila, Faiez. “Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés.” 2014. Web. 17 Jan 2020.

Vancouver:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Internet] [Doctoral dissertation]. INP Toulouse; 2014. [cited 2020 Jan 17]. Available from: http://www.theses.fr/2014INPT0092.

Council of Science Editors:

Zalila F. Methods and tools for the integration of formal verification in domain-specific languages : Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés. [Doctoral Dissertation]. INP Toulouse; 2014. Available from: http://www.theses.fr/2014INPT0092


NSYSU

8. Liu, Chi-liang. Specifying Class constraint and operation using Object Constraint Lanugage.

Degree: Master, Information Management, 2006, NSYSU

 Today, modeling the software with unified modeling language (UML), model driven architecture (MDA) concept, and computer-aided software engineering (CASE) tool are the main trend for… (more)

Subjects/Keywords: Model-Driven Architecture; Object Constraint Language; Object-oriented Analysis and Design; Unified Modeling Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, C. (2006). Specifying Class constraint and operation using Object Constraint Lanugage. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0203106-124131

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liu, Chi-liang. “Specifying Class constraint and operation using Object Constraint Lanugage.” 2006. Thesis, NSYSU. Accessed January 17, 2020. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0203106-124131.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liu, Chi-liang. “Specifying Class constraint and operation using Object Constraint Lanugage.” 2006. Web. 17 Jan 2020.

Vancouver:

Liu C. Specifying Class constraint and operation using Object Constraint Lanugage. [Internet] [Thesis]. NSYSU; 2006. [cited 2020 Jan 17]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0203106-124131.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liu C. Specifying Class constraint and operation using Object Constraint Lanugage. [Thesis]. NSYSU; 2006. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0203106-124131

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Victoria University of Wellington

9. Gordon, Donald James. Encapsulation Enforcement with Dynamic Ownership.

Degree: 2008, Victoria University of Wellington

 Unrestricted aliasing is a problem endemic to object oriented programming. It allows notions of encapsulation fundamental to object oriented programming to be violated. This thesis… (more)

Subjects/Keywords: Object-oriented programming languages; Java (Computer program language); Encapsulation system integration; Constraint programming (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gordon, D. J. (2008). Encapsulation Enforcement with Dynamic Ownership. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/624

Chicago Manual of Style (16th Edition):

Gordon, Donald James. “Encapsulation Enforcement with Dynamic Ownership.” 2008. Masters Thesis, Victoria University of Wellington. Accessed January 17, 2020. http://hdl.handle.net/10063/624.

MLA Handbook (7th Edition):

Gordon, Donald James. “Encapsulation Enforcement with Dynamic Ownership.” 2008. Web. 17 Jan 2020.

Vancouver:

Gordon DJ. Encapsulation Enforcement with Dynamic Ownership. [Internet] [Masters thesis]. Victoria University of Wellington; 2008. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10063/624.

Council of Science Editors:

Gordon DJ. Encapsulation Enforcement with Dynamic Ownership. [Masters Thesis]. Victoria University of Wellington; 2008. Available from: http://hdl.handle.net/10063/624

10. Richa, Elie. Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains.

Degree: Docteur es, Informatique et réseaux, 2015, Paris, ENST

Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le… (more)

Subjects/Keywords: Génération automatique de code; Analyse de transformations de modèles; Test; Langage ATL; OCL; Transformation algébrique de graphe; Graphes imbriqués; Plus faible précondition; Oracles de tests model-to-text; Automatic code generation; Analysis of model transformations; Test; ATL language; OCL Object Constraint Language; Algebraic graph transformation; Nested graphs; Weakest precondition; Model-to-text test oracles

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Richa, E. (2015). Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Doctoral Dissertation). Paris, ENST. Retrieved from http://www.theses.fr/2015ENST0082

Chicago Manual of Style (16th Edition):

Richa, Elie. “Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains.” 2015. Doctoral Dissertation, Paris, ENST. Accessed January 17, 2020. http://www.theses.fr/2015ENST0082.

MLA Handbook (7th Edition):

Richa, Elie. “Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains.” 2015. Web. 17 Jan 2020.

Vancouver:

Richa E. Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains. [Internet] [Doctoral dissertation]. Paris, ENST; 2015. [cited 2020 Jan 17]. Available from: http://www.theses.fr/2015ENST0082.

Council of Science Editors:

Richa E. Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles : Qualification of source code generators in the avionics domain : automated testing of model transformation chains. [Doctoral Dissertation]. Paris, ENST; 2015. Available from: http://www.theses.fr/2015ENST0082

11. Boulil, Kamal. Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field.

Degree: Docteur es, Informatique, 2012, Université Blaise-Pascale, Clermont-Ferrand II

Les systèmes d'Entrepôts de Données et OLAP spatiaux (EDS et SOLAP) sont des technologies d'aide à la décision permettant l'analyse multidimensionnelle de gros volumes de… (more)

Subjects/Keywords: OLAP Spatial; Entrepôt de Données Spatiales; Qualité de Données; Qualité d'Agrégation de Données; Qualité d'Exploration SOLAP; Modélisation Multidimensionnelle; Profil UML; Langage de Contraintes Objet; Génération de Code; Spatial OLAP; Spatial Data Warehouse; Data Quality; Data Aggregation Quality; SOLAP Exploration Quality; Multidimensional Modelling; UML Profile; Object Constraint Language; Code Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boulil, K. (2012). Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2012CLF22285

Chicago Manual of Style (16th Edition):

Boulil, Kamal. “Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field.” 2012. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed January 17, 2020. http://www.theses.fr/2012CLF22285.

MLA Handbook (7th Edition):

Boulil, Kamal. “Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field.” 2012. Web. 17 Jan 2020.

Vancouver:

Boulil K. Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. [cited 2020 Jan 17]. Available from: http://www.theses.fr/2012CLF22285.

Council of Science Editors:

Boulil K. Une approche automatisée basée sur des contraintes d’intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : applications dans le domaine agri-environnemental : An automated approach based on integrity constraints defined in UML and OCL for the verification of logical consistency in SOLAP systems : applications in the agri-environmental field. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. Available from: http://www.theses.fr/2012CLF22285

.