Relevant bibliographies by topics / UML2

Contents

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

Academic literature on the topic 'UML2'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 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 'UML2.'

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 "UML2"

1

Louati, Aymen, and Kamel Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets." International Journal of Information Systems in the Service Sector 8, no. 2 (April 2016): 87–97. http://dx.doi.org/10.4018/ijisss.2016040107.

Full text
Abstract:
Unified Modeling Language (UML) is using in the design notation in industry and academia projects. Interesting by the critical Real-Time System verification, it is important to ensure its dependability in order to avoid eventual errors. In this paper, the authors aim to extend the UML diagrams by adding a formal verification stage. They tackle with the UML2 timing diagram (TD), as interaction diagram in order to describe the system's behavior in temporal way. For that, the authors give a formal description for TD using Time Petri Nets (TPN). Then, they propose a formal verification by means of Romeo Model Checker. In particular, they show how to formulate quantitative properties using TCTL (timed computation tree logic). In addition, the authors show how they can derive the TCTL formulae from Object Constraint Language-Real Time (OCLRT) constraints. Finally, they illustrate the proposed approach through a real case study.
APA, Harvard, Vancouver, ISO, and other styles
2

Duddy, Keith. "UML2 must enable a family of languages." Communications of the ACM 45, no. 11 (November 2002): 73–75. http://dx.doi.org/10.1145/581571.581596.

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

Boufenara, Sabine, Kamel Barkaoui, Faiza Belala, and Hanifa Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities." International Journal of Critical Computer-Based Systems 5, no. 3/4 (2014): 241. http://dx.doi.org/10.1504/ijccbs.2014.064663.

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

Thomas, Dave. "UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes." Journal of Object Technology 2, no. 1 (2003): 7. http://dx.doi.org/10.5381/jot.2003.2.1.c1.

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

Bennama, Miloud, and Thouraya Bouabana Tebibel. "Validation environment of UML2 IOD based on hierarchical coloured Petri nets." International Journal of Computer Applications in Technology 47, no. 2/3 (2013): 227. http://dx.doi.org/10.1504/ijcat.2013.054372.

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

Arpinen, Tero, Erno Salminen, Timo D. Hämäläinen, and Marko Hännikäinen. "Performance Evaluation of UML2-Modeled Embedded Streaming Applications with System-Level Simulation." EURASIP Journal on Embedded Systems 2009 (2009): 1–16. http://dx.doi.org/10.1155/2009/826296.

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

Elallaoui, Meryem, Khalid Nafil, Raja Touahni, and Rochdi Messoussi. "Automated Model Driven Testing Using AndroMDA and UML2 Testing Profile in Scrum Process." Procedia Computer Science 83 (2016): 221–28. http://dx.doi.org/10.1016/j.procs.2016.04.119.

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

Buerth, Christoph, Filip Kovacic, Janpeter Stock, Marius Terfrüchte, Susanne Wilhelm, Karl-Erich Jaeger, Michael Feldbrügge, Kerstin Schipper, Joachim F. Ernst, and Denis Tielker. "Uml2 is a novel CalB-type lipase of Ustilago maydis with phospholipase A activity." Applied Microbiology and Biotechnology 98, no. 11 (January 28, 2014): 4963–73. http://dx.doi.org/10.1007/s00253-013-5493-6.

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

Kreku, Jari, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Per Andersson, and Kari Tiensyrjä. "Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems." EURASIP Journal on Embedded Systems 2008, no. 1 (2008): 712329. http://dx.doi.org/10.1155/2008/712329.

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

Laibinis, Linas, Elena Troubitsyna, and Sari Leppänen. "Service-Oriented Development of Fault Tolerant Communicating Systems." International Journal of Embedded and Real-Time Communication Systems 1, no. 2 (April 2010): 61–85. http://dx.doi.org/10.4018/jertcs.2010040104.

Full text
Abstract:
Telecommunication systems must have a high degree of availability, that is, a high probability of correct and timely provision of requested services. To achieve this, correctness of software for such systems should be ensured. Application of formal methods helps increase confidence in building correct software. However, to be used in practice, formal methods should be well integrated into existing development process. In this paper, the authors propose a formal model-driven approach to development of communicating systems. The authors formalize and extend the Lyra approach—a top-down service-oriented method for development of communicating systems. Lyra is based on transformation and decomposition of models expressed in UML2. The authors formalize Lyra in the B Method by proposing a set of formal specification and refinement patterns reflecting the essential models and transformations of the Lyra phases. Moreover, this paper extends Lyra to integrate reasoning about fault tolerance in the entire development flow.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "UML2"

1

Silva, Vivian Teresinha Pedó da. "UML2 context: uma extensão da UML para modelagem de contexto." Universidade do Vale do Rio dos Sinos, 2015. http://www.repositorio.jesuita.org.br/handle/UNISINOS/4930.

Full text
Abstract:
Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-10-28T12:29:05Z No. of bitstreams: 1 Vivian Teresinha Pedó da Silva_.pdf: 3694100 bytes, checksum: ce6e15fc4bf10c3f2a81dfbdb083b1b7 (MD5)
Made available in DSpace on 2015-10-28T12:29:05Z (GMT). No. of bitstreams: 1 Vivian Teresinha Pedó da Silva_.pdf: 3694100 bytes, checksum: ce6e15fc4bf10c3f2a81dfbdb083b1b7 (MD5) Previous issue date: 2015-06-16
UNISINOS - Universidade do Vale do Rio dos Sinos
A presente tese descreve e analisa os discursos que constituem os currículos de formação de professores, problematizando o campo da Educação Especial como locus de formação de professor para surdos. Para tanto, analisa sete currículos de cursos de formação de professores, desenvolvidos entre os anos de 1962 e 2009 na Universidade Federal de Santa Maria (RS). Utiliza como ferramenta teórico-metodológica o conceito de discurso, inspirada nos estudos foucaultianos em educação. A partir da pesquisa, foi possível constatar três grandes ênfases discursivas nos currículos de formação de professores analisados; são elas: do campo da saúde (início em 1962), da Pedagogia (início em 1973) e da Educação Especial (início em 1984). Em cada ênfase, é possível observar a recorrência de discursos sobre a deficiência e diferença/diversidade. Destaca-se, a partir de 2004, a forte presença dos discursos da diversidade e da inclusão. Conclui-se que os discursos da diversidade, articulados aos da Educação Especial, são condição de possibilidade para a existência da diferença/identidade surda nos cursos de Educação Especial em Santa Maria. Também se conclui que o currículo em vigor iniciado em 2004, comparativamente aos outros currículos, evidencia uma ampliação dos discursos pedagógicos, a diminuição dos discursos das deficiências e a ampliação dos discursos da surdez como diferença. A tese defendida é que os currículos, ao modificarem-se para serem atualizados, contemplam a diversidade e não a diferença surda. Pesquisadores e profissionais da indústria reconhecem a importância do desenvolvimento de sistemas cientes de contexto, visto que tais sistemas cada vez mais fazem parte da vida cotidiana das pessoas. Para projetar, comunicar decisões de projeto e representar os aspectos estruturais e comportamentais destes sistemas, os desenvolvedores comumente utilizam a Linguagem de Modelagem Unificada (UML), a qual é amplamente reconhecida como linguagem padrão de modelagem de software. Porém, dada a crescente diversidade de técnicas de modelagem e a incapacidade da UML em representar os conceitos de sistemas cientes de contexto, é particularmente desafiante para os desenvolvedores objetivamente projetar e comunicar decisões de projetos de tais sistemas. Consequentemente, os desenvolvedores geralmente não dispõem de ferramentas que facilitem a representação de contexto de uma forma adequada, ao passo que propõem notações para contornar o problema, agravando ainda mais o problema da heterogeneidade das técnicas de modelagem atuais. O problema central é que a UML é imprecisa para representar o conceito de contexto e rígida para incorporar novos conceitos. Outro problema é que as ferramentas acadêmicas e comerciais de modelagem atuais - incluindo IBM RSA, Astah, Borland Together - não dão suporte à representação e à validação de modelos de contexto. Este trabalho, portanto, propõe uma extensão da UML para modelagem de contexto, a qual visa não só permitir a representação e validação dos principais aspectos de contexto, como também potencializar uma melhor comunicação de decisões de projeto de sistemas cientes de contexto. Também é proposto um ambiente de modelagem específico de domínio para tornar possível a modelagem de sistemas cientes de contexto, o qual foi implementado como um plug­in da plataforma Eclipse utilizando os frameworks GMF, EMF e UML2tool. Este ambiente permite não só representar o conceito de contexto seguindo a abordagem proposta, bem como avaliar a corretude dos modelos criados. A extensão e a ferramenta proposta foram avaliadas através de um questionário abordando a modelagem proposta comparada com modelagens que utilizam a UML pura. Essa avaliação permitiu determinar os reais benefícios do trabalho desenvolvido e onde os resultados sugerem que a modularização das informações de contexto em um novo conceito chamado de UML2Context traz benefícios, quando comparada com a decomposição de tais informações com a UML Pura. Os resultados apontaram que a UML2Context aumentou a taxa de respostas corretas em 28,41%, reduziu o esforço de interpretação em 61,03% e melhorou a interpretação dos modelos de contexto em 35,98%, se mostrando eficaz para modelagem de sistemas ubíquos.
Researchers and industry professionals recognize the importance of developing context-aware systems, as these systems increasingly are part of everyday life of people. To design, communicate design decisions and represent the structural and behavioral aspects of these systems, developers commonly use the Unified Modeling Language (UML), which is widely recognized as the standard language of software modeling. However, given the increasing diversity of modeling techniques and UML's inability to represent the concepts of context-aware systems, is particularly challenging for developers to design and objectively communicate design decisions of such systems. Usually developers don’t have the tools to facilitate the representation of context in an appropriate manner, whereas propose notations to solve the problem, further aggravating the problem of heterogeneity of current modeling techniques. The main problem is that UML is inaccurate to represent the concept of context and rigid to incorporate new concepts. Another problem is that academic and commercial tools of current modeling - including IBM RSA, Astah, Borland Together - do not support the representation and validation of context models. This paper therefore proposes an extension of UML for modeling context, which aims not only to allow the representation and validation of the key aspects of context, but also enhance communication of project decision of context aware systems. It also proposes a domain specific modeling environment that enable the modeling of context-aware systems, which was implemented as an Eclipse platform plugin using the GMF frameworks, EMF and UML2tool. This environment will not only represent the concept of context following the proposed approach and to evaluate the correctness of the models. The extent and the proposed tool was evaluated through a questionnaire addressing the proposed model compared with modelings that using the standard UML. This avaliation allowed us to evaluate the real benefits of work and where the results suggest that the modularization of context information in a new concept called UML2Context brings benefits compared with the decomposition of such information with the pure UML. The results link that UML2Context increased the rate of correct answers in 28.41%, reduced the effort of interpretation in 61,03% and improved the interpretation of context models in 35.98%, proving effective for modeling ubiquitous systems.
APA, Harvard, Vancouver, ISO, and other styles
2

Ablonskis, Linas. "Programos kodo generavimas naudojant UML veiksmų semantiką." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2006. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060602_001134-80600.

Full text
Abstract:
The recent version of UML 2.0 (in year 2006) specifies activities and actions, which allow describing low level behavior of software system being modeled, in implementation independent fashion. This work analyzes suitability of UML 2.0 activities and actions for generating full program code (or as many as possible). It also proposes a method for generating program code from UML 2.0 activities and actions, which consists of a way to express UML activities with concurrently executing actions in a sequential execution scenario and a way to determine the exact code template (among the few possible) for UML activity elements based on identifying the particular context of element in question.
APA, Harvard, Vancouver, ISO, and other styles
3

Louati, Aymen. "Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri." Thesis, Paris, CNAM, 2015. http://www.theses.fr/2015CNAM1106/document.

Full text
Abstract:
Les systèmes informatiques envahissent de plus en plus notre quotidien, en allant de la plus simple application de lecture des fichiers audio, à la plus critique comme les voitures et les avions. Dans les systèmes critiques, la validation par vérification formelle s'impose. Cette thèse s'inscrit dans ce cadre et tend à doter le langage UML, langage de modélisation standard de facto, d'une sémantique formelle pour des finalités de vérification. En premier lieu, nous avons analysé et révisé le fondement théorique des principales approches de formalisation et de vérification issues de la littérature et se focalisant sur le langage UML, ses profils et les concepts des réseaux de Petri (RdPs). En deuxième lieu, nous avons proposé une nouvelle approche hiérarchique de formalisation des diagrammes globaux d'interactions (IOD). En se basant sur ce point, nous avons développé des formalismes temporels et temporisés des diagrammes de Timing UML2 (TD), appliqués par des exemples d'illustration. Ensuite, nous avons conçu une approche de vérification sur les approches développées, s'intéressant aux Systèmes Temps Réel (STRs), utilisant l'extension temporelle du langage des contraintes objets OCL/Temps Réel (OCL TR), le profil UML MARTE et la logique temporelle temporisée (TCTL), exploitée d'une technique de vérification automatique après la transformation du modèle (Model Checking). Enfin, nous avons appliqué les formalismes proposés sur une étude de cas, afin de garantir leurs efficacités logique et temporelle
The computer systems have increasingly invaded our daily lives from the simplest application as audio files reading to the most critical one as cars and airplanes. For critical systems, the validation by the formal verification is required. This Thesis concerns this area of research and aims to ensure the betterment of UML language, which is the de facto standard, with formal semantics for verification finality. For the first part, we have analyzed and revised the theoretical foundations the existing formal verification methods used UML, their profiles and the basic concepts of the Petri nets (PNs). For the second part, we have created a novel hierarchical approach to formalize the Interaction Overview Diagrams (IOD). Based on this idea, we have developed temporal formalisms based on the UML2 Timing Diagrams (TD), applied by illustration examples. Then, we have proposed a Formal Verification approach based on last formalisms which are interested in Real Time Systems (RTS) and employ the temporal extension of the Object Constraints language (OCL/Real Time) (OCL TR), the UML MARTE profile and the timed computation Tree logic (TCTL), given by the Model Checking technique after the model's transformation. Finally, we have applied all the proposed formalisms through a case study, in order to ensure its logical and temporal efficiency
APA, Harvard, Vancouver, ISO, and other styles
4

Haendler, Thorsten. "On Using UML Diagrams to Identify and Assess Software Design Smells." SciTePress, 2018. http://dx.doi.org/10.5220/0006938504470455.

Full text
Abstract:
Deficiencies in software design or architecture can severely impede and slow down the software development and maintenance progress. Bad smells and anti-patterns can be an indicator for poor software design and suggest for refactoring the affected source code fragment. In recent years, multiple techniques and tools have been proposed to assist software engineers in identifying smells and guiding them through corresponding refactoring steps. However, these detection tools only cover a modest amount of smells so far and also tend to produce false positives which represent conscious constructs with symptoms similar or identical to actual bad smells (e.g., design patterns). These and other issues in the detection process demand for a code or design review in order to identify (missed) design smells and/or re-assess detected smell candidates. UML diagrams are the quasi-standard for documenting software design and are often available in software projects. In this position paper, we investigate whether (and to what extent) UML diagrams can be used for identifying and assessing design smells. Based on a description of difficulties in the smell detection process, we discuss the importance of design reviews. We then investigate to what extent design documentation in terms of UML2 diagrams allows for representing and identifying software design smells. In particular, 14 kinds of design smells and their representability in UML class and sequence diagrams are analyzed. In addition, we discuss further challenges for UML-based identification and assessment of bad smells.
APA, Harvard, Vancouver, ISO, and other styles
5

Bonhomme, Sylvain. "Méthodologie et outils pour la conception d'un habitat intelligent." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2008. http://tel.archives-ouvertes.fr/tel-00292456.

Full text
Abstract:
La réalisation de systèmes complexes de mesures, de contrôle et de surveillance nécessite une méthodologie de conception rigoureuse et des outils adaptés pour aboutir à un système sans faute. La démarche méthodologique proposée vise à aider à la conception d'un système complexe dédié à la gestion intelligente du confort et à la sécurité des personnes au sein de l'habitat. Cette démarche s'intègre dans un processus d'Ingénierie Système et s'appuie sur les standards UML et SYSML, mais également sur le formalisme HiLes, développé par le LAAS et adapté à la conception de modèle commande, la vérification formelle et la simulation numérique. Ces travaux de thèse présentent les méthodes et les outils de conception préconisés pour un habitat intelligent intégrant les objectifs de confort et de sécurité. Deux expérimentations sont décrites utilisant une commande auto-adaptative basée sur l'apprentissage des habitudes des utilisateurs dans leur environnement de vie et implémentés sur site réel.
APA, Harvard, Vancouver, ISO, and other styles
6

AURIOL, Guillaume. "Specification et implementation d'une architecture de signalisation a gestion automatique de la QdS dans un environnement IP multi domaines." Phd thesis, INSA de Toulouse, 2004. http://tel.archives-ouvertes.fr/tel-00009244.

Full text
Abstract:
L'Internet du futur aura a transporter les donnees de nouvelles applications avec des garanties de qualite de service (QdS). De ce besoin resulte la necessite d'en re-concevoir l'architecture. Par ailleurs, la structure de l'Internet, compose de domaines independants vis a vis de la gestion de la QdS, pose le probleme de la continuite du service lors de la traversee de plusieurs domaines. Face a ces deux problematiques, la these soutenue est celle d'un systeme de communication offrant des garanties de QdS par flux applicatif dans un environnement Internet multi domaines. Son architecture integre un plan communication comportant plusieurs services/protocoles aux niveaux Transport et IP, et un plan signalisation assurant la gestion des ressources a la frontiere des domaines. Nos contributions sont les suivantes. Nous proposons un modele de caracterisation des services IP et Transport, etaye par : (1) des mesures realisees sur une plate forme nationale, (2) une etude en simulation (ns-2) et (3) des mesures realisees sur une plate-forme emulant (Dummynet) un Internet multi domaines. Nous etendons l'architecture de communication proposee dans des travaux anterieurs de facon a abstraire le niveau applicatif de la complexite du choix des services Transport et IP, et a optimiser l'utilisation des ressources du reseau. Nous specifions en UML et implementons en Java notre proposition d'architecture de signalisation permettant d'assurer la continuite du service offert aux applications sur tous les domaines traverses. Enfin, nous testons le systeme de communication avec deux types d'applications multimedias sur une plate-forme emulant le comportement de plusieurs domaines DiffServ.
APA, Harvard, Vancouver, ISO, and other styles
7

Burghardt, Thomas, and Hendrik Jähn. "Von kompetenzzellenbasierten Produktionsnetzen lernen - Eine Untersuchung am Beispiel von „Anbietergemeinschaften aus Stromerzeugern und -verbrauchern“." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100932.

Full text
Abstract:
1 EINFÜHRUNG Der Beitrag diskutiert ein Vorgehensmodell zur Übertragung eines Vernetzungsansatzes für sehr kleine Wertschöpfungseinheiten, vornehmlich aus dem Maschinenbau, in die Domäne Dezentrale Energieversorgung. Es handelt sich dabei um den kompetenzzellenbasierten Vernetzungsansatz (KVA), ein Artefakt des DFG-Forschungsprojektes „Hierarchielose regionale Produktionsnetze“ (Sonderforschungsbereich 457). Das Lernen setzt die Analyse sowie das Erkennen und Verstehen des Forschungsgegenstandes KVA voraus. Von besonderem Interesse sind die Forschungsergebnisse zu den aufbau- und ablauforganisatorischen Grundbetrachtungen über die Zusammenarbeit von Kompetenzzellen. Können diese Ergebnisse einen wissenschaftlichen und praktischen Nutzen für die Organisation von Anbietergemeinschaften aus Stromerzeugern und -verbrauchern stiften? Dazu werden das Gestaltungskonzept Zwei-Ebenen-Kooperation und das Konzept der Kompetenzzelle untersucht. Für die Übertragung wird die Modellierungssprache Unified Modeling Language 2 (UML2) zur Beschreibung von Struktur, Funktion und Organisation vorgeschlagen.
APA, Harvard, Vancouver, ISO, and other styles
8

Dobrzanski, Lukasz. "UML Model Refactoring : Support for Maintenance of Executable UML Models." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5715.

Full text
Abstract:
One of the inevitable negative effects of software evolution is design erosion. Refactoring is a technique that aims at counteracting this phenomenon by successively improving the design of software without changing its observable behaviour. Design erosion occurs also in the context of executable UML models, i.e. models that are detailed enough to be automatically compiled to executable applications. This thesis presents results of a study on applying refactoring to the area of maintenance of executable UML models. It contains an overview of recent approaches to UML model refactoring and to executable modelling, followed by identification of refactoring areas in models built in Telelogic TAU, a state-of-the art UML CASE tool. It proposes a systematic approach to specification of both executable UML model refactorings as well as associated bad smells in models. Additionally, it shows how refactorings can be implemented in Telelogic TAU.
APA, Harvard, Vancouver, ISO, and other styles
9

Alshepani, Saleh Mohamed. "UML drawing tool." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0015/MQ54520.pdf.

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

Kocabas, Efe Cem. "Uml-alf Agent Based Adaptive Learning Framework:a Case Study On Uml." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612182/index.pdf.

Full text
Abstract:
As the amount of accessible and shareable knowledge increases, it is figured out that learning platforms offering the same context and learning path to all users can not meet the demands of learners. This issue brings out the necessity of designing and developing adaptive hypermedia systems. This study describes an agent-based adaptive learning framework whose goal is to implement effective tutoring system with the help of Artificial Intelligence (AI) techniques and cognitive didactic methods into Adaptive Educational Hypermedia Systems (AEHS) in the domain of Unified Modeling Language (UML). There are three main goals of this study. First goal is to explore how supportive agents affect student&rsquo
s learning achievement in distance learning. Second goal is to examine the interaction between supportive agents and learners with the help of experiments in Human Computer Interaction laboratories and system analysis. The effects of the methodology that agents give misleading hints which are common mistakes of other learners are also investigated. Last goal is to deliver effective feedback to students both from IAs and tutors. In order to assess that UML-ALF has accomplished its objectives, we followed an experimental procedure. Experimental groups have taken the advantage of adaptive and intelligent techniques of the UML-ALF and control groups have used the traditional learning techniques. The results show that there is a positive correlation between variables practice score and number of agent suggestion which means, as the participants benefit from supportive agents, they get higher scores.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "UML2"

1

1945-, Diaz Michel, ed. Communicating systems with UML2: Modeling and analysis of network protocols. London: ISTE, 2011.

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

Introduction to software engineering design: Processes, principles, and patterns with UML2. Boston: Pearson Education/Addison-Wesley, 2007.

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

Erler, Thomas. UML. Bonn: Bhv, 2002.

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

1968-, Penker Magnus, ed. UML toolkit. New York: Wiley, 1998.

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

UML bible. Indianapolis, IN: Wiley, 2003.

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

Seidl, Martina, Marion Scholz, Christian Huemer, and Gerti Kappel. UML @ Classroom. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-12742-2.

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

Roques, Pascal. UML in Practice. New York: John Wiley & Sons, Ltd., 2005.

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

Pilone, Dan. UML: Pocket Reference. Sebastopol, Calif: O'Reilly, 2003.

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

Rumpe, Bernhard. Modellierung mit UML. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22413-3.

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

Balzert, Heide. UML 2 kompakt. Heidelberg: Spektrum Akademischer Verlag, 2010. http://dx.doi.org/10.1007/978-3-8274-2507-2.

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

Book chapters on the topic "UML2"

1

Caron, Olivier, Bernard Carré, Alexis Muller, and Gilles Vanwormhoudt. "An OCL Formulation of UML2 Template Binding." In < > 2004 - The Unified Modeling Language. Modelling Languages and Applications, 27–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30187-5_3.

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

Giachetti, Giovanni, Francisco Valverde, and Oscar Pastor. "Improving Automatic UML2 Profile Generation for MDA Industrial Development." In Advances in Conceptual Modeling – Challenges and Opportunities, 113–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87991-6_16.

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

Gérard, Sébastien, Cédric Dumoulin, Patrick Tessier, and Bran Selic. "19 Papyrus: A UML2 Tool for Domain-Specific Language Modeling." In Model-Based Engineering of Embedded Real-Time Systems, 361–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16277-0_19.

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

Dhaou, Fatma, Ines Mouakher, J. Christian Attiogbé, and Khaled Bsaies. "An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems." In Communications in Computer and Information Science, 158–82. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94135-6_8.

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

Diskin, Zinovy, and Juergen Dingel. "Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2." In Model Driven Engineering Languages and Systems, 230–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11880240_17.

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

Maraee, Azzam, and Mira Balaban. "Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines." In Model Driven Engineering Languages and Systems, 302–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33666-9_20.

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

Cechticky, V., M. Egli, A. Pasetti, O. Rohlik, and T. Vardanega. "A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications." In Lecture Notes in Computer Science, 312–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11763864_23.

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

Gaubatz, Patrick, and Uwe Zdun. "UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups." In Current Trends in Web Engineering, 81–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-35623-0_9.

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

Grant, Emanuel, Robert B. France, Ramchander Varadarajan, Adam Carheden, and Jean-Michel Bruel. "UML2Z: An UML-Based Modeling Tool for an Internet Integrated Formalization Process." In OOIS 2000, 280–89. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0299-1_23.

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

Unterstein, Michael, and Günter Matthiessen. "UML." In Anwendungsentwicklung mit Datenbanken, 75–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39003-6_5.

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

Conference papers on the topic "UML2"

1

"ONTOLOGY BASED UML2 COMPONENT ARCHITECTURE GENERATION." In 12th International Conference on Informatics and Semiotics in Organisations. SciTePress - Science and and Technology Publications, 2010. http://dx.doi.org/10.5220/0003269903140321.

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

Matar, Jad, Raphael Chenouard, and Alain Bernard. "A New Integration Framework for Modeling and Optimizing Systems in Preliminary Design Phase." In ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/esda2012-82623.

Full text
Abstract:
In this paper we propose a new integration framework model for simplifying the feasible space exploration and product optimization in early design phases. Hence, modeling and optimizing tasks are core activities in this framework. Currently, system engineering problems are modeled and optimized using a wide range of domain-specific languages. One should not duplicate these languages by creating a new system engineering language capable of modeling and optimizing every aspect of a system. Thus we combine the UML2 language and the formalism of Constraint Optimization Problems (COPs). UML2 is a visual modeling language, which provides a set of diagrams and constructs for modeling the major aspects of a product. In order to optimize design parameters, we reformulate some of this modeling knowledge into a COP. A COP may be defined as a regular constraint satisfaction problem (CSP) augmented with a set of objective functions. Thus the optimization problem to be solved is stated declaratively with acausal constraints. Then, COP solvers are based on generic solving algorithms computing a set of optimal solutions. In this paper, generic concepts integrating variability modeling concepts and based on architecture description languages are introduced. We also briefly describe transformation strategy using ATL language to perform a bidirectional mapping between UML2 constructs and the corresponding COP models.
APA, Harvard, Vancouver, ISO, and other styles
3

Rhouma, Takoua Ben, Patrick Tessier, and Francois Terrier. "Merging UML2 Composite Structures of Software Product Lines." In 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2012. http://dx.doi.org/10.1109/iceccs20050.2012.6299203.

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

Boufenara, Sabine, Kamel Barkaoui, Faiza Belala, and Hanifa Boucheneb. "On Formalizing UML2 Activities Using TPNets: Case Studies." In Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011). BCS Learning & Development, 2011. http://dx.doi.org/10.14236/ewic/vecos2011.13.

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

Fuchs, Gerhard, and Reinhard German. "UML2 activity diagram based programming of wireless sensor networks." In the 2010 ICSE Workshop. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1809111.1809116.

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

Schefer, Sigrid. "Consistency Checks for Duties in Extended UML2 Activity Models." In 2011 Sixth International Conference on Availability, Reliability and Security (ARES). IEEE, 2011. http://dx.doi.org/10.1109/ares.2011.106.

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

Dubois, Hubert, Fadoi Lakhal, and Sébastien Gérard. "The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements." In 2009 Second International Workshop on Managing Requirements Knowledge (MARK). IEEE, 2009. http://dx.doi.org/10.1109/mark.2009.11.

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

Belghiat, Aissam, and Allaoua Chaoui. "A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams." In 10th International Conference on Software Paradigm Trends. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005517900870094.

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

Dhaou, Fatma, Ines Mouakher, J. Christian Attiogbé, and Khaled Bsaies. "Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams." In 13th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006708102750282.

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

Arpinen, T., T. Koskinen, E. Salminen, T. D. Hamalainen, and M. Hannikainen. "Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA." In 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09). IEEE, 2009. http://dx.doi.org/10.1109/date.2009.5090665.

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

Reports on the topic "UML2"

1

Flater, David, Philippe A. Martin, and Michelle L. Crane. Rendering UML activity diagrams as human-readable text. Gaithersburg, MD: National Institute of Standards and Technology, 2007. http://dx.doi.org/10.6028/nist.ir.7469.

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

Whitmore, Brent, and Brian Appel. Unified Modeling Language (UML) for Information Assurance (IA). Fort Belvoir, VA: Defense Technical Information Center, June 2003. http://dx.doi.org/10.21236/ada417441.

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

DiPippo, Lisa C., and Lynn Ma. A UML Package for Specifying Real-Time Objects. Fort Belvoir, VA: Defense Technical Information Center, November 1999. http://dx.doi.org/10.21236/ada477881.

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

Rachuri, Sudarsan, Young-Hyun Han, Shaw C. Feng, Utpal Roy, Fujun Wang, Ram D. Sriram, and Kevin W. Lyons. Object-oriented representation of electro-mechanical assemblies using UML. Gaithersburg, MD: National Institute of Standards and Technology, 2003. http://dx.doi.org/10.6028/nist.ir.7057.

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

Tiefenthaler, Brigitte, and Simon Zingerle. Externe Wirkungsprüfung der Urbanen Mobilitätslabore. Https://mobilitaetderzukunft.at, November 2020. http://dx.doi.org/10.22163/fteval.2020.503.

Full text
Abstract:
In der vorliegenden externen Wirkungsprüfung wurden jene fünf Urbanen Mobilitätslabore (UML), die in der 7. Ausschreibung des Forschungsförderungsprogramms "Mobilität der Zukunft (MdZ)" gefördert wurden, auf die bisher erzielten Ergebnisse und Wirkungen untersucht. Einerseits auf der Ebene des einzelnen UML und andererseits auf der Ebene der UML-Initiative insgesamt. Ziel war es, das bisher Erreichte und die damit verbundenen Erfahrungen zu analysieren und auf dieser Grundlage Empfehlungen für die künftige Arbeit in diesem Rahmen (und möglicherweise darüber hinaus) zu entwickeln.
APA, Harvard, Vancouver, ISO, and other styles
6

Kogut, Paul. DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT). Fort Belvoir, VA: Defense Technical Information Center, October 2005. http://dx.doi.org/10.21236/ada440653.

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

Klasky, Hilda B., Paul T. Williams, and Bennett Richard Bass. UML and SOA Overview with Example Applications to the xLPR V.2 Project. Office of Scientific and Technical Information (OSTI), September 2013. http://dx.doi.org/10.2172/1093095.

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

de Niz, Dionisio. Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL. Fort Belvoir, VA: Defense Technical Information Center, November 2007. http://dx.doi.org/10.21236/ada633428.

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

Bonne, Susan M., and Jason K. Rupert. Use of Unified Modeling Language (UML) in Model-Based Development (MBD) For Safety-Critical Applications. Fort Belvoir, VA: Defense Technical Information Center, December 2014. http://dx.doi.org/10.21236/ada621409.

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

Wheeler, Thomas M. An Early Look at the UML Profile for Schedulability, Performance, and Time for Engineering Large Scale Airborne C2ISR Platforms. Fort Belvoir, VA: Defense Technical Information Center, January 2004. http://dx.doi.org/10.21236/ada460266.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'UML2' 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