Relevant bibliographies by topics / Audit / model-driven development / UML

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Audit / model-driven development / UML'

Author: Grafiati
Published: 4 June 2021
Last updated: 18 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Audit / model-driven development / UML.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Audit / model-driven development / UML"

1

Selic, B. "UML 2: A model-driven development tool." IBM Systems Journal 45, no. 3 (2006): 607–20. http://dx.doi.org/10.1147/sj.453.0607.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Martínez, Jesús, Pedro Merino, Alberto Salmerón, and Francisco Malpartida. "UML-Based Model-Driven Development for HSDPA Design." IEEE Software 26, no. 3 (May 2009): 26–33. http://dx.doi.org/10.1109/ms.2009.81.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Górski, Tomasz, and Mateusz Sowa. "Konstrukcja diagramu klas UML z zastosowaniem Model-Driven Development." Bulletin of the Military University of Technology 65, no. 1 (March 31, 2016): 111–29. http://dx.doi.org/10.5604/12345865.1197989.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

France, R. B., S. Ghosh, T. Dinh-Trong, and A. Solberg. "Model-Driven Development Using UML 2.0: Promises and Pitfalls." Computer 39, no. 2 (February 2006): 59–66. http://dx.doi.org/10.1109/mc.2006.65.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Vera, Pablo Martin. "Component Based Model Driven Development." International Journal of Information Technologies and Systems Approach 8, no. 2 (July 2015): 80–100. http://dx.doi.org/10.4018/ijitsa.2015070106.

Full text
Abstract:
Current MDD methodologies are complex to use and require doing lots of models and configurations. Usually after all that effort only some part of the application source code can be automatically created. It would be desirable to have a more simple technique, but powerful enough for automatically creating a fully functional application. This works introduces a component based model driven development approach where a set of user interface components will be configured to define system behavior. Component configuration will be direct, simple and supported by a modeling tool which also includes automatic transformations for reducing the modeling task. The methodology requires the designer to build only two models: a class diagram, representing the data model of the application and a component diagram defining the user interface and the system navigation. Both components are based on UML extended with stereotypes and tagged values allowing configuring the system behavior.
APA, Harvard, Vancouver, ISO, and other styles
6

Bouhaouel, Rim, Naoufel Kraïem, and Zuhoor Al-Khanjari. "Labeled UML model fragments composition by the SPL strategy." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 10, no. 10 (September 25, 2013): 2049–56. http://dx.doi.org/10.24297/ijct.v10i10.1197.

Full text
Abstract:
The software community intends to make use of a standard approach for the software development to not build software product from scratch. This approach ensures a high quality of software with a controllable cost. It affects the whole process of the software development, especially in the early phases e.g. analysis and design. One of the most widespread language to modulate and document those two stages is UML (Unified Modeling Language), but the reuse of the UML model is used in ad-hoc method so why do not build a systematic method for reusing some fragments of UML? To realize it, we need to adopt a reuse approach, so we choose the software product line (SPL), based in collecting variability of the domain (in our case is UML). In fact, UML and SPL have a common issue is the model driven engineering, since both of them based on the modeling approach. This paper overviews the different areas of UML and explains the process of software Product line with its born issues to wit: MDE (Model Driven Engineering) and MDA (Model Driven Architect).
APA, Harvard, Vancouver, ISO, and other styles
7

WEISE, THOMAS, MICHAEL ZAPF, MOHAMMAD ULLAH KHAN, and KURT GEIHS. "COMBINING GENETIC PROGRAMMING AND MODEL-DRIVEN DEVELOPMENT." International Journal of Computational Intelligence and Applications 08, no. 01 (March 2009): 37–52. http://dx.doi.org/10.1142/s1469026809002436.

Full text
Abstract:
Genetic programming (GP) is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In most cases it is a hardwired module of a design framework assisting the engineer in optimizing specific aspects in system development. In this article, we show how the utility of GP can be increased remarkably by isolating it as a component and integrating it into the model-driven software development process. Our GP framework produces XMI-encoded UML models that can easily be loaded into widely available modeling tools, which in turn offer code generation as well as additional analysis and test capabilities. We use the evolution of a distributed election algorithm as an example to illustrate how GP can be combined with model-driven development (MDD).
APA, Harvard, Vancouver, ISO, and other styles
8

Knapp, Alexander, Nora Koch, Martin Wirsing, and Gefei Zhang. "UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications)." i-com 6, no. 3/2007 (January 2008): 5–12. http://dx.doi.org/10.1524/icom.2007.6.3.5.

Full text
Abstract:
ZusammenfassungUWE (UML-based Web Engineering) ist ein Ansatz zur modellgetriebenen Entwicklung von Websystemen. Die UWE-Notation ist speziell an die intuitive Modellierung von Webanwendungen angepasst; UWE umfasst einen werkzeugunterstützten Entwicklungsprozess für die semi-automatische Konstruktion von Webanwendungen; und UWE-Modelle ermöglichen eine frühzeitige Validierung. Eines der Hauptcharakteristika von UWE ist seine Verwendung von etablierten Standards: Die Modellierungssprache basiert auf UML und einer UML-Erweiterung, einem so genannten UML-Profil. Dieses Profil ist als eine konservative Erweiterung des UML-Metamodells definiert, wodurch die Verwendung bestehender Modellierungswerkzeuge und deren Erweiterungen ermöglicht wird. Der UWE-Prozess wendet die Model-Driven-Architecture (MDA)-Prinzipien auf die Entwicklung von Webanwendungen an, Modelle und Modelltransformationen bilden den primären Fokus.
APA, Harvard, Vancouver, ISO, and other styles
9

Lu, Fa, Ke Wei Yang, Shu Teng Zhang, and Guo Xiong Zhan. "Application of Executable UML Technology for Verification of Armored Vehicle Information System Model." Applied Mechanics and Materials 602-605 (August 2014): 1324–28. http://dx.doi.org/10.4028/www.scientific.net/amm.602-605.1324.

Full text
Abstract:
Executable UML is one of development directions of Model Driven Architecture (MDA). Executable UML is committed to the automatic code generation from UML model. The simulation and testing of the model is realized either by compiling the model or by executing the code it generate. For solving the problem that how to confirm the correctness of executable model, this paper researches the mechanism of executable UML model and explore a verification method based on executable UML. Finally, researches how to apply the executable mechanism of Executable UML to the design and verification of Armored Vehicle Information System (AVIS) through an imaginary combat mission scenario.
APA, Harvard, Vancouver, ISO, and other styles
10

Austrem, Paul G. "A Comparative Study of the EUREQA Tool for End-User Development." International Journal of Information System Modeling and Design 3, no. 3 (July 2012): 66–87. http://dx.doi.org/10.4018/jismd.2012070104.

Full text
Abstract:
End-user development is a growing domain; however, few dedicated end-user development tools exist allowing end-users to incorporate their domain knowledge into software solutions. EUREQA is a design pattern driven UML class diagram modeling tool allowing end-user developers to create UML class diagram models reflecting their domain knowledge. The UML class diagram can be used as a basis for model-driven development. EUREQA was evaluated with 20 participants recording data through direct observation, screen recordings, the think-aloud protocol and semi-structured interviews. Half of the participants used EUREQA and the other half used the Microsoft Visio modeling tool. The authors found that EUREQA participants scored higher than Visio participants for this task and that skill had less effect on the EUREQA participants’ solutions. Specifically inexperienced EUREQA users struggled less when working with UML class diagram elements compared to Visio participants.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Audit / model-driven development / UML"

1

Hoisl, Bernhard, and Mark Strembeck. "A UML Extension for the Model-driven Specification of Audit Rules." Springer, 2012. http://epub.wu.ac.at/3820/1/paper2.pdf.

Full text
Abstract:
In recent years, a number of laws and regulations (such as the Basel II accord or SOX) demand that organizations record certain activities or decisions to fulfill legally enforced reporting duties. Most of these regulations have a direct impact on the information systems that support an organization's business processes. Therefore, the definition of audit requirements at the modeling-level is an important prerequisite for the thorough implementation and enforcement of corresponding policies in a software system. In this paper, we present a UML extension for the specification of audit properties. The extension is generic and can be applied to a wide variety of UML elements. In a model-driven development (MDD) approach, our extension can be used to generate corresponding audit rules via model transformations. (author's abstract)
APA, Harvard, Vancouver, ISO, and other styles
2

Vitiutinas, Ruslanas. "Model driven development of plug-ins for UML based modeling tools." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20110808_111443-92074.

Full text
Abstract:
This dissertation presents the principles and examples for building AMI for UML-based modeling environments. Modelers may use proposed AMI interface to extend UML modeling tools by modeling plug-ins using modeling tools itself. The work discusses four cases of AMI realization implemented in MagicDraw UML. Moreover, the proposed AMI implementation might be realized in other modeling tools that provide API and access to the model elements via standard UML metamodel interfaces. The ideas and results of this dissertation can be directly applied in numerous UML modeling tools available in the market. Although the focus in this dissertation is on UML modeling tools, many ideas are also applicable in other software systems that are developed using model driven approach.
Šiame darbe yra pristatoma modeliavimu grindžiama praplėtimo sąsaja, kurią siūloma vadinti aplikacijos modeliavimo sąsaja (angl. Application Modeling Interface, AMI). Modeliuotojai, naudodami siūlomą aplikacijos modeliavimo sąsają, gali kurti UML įrankių įskiepius juos modeliuodami pačių UML įrankių pagalba. Darbe taip pat nagrinėjamas aplikacijos modeliavimo sąsajos apibrėžimo ir realizavimo UML įrankiuose aspektai.
APA, Harvard, Vancouver, ISO, and other styles
3

Sarstedt, Stefan. "Semantic foundation and tool support for model-driven development with UML 2 activity diagrams." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-56434.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Abdelzad, Vahdat. "Promoting Traits into Model-Driven Development." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36246.

Full text
Abstract:
Traits are primitive units of code reuse that serve as building blocks of classes. In this research, we enhance reuse by extending the capabilities of traits; in particular, we add modeling abstractions to them. Traits have a variety of benefits, including facilitating reuse and separation of concerns. They have appeared in several programming languages, particularly derivatives of Smalltalk. However, there is still no support for traits that contain modeling abstractions, and no straightforward support for them in general-purpose programming languages. The latter is due to structural concerns that exist for them at runtime, especially traits that contain modeling abstractions. Model-driven technologies are making inroads into the development community, albeit slowly. Modeling abstractions such as state machines and associations provide new opportunities for reuse, and can be combined with inheritance for even greater reusability. However, issues with inheritance apply also when these new abstractions are inheritable units. This suggests that traits and models ought to be able to be synergistically combined. We perform a comprehensive analysis of using modeling elements in traits. We implement such traits in Umple, which is a model-oriented programming language that permits embedding of programming concepts into models. The contributions of the thesis are: a) Adding new elements including state machines and associations into traits, hence bringing more reusability, modularity, and applications to traits; b) Developing an algorithm that allows reusing, extending, and composing state machines through traits; c) Extending traits with required interfaces so dependencies at the semantic level become part of their usage, rather than simple syntactic capture; d) Adding template parameters with associations in traits, offering new applications for traits in which it is possible to define design patterns and to have a library of most-used functionality; e) The implementation of all the above concepts, including generating code in multiple general-purpose programming languages through automatic model transformation.
APA, Harvard, Vancouver, ISO, and other styles
5

demirci, özlem. "Development of MBSE/UML Maturity Model." Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Data- och elektroteknik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-13159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fatolahi, Ali. "An Abstract Meta-model for Model Driven Development of Web Applications Targeting Multiple Platforms." Thèse, Université d'Ottawa / University of Ottawa, 2012. http://hdl.handle.net/10393/23262.

Full text
Abstract:
In this thesis, we present an abstract meta-model for model driven development of web applications targeting multiple platforms. We review the existing technologies and the related work in order to obtain a list of requirements for such an abstract model. The abstract model is built by extending an existing UML-based model for web applications. We demonstrate that it is possible to map this abstract model to more than one specific development platform by providing transformations for these mappings. We also lay out the general outline of a model-driven process based on the proposed abstract model. The abstract model and the model-driven process are supported by a set of tools, case studies and a visual modeling notation. Model-driven techniques have been used in the area of web development to a great extent. Most of the existing approaches are tuned toward specific platforms or develop only certain parts of web applications. These approaches generally use meta-models adapted to their targeted platforms. In order to flexibly target multiple platforms, the level of abstraction of the meta-model must be raised. Such a meta-model must allow the description of relevant features of web applications independently from the specificities of specific platforms. Additionally, transformations mapping from abstract to specific web descriptions must be expressible in a flexible way. In this thesis, we propose such an abstract meta-model. Mappings that transform abstract models to specific platforms are also presented. Different benefits can be foreseen from this approach. By relieving developers from low-level platform-specific related design, the approach has the potential to shift the development task to issues related to business needs. Another benefit is shortened development time. This could help web developers to overcome the problem of schedule delays, which is recognized as one of the top five most-cited problems with large-scale web systems. The approach is specifically suitable for information-intensive web-based systems. These applications typically involve large data stores accessed through a web interface. A distinctive aspect of this approach is its use of a specification of the data mapping as part of its high-level input. More importantly, the common features required to process data and communicate data objects between different layers and components are targeted.
APA, Harvard, Vancouver, ISO, and other styles
7

Giachetti, Herrera Giovanni Andrés. "Supporting Automatic Interoperability in Model-Driven Development Processes." Doctoral thesis, Universitat Politècnica de València, 2011. http://hdl.handle.net/10251/11108.

Full text
Abstract:
By analyzing the last years of software development evolution, it is possible to observe that the involved technologies are increasingly focused on the definition of models for the specification of the intended software products. This model-centric development schema is the main ingredient for the Model-Driven Development (MDD) paradigm. In general terms, the MDD approaches propose the automatic generation of software products by means of the transformation of the defined models into the final program code. This transformation process is also known as model compilation process. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. Hence, models become the main actors of the MDD processes: the models are the new programming code. In this context, the interoperability can be considered a natural trend for the future of model-driven technologies, where different modeling approaches, tools, and standards can be integrated and coordinated to reduce the implementation and learning time of MDD solutions as well as to improve the quality of the final software products. However, there is a lack of approaches that provide a suitable solution to support the interoperability in MDD processes. Moreover, the proposals that define an interoperability framework for MDD processes are still in a theoretical space and are not aligned with current standards, interoperability approaches, and technologies. Thus, the main objective of this doctoral thesis is to develop an approach to achieve the interoperability in MDD processes. This interoperability approach is based on current metamodeling standards, modeling language customization mechanisms, and model-to-model transformation technologies. To achieve this objective, novel approaches have been defined to improve the integration of modeling languages, to obtain a suitable interchange of modeling information, and to perform automatic interoperability verification.
Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108
Palancia
APA, Harvard, Vancouver, ISO, and other styles
8

Waldemarin, Ricardo Cacheta. "Suporte ao desenvolvimento e à integração de ontologias no domínio biomédico." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/95/95131/tde-18112015-100645/.

Full text
Abstract:
O surgimento e o uso crescente de novas tecnologias têm levado à produção e armazenamento de grandes volumes de dados biomédicos. Tais dados são provenientes de diferentes técnicas, armazenados em formatos de representação diversos e utilizados por diferentes ferramentas. Esta heterogeneidade representa um empecilho ao maior uso desses dados em abordagens integrativas de pesquisa como, por exemplo, a biologia sistêmica. Neste cenário, artefatos de modelagem conceitual, tais como ontologias, têm sido utilizados para organizar e integrar dados heterogêneos de uma forma coerente. A OBO Foundry representa, atualmente, o maior esforço no desenvolvimento de ontologias biomédicas de forma colaborativa. Dentre as ontologias desenvolvidas pela OBO Foundry, destaca-se Ontologia de Relacionamentos (RO-OBO). A RO-OBO provê definições formais para um conjunto de relacionamentos de propósito geral utilizados nas ontologias biomédicas e busca promover a criação de ontologias mais corretas e integráveis. Um perfil UML foi proposto para representar formalmente o conjunto de conceitos e relacionamentos existentes na RO-OBO. Este perfil permite desenvolver modelos UML utilizando os conceitos presentes nesta ontologia, bem como torna possível o desenvolvimento de suporte à validação sintática dos modelos criados em relação a um conjunto de restrições formalmente definidas. Adicionalmente, percebe-se na literatura que o suporte à integração de modelos UML e ontologias OBO, em particular as ontologias representadas na linguagem OBO File Format, é limitado. Neste sentido, este trabalho teve como objetivo geral investigar o suporte ao desenvolvimento de ontologias biomédicas na linguagem UML. De forma específica, investigou-se o desenvolvimento de um editor gráfico, chamado OBO-RO Editor, para o suporte à construção de ontologias utilizando o perfil UML proposto, bem como a integração de ontologias desenvolvidas utilizando UML e ontologias desenvolvidas na linguagem OBO File Format. De forma a atingir nossos objetivos, uma arquitetura de referência foi definida e um processo de desenvolvimento orientado a modelos foi utilizado. A arquitetura definida é composta por uma série de artefatos inter-relacionados os quais são transformados (semi) automaticamente em código de aplicação, possibilitando a obtenção de ciclos de desenvolvimento mais rápidos e confiáveis. O OBO-RO Editor disponibiliza um conjunto de elementos gráficos de modelagem definidos a partir do perfil UML proposto, bem como provê mecanismos para a validação sintática (semi) automática de uma ontologia desenvolvida segundo as restrições definidas neste perfil. Adicionalmente, o OBO-RO Editor também provê suporte à integração de modelos UML a outras ontologias da OBO Foundry, permitindo o reuso e o desenvolvimento menos propenso a erros de ontologias no domínio biomédico.
The development and increasing use of new technologies has resulted in the production and storage of a huge amount of biomedical data. These data are produced using different techniques, stored in different formats and consumed by different (software) tools. This heterogeneity hinders effective data usage in integrative research approaches, including systems biology. In this scenario, conceptual modeling artifacts, such as ontologies, have been used to organize and integrate heterogeneous data in a coherent manner. Nowadays, the OBO Foundry represents the most important effort for the collaborative development of ontologies in the biomedical domain. The OBO Relation Ontology (OBO-RO) can be considered one of the most relevant ontologies in the domain. This ontology provides formal definitions for a number of general purpose relationships used in biomedical ontologies, thus facilitating the integration of existing ontologies and the development of new ontologies in the domain. An UML profile has been proposed to formally define the different types of concepts and relationships provided by the OBO-RO. This profile enables the creation of UML models using such concepts and allows the development of support for the automatic validation of these models based on formal constraints. Additionally, the support for the integration between UML models and OBO ontologies, particularly ontologies represented using the OBO File Format, is limited. In this sense, this project aimed at investigating the support for the development of biomedical ontologies using UML. In particular, we investigated the development of a graphical editor, named OBO-RO Editor, to support ontology development using the proposed UML profile. Additionally, we also investigated the integration of ontologies developed using UML and ontologies developed using the OBO File Format. In order to achieve our goals, we have defined a reference architecture and a model-driven development process. The reference architecture consists of a number of related artifacts that are transformed to application code (semi) automatically. Such characteristic allowed us to obtain faster and more reliable development cycles. The OBO-RO Editor provides a number of graphical elements defined in the proposed UML profile for the modeling of biomedical ontologies and support the (semi) automatic syntactic validation of such ontologies against the contraints defined in the profile. Additionally, OBO-RO Editor also provides support for the integration of developed UML models and other OBO ontologies, allowing the reuse and the accurate development of biomedical ontologies.
APA, Harvard, Vancouver, ISO, and other styles
9

Konrad, Sascha J. "Model-driven development and analysis of high assurance systems." Diss., Connect to online resource - MSU authorized users, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Adesina, Opeyemi. "Integrating Formal Methods with Model-Driven Engineering." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36269.

Full text
Abstract:
This thesis presents our method to integrate formal methods with model-driven engineering. Although a large amount of literature exists with the goal of facilitating the adoption of formal methods for educational and industrial practice, yet the adoption of formal methods in academia and industry is poor. The goal of this research is to improve the adoption of formal methods by automating the generation of formal methods code while maintaining scalability and bridging the gaps between formal analysis and actual implementation of the complete system. Our approach is based on generating formal representations of software abstractions expressed in a textual language, called Umple, which is derived from UML. Software abstractions of interest include class models and state machines. For state machines, we address concerns such as composite and concurrent states separately. The resulting systems are analyzable by back-end analysis engines such as Alloy and nuXmv or NuSMV for model checking. To ensure correctness of our approach, we have adopted simulation, empirical studies and rigorous test-driven development (TDD) methodologies. To guarantee correctness of state machine systems under analysis (SSUAs), we present methods to automatically generate specifications to analyze domain-independent properties such as non-determinism and reachability analysis. We apply these methods in various case studies; certify their conformance with sets of requirements and uncover certain flaws. Our contributions include a) The overall approach, involving having the developer write the system in Umple and generating both the formal system for analysis and the final code from the same model; b) a novel approach to encode SSUAs even in the presence of and-cross transitions; c) a fully automated approach to certify an SSUA to be free from nondeterminism even in the presence of unbounded domains and multiple and-cross transitions within the same enclosing orthogonal state; d) an empirical study of the impact of abstraction on some performance parameters; and e) a translator from Umple to Alloy and SMV.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Audit / model-driven development / UML"

1

Model-driven development with executable UML. Indianapolis, IN: Wrox/Wiley, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gašević, Dragan. Model driven architecture and ontology development. Berlin: Springer-Verlag, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Deved¿ic, Vladan. Model Driven Engineering and Ontology Development. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1957-, Nierstrasz Oscar Marius, ed. Model driven engineering languages and systems: 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings. Berlin: Springer, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

MODELS 2011 (2011 Wellington, N.Z.). Model driven engineering languages and systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings. Heildelberg: Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gregor, Engels, ed. Model driven engineering languages and systems: 10th international conference, MODELS 2007, Nashville, USA, September 30 - October 5, 2007 ; proceedings. Berlin: Springer, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

MODELS 2010 (2010 Oslo, Norway). Model driven engineering languages and systems: 13th international conference, MODELS 2010, Oslo, Norway, October 3-8, 2010 : proceedings, part 1. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Milicev, Dragan. Model-Driven Development with Executable UML. Wiley & Sons, Incorporated, John, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chris, Raistrick, ed. Model driven architecture with executable UML. Cambridge: Cambridge University Press, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Devedzic, Vladan, Dragan Gasevic, and Dragan Djuric. Model Driven Architecture and Ontology Development. Springer, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Audit / model-driven development / UML"

1

Gaševic, Dragan, Dragan Djuric, and Vladan Devedžic. "The Ontology UML Profile." In Model Driven Engineering and Ontology Development, 235–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00282-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Schäfer, Wilhelm, and Heike Wehrheim. "Model-Driven Development with Mechatronic UML." In Lecture Notes in Computer Science, 533–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17322-6_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kulkarni, Vinay, and Sreedhar Reddy. "Model-Driven Development of Enterprise Applications." In UML Modeling Languages and Applications, 118–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31797-5_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Silingas, Darius, and Ruslanas Vitiutinas. "Towards UML-Intensive Framework for Model-Driven Development." In Balancing Agility and Formalism in Software Engineering, 116–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85279-7_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hoisl, Bernhard, and Mark Strembeck. "A UML Extension for the Model-Driven Specification of Audit Rules." In Lecture Notes in Business Information Processing, 16–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31069-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kraemer, Frank Alexander, and Peter Herrmann. "Automated Encapsulation of UML Activities for Incremental Development and Verification." In Model Driven Engineering Languages and Systems, 571–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_44.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gonzalez, Jair, and Renaud Pacalet. "Model-Driven Design of Software Defined Radio Applications Based on UML." In Embedded Systems Development, 69–83. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-3879-3_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kordon, Fabrice, and Yann Thierry-Mieg. "Experiences in Model Driven Verification of Behavior with UML." In Foundations of Computer Software. Future Trends and Techniques for Development, 181–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-12566-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Burmester, Sven, Holger Giese, and Matthias Tichy. "Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML." In Lecture Notes in Computer Science, 47–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11538097_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wada, Hiroshi, and Junichi Suzuki. "Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming." In Model Driven Engineering Languages and Systems, 584–600. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11557432_44.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Audit / model-driven development / UML"

1

Schafer, Wilhelm. "Model driven development with mechatronic UML." In 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2008. http://dx.doi.org/10.1109/vlhcc.2008.4639050.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rossi, Davide. "UML-based Model-Driven REST API Development." In 12th International Conference on Web Information Systems and Technologies. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005906001940201.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mueller, Wolfgang, and Yves Vanderperren. "UML and model-driven development for SoC design." In the 4th international conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176254.1176255.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Improving Modeling with Layered UML Diagrams." In International Conference on Model-Driven Engineering and Software Development. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004337302060209.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Narawita, Chamitha Ramal, and Kaneeka Vidanage. "UML generator - an automated system for model driven development." In 2016 Sixteenth International Conference on Advances in ICT for Emerging Regions (ICTer). IEEE, 2016. http://dx.doi.org/10.1109/icter.2016.7829928.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"Extending UML Templates towards Computability." In 3rd International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005257101220133.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Investigation and Evaluation of UML Action Languages." In International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004699902640273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wendland, Marc-Florian, Ramon Barakat, and Martin Schneider. "Enabling Data Flows in UML Interactions." In 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005689002500257.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zhang, Gefei. "On using Colors in UML Models." In 5th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2017. http://dx.doi.org/10.5220/0006262605090514.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Radermacher, Ansgar, Shuai Li, and Matteo Morelli. "Application Configuration via UML Instance Specifications." In 7th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2019. http://dx.doi.org/10.5220/0007583104950502.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Audit / model-driven development / UML' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography