Thematische Bibliographien / DSML(Domain Specific Modeling language) / Dissertationen
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: DSML(Domain Specific Modeling language).

Dissertationen zum Thema „DSML(Domain Specific Modeling language)“

Autor: Grafiati
Veröffentlicht am 4. Juni 2021
Zuletzt aktualisiert am 18. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-46 Dissertationen für die Forschung zum Thema "DSML(Domain Specific Modeling language)" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Azari, Leila. "Domain Specific Modeling Support for ArCon." Thesis, Linköpings universitet, Programvara och system, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-102687.

Der volle Inhalt der Quelle
Annotation:
One important phase in software development process is to create a design model of the system which follows all the architectural rules. Often the architectural rules are defined by the system architect and the system model is designed by the system designer. The architect defines the rules in a text file where no standard or pattern is followed. Therefore, there is always the risk of violating the architectural rules by the designer. So manual reviews on the system model should be done by the architect to ensure the system model is valid.In order to remove this manual checking which can be er
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Rahman, Anisur. "A Domain-Specific Language for Traceability in Modeling." Thesis, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/24346.

Der volle Inhalt der Quelle
Annotation:
Requirements are a key aspect of software development. Requirements are also related with other software artefacts including designs, test cases and documentation. These artefacts are often captured with specialized models. However, many tools lack support for traceability relationships between requirements artefacts and model artefacts, leading to analysis issues. To establish traceability between models and other types of requirements artefacts, this thesis proposes a new Domain-Specific Language (DSL) for describing the concepts of a modeling language that would be intended to be traced usi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Al, Jallad Mohannad. "REA Business Modeling Language : Toward a REA based Domain Specific Visual Language." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-121295.

Der volle Inhalt der Quelle
Annotation:
Resources Events Agents (REA) ontology is a profound business modeling ontology that was developed to define the architecture of accounting information systems. Nevertheless, REA did not manage to get the same attention as other business modeling ontologies. One reason of such abandon is the absence of a meaningful visual notation for the ontology, which has resulted in an abstruse ontology to non-academic audience. Another reason for this abandon is the fact that REA does not have a standard formal representation. This has resulted in a humble amount of researches which have focused on defini
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Vallejo, Paola. "Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC." Thesis, Brest, 2015. http://www.theses.fr/2015BRES0101/document.

Der volle Inhalt der Quelle
Annotation:
La conception d’un langage de modélisation pour domaine spécifique (DSML) implique la conception d’un outillage dédié qui met en oeuvre des fonctionnalités de traitement et d’analyse pour ce langage. Dans bien des cas, les fonctionnalités à mettre en oeuvre existent déjà , mais elles s’appliquent à des portions ou à des variantes du DSML que le concepteur manipule. Réutiliser ces fonctionnalités existantes est un moyen de simplifier la production de l’outillage d’un nouveau DSML. La réutilisation implique que les données du DSML soient adaptées afin de les rendre valides du point de vue de la
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Strakšys, Justinas. "Sričiai orientuotos informacinės sistemos kūrimo metodikos tyrimas ir taikymas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2009. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2009~D_20090304_095856-47494.

Der volle Inhalt der Quelle
Annotation:
Viena iš naujausių sistemų kūrimo metodikų – sričiai orientuotas modeliavimas (angl. domain specific modeling). Ji paremta sričiai orientuotos kalbos kūrimu ir jos panaudojimu sistemos kūrimui. Ši metodika leidžia sistemos kūrimui naudoti sąvokas, artimas probleminei sričiai, kas padidina abstrakcijos lygi projektavimo metu. Srities sąvokos aptariamos ir įvardinamos kartu su ekspertais ar paprastais darbuotojais, dirbančiais analizuojamoje srityje, ir nebūtinai išmanančiais sistemų kūrimo metodus. Ši metodika leidžia sistemos projektuotojui lengviau susikalbėti su užsakovais, nes modeliuose fi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Zalila, Faiez. "Methods and tools for the integration of formal verification in domain-specific languages." Phd thesis, Toulouse, INPT, 2014. http://oatao.univ-toulouse.fr/14159/1/zalila.pdf.

Der volle Inhalt der Quelle
Annotation:
Domain specific Modeling Languages (DSMLs) are increasingly used at the early phases in the development of complex systems, in particular, for safety critical systems. The goal is to be able to reason early in the development on these models and, in particular, to fulfill verification and validation activities (V and V). A widely used technique is the exhaustive behavioral model verification using model-checking by providing a translational semantics to build a formal model from DSML conforming models in order to reuse powerful tools available for this formal domain. Defining a translational s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Fernandes, Sergio Martins. "Catálogo de modelos de computação para o desenvolvimento de linguagens específicas de modelagem de domínio." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-021553/.

Der volle Inhalt der Quelle
Annotation:
Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (t
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Bousse, Erwan. "Execution trace management to support dynamic V&V for executable DSMLs." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S082/document.

Der volle Inhalt der Quelle
Annotation:
Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Özgür, Turhan. "Comparison of Microsoft DSL Tools and Eclipse Modeling Frameworks for Domain-Specific Modeling in the context of Model-Driven Development." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2009.

Der volle Inhalt der Quelle
Annotation:
Today it is realized by industry that automation of software development leads to increased productivity, maintainability and higher quality. Model-Driven Development (MDD) aims to replace manual software development methods by automated methods using Domain-Specific Languages (DSLs) to express domain concepts effectively. Main actors in software industry, Microsoft and IBM have recognized the need to provide technologies and tools to allow building DSLs to support MDD. On the one hand, Microsoft is building DSL Tools integrated in Visual Studio 2005; on the other hand IBM is contributing to t
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Wasilewski, Dominik. "Modeling of Enterprise Portals with Domain-Specific Language." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2343.

Der volle Inhalt der Quelle
Annotation:
Enterprise portals are comprehensive solutions that enable centralized access to information and employees. They also support the business processes taking place in companies. The diversity of functionality offered by enterprise portals is the source of the complexity of the manufacturing process of such applications. Domain-Specific Languages (DSL) are a novel approach to solving problems associated with the software development. By limiting the possibilities of expression to the concepts related to a specific area Domain-Specific Languages are more focused on solving specific problems. The s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Zhang, Yanpeng, and Ce Zhou. "Introducing Domain Specific Language for Modeling Scrum Projects." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-13328.

Der volle Inhalt der Quelle
Annotation:
Context. A clear software process definition is important because it can help developers to share a common understanding and improve the development effectiveness. However, if the misconceptions or misunderstandings are introduced to the team during the process definition, it will bring numerous uncertain problems to the projects and reduce the productivity. Scrum is one of the most popular Agile development processes. It has been frequently used in software development. But the misunderstanding of usage of the Scrum method always leads to situations where teams cannot achieve the hyper-produc
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Silveira, Maicon Bernardino da. "Canopus : a domain-specific language for modeling performance testing." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2016. http://tede2.pucrs.br/tede2/handle/tede/6861.

Der volle Inhalt der Quelle
Annotation:
Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-27T18:05:50Z No. of bitstreams: 1 TES_MAICON_BERNARDINO_DA_SILVEIRA_COMPLETO.pdf: 10974858 bytes, checksum: f8d942c9c91dfd41b28bf30123b91644 (MD5)<br>Made available in DSpace on 2016-07-27T18:05:50Z (GMT). No. of bitstreams: 1 TES_MAICON_BERNARDINO_DA_SILVEIRA_COMPLETO.pdf: 10974858 bytes, checksum: f8d942c9c91dfd41b28bf30123b91644 (MD5) Previous issue date: 2016-03-07<br>Performance is a fundamental quality of software systems. Performance testing is a technique able to reveal system bottlenecks and/or lac
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Vara, Larsen Matias. "B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages." Thesis, Nice, 2016. http://www.theses.fr/2016NICE4013/document.

Der volle Inhalt der Quelle
Annotation:
Les appareils modernes sont constitués de plusieurs sous-systèmes de différentes sortes qui communiquent et interagissent. L'hétérogénéité de ces sous-systèmes et leurs interactions complexes rendent très délicate leur développement. L'approche d'ingénierie dirigée par les modèles apporte une solution en permettant l'expression de nombreux modèles structurels et comportementaux de natures très diverses. Dans ce contexte, il est nécessaire de construire un modèle unique qui intègre ces différents modèles afin d'y appliquer des méthodes de validation et de vérification pour permettre aux ingénie
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Borror, Kaylynn Nicole. "Creating a Domain-Specific Modeling Language for Educational Card Games." Miami University / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=miami1626864894150672.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Nordgren, Isak, and Anton Sederlin. "Validating enterpriseLang : A Domain- Specific Language Derived from the Meta Attack Language Framework." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-302372.

Der volle Inhalt der Quelle
Annotation:
Enterprise data systems are continuously growing in complexity and size. The attack area of these systems has increased and introduced new vulnerabilities a potential adversary could exploit. Evaluating cyber security in enterprise IT infrastructure is difficult and expensive. Recently, a new threat modeling language was proposed for enterprise systems based on the MITRE Enterprise ATT&amp;CK Matrix, namely enterpriseLang. This language is a domain- specific language built on the Meta Attack Language (MAL) framework. The purpose of enterpriseLang is to enable a simplified and cost- effective e
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Umar, Mariam. "Energy and Performance Models Enabling Design Space Exploration using Domain Specific Languages." Diss., Virginia Tech, 2018. http://hdl.handle.net/10919/95563.

Der volle Inhalt der Quelle
Annotation:
With the advent of exascale architectures maximizing performance while maintaining energy consumption within reasonable limits has become one of the most critical design constraints. This constraint is particularly significant in light of the power budget of 20 MWatts set by the U.S. Department of Energy for exascale supercomputing facilities. Therefore, understanding an application's characteristics, execution pattern, energy footprint, and the interactions of such aspects is critical to improving the application's performance as well as its utilization of the underlying resources.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Tian, Hao. "A methodology for domain-specific conceptual data modeling and querying." restricted, 2007. http://etd.gsu.edu/theses/available/etd-02272007-140033/.

Der volle Inhalt der Quelle
Annotation:
Thesis (Ph. D.)--Georgia State University, 2007.<br>Rajshekhar Sunderraman, committee chair; Paul S. Katz, Yanqing Zhang, Ying Zhu, committee members. Electronic text (128 p. : ill.) : digital, PDF file. Description based on contents viewed Oct. 15, 2007; title from file title page. Includes bibliographical references (p. 124-128).
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Bordoni, Mirco. "Towards model driven software development for Arduino platforms: a DSL and automatic code generation." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/4082/.

Der volle Inhalt der Quelle
Annotation:
La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è st
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

Hahn, Christian Steven [Verfasser], and Jörg [Akademischer Betreuer] Siekmann. "A platform-independent domain-specific modeling language for multiagent systems / Christian Steven Hahn. Betreuer: Jörg Siekmann." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013. http://d-nb.info/1052779808/34.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Abedmouleh, Aymen. "Approche Domain-Specific Modeling pour l'opérationnalisation des scénarios pédagogiques sur les plateformes de formation à distance." Phd thesis, Université du Maine, 2013. http://tel.archives-ouvertes.fr/tel-01019917.

Der volle Inhalt der Quelle
Annotation:
Ce travail de recherche porte sur la spécification et l'opérationnalisation des scénarios pédagogiques sur les plateformes de formation à distance dans une perspective d'ingénierie et de réingénierie des EIAH (Environnements Informatique pour l'Apprentissage Humain). En se situant dans une approche centrée plateformes, nous supposons que les plateformes disposent de leur propre paradigme de conception. Pour cela, nous proposons aux développeurs et à la communauté de développement des plateformes un processus spécifique d'identification et d'explicitation du langage de conception pédagogique de
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

DiGennaro, Nicholas John. "Intuitive Model Transformations: A Guided Framework for Structural Modeling." Miami University / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=miami1618913067752324.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Theisselmann, Falko. "A Language-centered Approach to support environmental modeling with Cellular Automata." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2014. http://dx.doi.org/10.18452/16884.

Der volle Inhalt der Quelle
Annotation:
Die Anwendung von Methodiken und Technologien aus dem Bereich der Softwaretechnik auf den Bereich der Umweltmodellierung ist eine gemeinhin akzeptierte Vorgehensweise. Im Rahmen der "modellgetriebenen Entwicklung"(MDE, model-driven engineering) werden Technologien entwickelt, die darauf abzielen, Softwaresysteme vorwiegend auf Basis von im Vergleich zu Programmquelltexten relativ abstrakten Modellen zu entwickeln. Ein wesentlicher Bestandteil von MDE sind Techniken zur effizienten Entwicklung von "domänenspezifischen Sprachen"( DSL, domain-specific language), die auf Sprachmetamodellen beruhen
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Katsikeas, Sotirios. "vehicleLang: a probabilistic modeling and simulation language for vehicular cyber attacks." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-232182.

Der volle Inhalt der Quelle
Annotation:
The technological advancements in the automotive industry as well as in thefield of communication technologies done the last years have transformed thevehicles to complex machines that include not only electrical and mechanicalcomponents but also a great number of electronic components. Furthermore,modern vehicles are now connected to the Wide Area Network (WAN) and inthe near future communications will also be present between the cars (Vehicleto-Vehicle, V2V) and between cars and infrastructure (Vehicle-to-Infrastructure, V2I), something that can be found as Internet of Vehicles (IoV)in the l
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

Lima, Rafael de. "CatchML: a modeling language for context aware exception handling verification and specification in ubiquitous systems." Universidade Federal do CearÃ, 2013. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13871.

Der volle Inhalt der Quelle
Annotation:
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico<br>In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error re
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

DINIZ, Herbertt Barros Mangueira. "Linguagem específica de domínio para abstração de solução de processamento de eventos complexos." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/18030.

Der volle Inhalt der Quelle
Annotation:
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-10-31T12:04:21Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DissertacaoHerbertt_CIN_UFPE.pdf: 3162767 bytes, checksum: 3208dfce28e7404730479384c2ba99a0 (MD5)<br>Made available in DSpace on 2016-10-31T12:04:21Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DissertacaoHerbertt_CIN_UFPE.pdf: 3162767 bytes, checksum: 3208dfce28e7404730479384c2ba99a0 (MD5) Previous issue date: 2016-03-04<br>Cada vez mais se evidenci
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

Vladimir, Vujović. "Modelom upravljani razvoj arhitekture Senzor Veb mreža." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2016. https://www.cris.uns.ac.rs/record.jsf?recordId=99968&source=NDLTD&language=en.

Der volle Inhalt der Quelle
Annotation:
Primjena Internet protokola u uređajima sa ograničenim resursima, dovodi do radikalne promjene Interneta i pojave potpuno novog koncepta pod nazivom Internet stv&acirc;ri &ndash; Internet of Things (IoT), čiji je jedan od osnovnih gradivnih elemenata Senzor Web (SW) čvor. SW čvor predstavlja elementarni &ldquo;resurs&rdquo; u SW mreži koja se po svojoj prirodi može posmatrati kao nestrukturirana kolekcija gradivnih elemenata koji se mogu dinamički orkestrirati u virtuelne klastere, odnosno u arhi-tekturu. Cilj disertacije predstavlja unapređenje procesa razvoja arhitekture sistema baziranih na
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

Gani, Kahina. "Using timed automata formalism for modeling and analyzing home care plans." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22628/document.

Der volle Inhalt der Quelle
Annotation:
Dans cette thèse nous nous sommes intéressés aux problèmes concernant la conception et la gestion des plans de soins à domicile. Un plan de soins à domicile définit l'ensemble des activités médicales et/ou sociales qui sont menées jour après jour au domicile d'un patient. Ce plan de soins est généralement construit à travers un processus complexe impliquant une évaluation complète des besoins du patient ainsi que son environnement social et physique. La spécification de plans de soins à domicile est difficile pour plusieurs raisons: les plans de soins à domicile sont par nature des processus n
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

Kühnlenz, Frank. "Design und Management von Experimentier-Workflows." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2014. http://dx.doi.org/10.18452/17071.

Der volle Inhalt der Quelle
Annotation:
Experimentieren in der vorliegenden Arbeit bedeutet, Experimente auf der Basis von computerbasierten Modellen durchzuführen, wobei diese Modelle Struktur, Verhalten und Umgebung eines Systems abstrahiert beschreiben. Aus verschiedenen Gründen untersucht man stellvertretend für das System ein Modell dieses Systems. Systematisches Experimentieren bei Variation der Modelleingabeparameterbelegung führt in der Regel zu sehr vielen, potentiell lang andauernden Experimenten, die geplant, dokumentiert, automatisiert ausgeführt, überwacht und ausgewertet werden müssen. Häufig besteht dabei das Pr
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Lee, Jin Kook. "Building environment rule and analysis (BERA) language and its application for evaluating building circulation and spatial program." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/39482.

Der volle Inhalt der Quelle
Annotation:
This study aims to design and implement a domain-specific computer programming language: the Building Environment Rule and Analysis (BERA) Language. As a result of the growing area of Building Information Modeling (BIM), there has been a need to develop highly customized domain-specific programming languages for handling issues in building models in the architecture, engineering and construction (AEC) industry. The BERA Language attempts to deal with building information models in an intuitive way in order to define and analyze rules in design stages. The application of the BERA Language aims
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Ridene, Youssef. "Ingéniérie dirigée par les modèles pour la gestion de la variabilité dans le test d'applications mobiles." Thesis, Pau, 2011. http://www.theses.fr/2011PAUU3010/document.

Der volle Inhalt der Quelle
Annotation:
L'engouement du grand public pour les applications mobiles, dont le nombre ne cessede croître, a rendu les utilisateurs de plus en plus exigeants quant à la qualité de cesapplications. Seule une procédure de test efficace permet de répondre à ces exigences.Dans le contexte des applications embarquées sur téléphones mobiles, le test est unetâche coûteuse et répétitive principalement à cause du nombre important de terminauxmobiles qui sont tous différents les uns des autres.Nous proposons dans cette thèse le langage MATeL, un DSML (Domain-Specific ModelingLanguage) qui permet de d’écrire des scé
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

PINTO, Hedvan Fernandes. "Autoria de e-books Interativos: modelo conceitual fábulas e requisitos." Universidade Federal do Maranhão, 2017. https://tedebc.ufma.br/jspui/handle/tede/tede/2010.

Der volle Inhalt der Quelle
Annotation:
Submitted by Daniella Santos (daniella.santos@ufma.br) on 2017-11-23T13:50:49Z No. of bitstreams: 1 HedvanPinto.pdf: 2328772 bytes, checksum: d8b425eaee2ff4849509ead942f907ee (MD5)<br>Made available in DSpace on 2017-11-23T13:50:49Z (GMT). No. of bitstreams: 1 HedvanPinto.pdf: 2328772 bytes, checksum: d8b425eaee2ff4849509ead942f907ee (MD5) Previous issue date: 2017-04-24<br>Nowadays, tablet and smartphones are commonly used by children for both entertainment and education. Interactive e-book for mobile devices offer a enhanced experience when compared to traditional books, being potentially
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Dunlap, Ralph S. "Effective reuse of coupling technologies for Earth System Models." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/48943.

Der volle Inhalt der Quelle
Annotation:
Designing and implementing coupled Earth System Models (ESMs) is a challenge for climate scientists and software engineers alike. Coupled models incorporate two or more independent numerical models into a single application, allowing for the simulation of complex feedback effects. As ESMs increase in sophistication, incorporating higher fidelity models of geophysical processes, developers are faced with the issue of managing increasing software complexity. Recently, reusable coupling software has emerged to aid developers in building coupled models. Effective reuse of coupling infrastructure
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

Freitas, Leandro Alexandre. "Programação de espaços inteligentes utilizando modelos em tempo de execução." Universidade Federal de Goiás, 2017. http://repositorio.bc.ufg.br/tede/handle/tede/7353.

Der volle Inhalt der Quelle
Annotation:
Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-05-19T17:39:41Z No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-05-22T10:42:45Z (GMT) No. of bitstreams: 2 Tese - Leandro Alexandre Freitas - 2017.pdf: 10640805 bytes, checksum: 61b69f91cb32e17075d698eecf19b8c4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made a
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Borelli, Helberth. "Uma linguagem de modelagem de domínio específico para linhas de produto de software dinâmicas." Universidade Federal de Goiás, 2016. http://repositorio.bc.ufg.br/tede/handle/tede/5893.

Der volle Inhalt der Quelle
Annotation:
Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-08-09T16:58:08Z No. of bitstreams: 2 Dissertação - Helberth Borelli - 2016.pdf: 5479597 bytes, checksum: c182a5a918e2fda8bf310ba47bc494e4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-10T11:31:18Z (GMT) No. of bitstreams: 2 Dissertação - Helberth Borelli - 2016.pdf: 5479597 bytes, checksum: c182a5a918e2fda8bf310ba47bc494e4 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made available
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Noyrit, Florian. "Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML." Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112224.

Der volle Inhalt der Quelle
Annotation:
Les divers intervenants qui décrivent, étudient et réalisent un système complexe ont besoin de points de vue adaptés à leurs préoccupations. Cependant, dans le contexte de l’Ingénierie Dirigée par les Modèles, les moyens pour définir et mettre en œuvre ces points de vue sont, soit trop rigides et inadaptées, soit totalement ad hoc. De plus, ces différents points de vue sont rarement indépendants les uns des autres. Dès lors, il faut s’attacher à identifier puis décrire les liens/les correspondances qui existent entre les points de vue pour enfin pouvoir vérifier que les réponses apportées par
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

Monthe, Djiadeu Valéry Marcial. "Développement des systèmes logiciels par transformation de modèles : application aux systèmes embarqués et à la robotique." Thesis, Brest, 2017. http://www.theses.fr/2017BRES0113/document.

Der volle Inhalt der Quelle
Annotation:
Avec la construction des robots de plus en plus complexes, la croissance des architectures logicielles robotiques et l’explosion de la diversité toujours plus grande des applications et misions des robots, la conception, le développement et l’intégration des entités logicielles des systèmes robotiques, constituent une problématique majeure de la communauté robotique. En effet, les architectures logicielles robotiques et les plateformes de développement logiciel pour la robotique sont nombreuses, et sont dépendantes du type de robot (robot de service, collaboratif, agricole, médical, etc.) et d
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

Koussaifi, Maroun. "Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant." Thesis, Toulouse 3, 2020. http://www.theses.fr/2020TOU30212.

Der volle Inhalt der Quelle
Annotation:
L'intelligence ambiante vise à offrir à un utilisateur humain des applications et des services personnalisés et adaptés à la situation courante. L'environnement ambiant, dans lequel cet humain est plongé, est composé d'un ensemble d'objets connectés et de composants logiciels qui sont des briques de base pour la construction d'applications par composition. La disponibilité de ces composants peut varier dynamiquement, en cas de mobilité par exemple. Ceux-ci peuvent apparaître ou disparaître de manière non anticipée. De plus, dans ces environnements dynamiques et ouverts, le besoin de l'utilisat
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Kollmansberger, Steven. "A domain-specific embedded language for probabilistic programming." Thesis, 2005. http://hdl.handle.net/1957/696.

Der volle Inhalt der Quelle
Annotation:
Graduation date: 2006<br>Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific languages, and builds on these ideas to construct a domain-specific embedded language (DSEL) for probabilistic programming in a purely functional language. This DSEL is then applied in a real-world setting to develop an appl
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

Miranda, Tomás Rogeiro Brochado de. "Software Language Engineering: Interaction and Usability Modeling of Language Editors." Master's thesis, 2017. http://hdl.handle.net/10362/29841.

Der volle Inhalt der Quelle
Annotation:
Background: Domain-Specific Languages (DSLs) are programming languages created to a specific domain that a user has pre-conceived. Multi-Agent Systems (MAS) represent a set of systems interacting within an environment, in which many intelligent agents interact with each other. Usability is a property of something that is "capable of being used"and "convenient and practicable for use". Barišic et al. introduced a conceptual framework that supports the iterative development process of DSLs concerning the usability evaluation. Semantic Web Enabled Agent Modeling Language (SEA_ML) is a DSL that su
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Zhang, Hehua. "Domain-specific modeling and verification language EDOLA." Phd thesis, 2009. http://tel.archives-ouvertes.fr/tel-00516709.

Der volle Inhalt der Quelle
Annotation:
With the widely use of software technique in everyday applications, the correctness of software becomes more and more important. Formal verification is an important method to improve the correctness of software. However, it mainly takes formal languages as its modeling languages, which are based on mathematical logic, automata or graph theory, hard for learning and domain description. That hinders the applications of formal verification in industry. This dissertation investigates the design and practice of domain modeling and verification language EDOLA, to possess all the features of the usab
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Lv, Zong-Long, and 呂宗龍. "A Modeling Language of Domain Specific Editors Based on Graphical Modeling Framework." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/98502764393629571311.

Der volle Inhalt der Quelle
Annotation:
碩士<br>國立政治大學<br>資訊科學學系<br>95<br>The availability of a visual graphical editor for a target domain is the prerequisite of visual graphical modeling, which has been adopted by classical software development for decades and is especially emphasized in today's model-driven engineering. However, compared with traditional textual editors, developing a visual graphical editor from scratch is not an easy work. As a result, there were frameworks developed such as GEF and GMF aimed to simplify the construction of graphical editors. Even so, however, it is still though hard for an average programmer to c
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

Nair, Arvind. "Integrating recommender systems into domain specific modeling tools." Thesis, 2017. https://doi.org/10.7912/C2JH2B.

Der volle Inhalt der Quelle
Annotation:
Indiana University-Purdue University Indianapolis (IUPUI)<br>This thesis investigates integrating recommender systems into model-driven engineering tools powered by domain-specific modeling languages. The objective of integrating recommender systems into such tools is overcome a shortcoming of proactive modeling where the modeler must inform the model intelligence engine how to progress when it cannot automatically determine the next modeling action to execute (e.g., add, delete, or edit). To evaluate our objective, we integrated a recommender system into the Proactive Modeling Engine, w
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

Santos, André L. "Domain-Oriented Reuse Interfaces for Object-Oriented Frameworks." Master's thesis, 2009. http://hdl.handle.net/10451/14303.

Der volle Inhalt der Quelle
Annotation:
Object-oriented frameworks play an important role in current software engineering practice. Frameworks enable the development of several applications in a particular domain with high levels of reuse. However, although frameworks are a powerful means for software reuse, their reuse interface is typically difficult to learn, a problem which hinders their full potential. Different strategies can be used to overcome this problem, namely by developing documentation, instantiation tools, or a domain-specific language (DSL). Although DSLs provide the most effective support for using a framework, deve
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Bibbó, Luis Mariano. "Modelado de sistemas colaborativos." Tesis, 2009. http://hdl.handle.net/10915/4153.

Der volle Inhalt der Quelle
Annotation:
La tesis propone un lenguaje específico de dominio (DSL) para modelar Sistemas Colaborativos (CSSL - Collaborative Software System Language). Este lenguaje fue diseñado como una extensión de UML usando el mecanismo de metamodelado y posee una sintaxis abstracta formalizada que permitirá entre otras cosas definir más de una sintaxis concreta a partir de ella, lo cual aumenta la legibilidad y flexibilidad del lenguaje. Finalmente se presenta una guía que facilita la construcción de Sistemas Colaborativos. Dentro del paradigma MDD (Model Driven Development) y utilizando el lenguaje CSSL se descri
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

Pereira, Carlos António Senra. "Modelação e prototipagem de ChatBots." Master's thesis, 2018. http://hdl.handle.net/1822/65020.

Der volle Inhalt der Quelle
Annotation:
Relatório de estágio de mestrado em Matemática e Computação<br>Genericamente, ChatBots são programas que interagem com utilizadores humanos através de linguagens naturais. Os ChatBots podem ser criados com objetivos muito diversos, como por exemplo manter uma conversa “inteligente” com um humano, ou prestar serviços em algum domínio concreto, como seja atender chamadas num call-center, reencaminhado-as para um operador. Dada a heterogeneidade dos ChatBots, é importante identificar os seus princípios gerais de organização e de funcionamento. Neste trabalho foi desenvolvida uma proposta or
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

CHIPRIANOV, Vanea. "Collaborative Construction of Telecommunications Services. An Enterprise Architecture and Model Driven Engineering Method." Phd thesis, 2012. http://tel.archives-ouvertes.fr/tel-00719634.

Der volle Inhalt der Quelle
Annotation:
In the context of world economies transitioning to services, telecommunications services are the primary means of communication between different economic entities and are therefore essential. The focus on the end consumer, the convergence with the Internet, the separation between the software and the hardware implementing a service, and the telecommunications market deregulation have led to a revolution and a new era in the telecommunications industry. To meet these challenges, former national telecommunications providers have to reduce the construction time, from months to days, while affect
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "DSML(Domain Specific Modeling language)" für andere Quellenarten können Sie auch interessieren:
Zeitschriftenartikel
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie