• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 308
  • 182
  • 105
  • 93
  • 84
  • 48
  • 25
  • 25
  • 20
  • 15
  • 13
  • 11
  • 7
  • 6
  • 5
  • Tagged with
  • 978
  • 279
  • 251
  • 234
  • 187
  • 164
  • 135
  • 125
  • 95
  • 95
  • 85
  • 83
  • 83
  • 82
  • 82
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Contribution à une démarche de vérification formelle d'architectures logicielles

Graiet, Mohamed Giraudin, Jean-Pierre. January 2007 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 159-167.
52

Ingénierie système guidée par les modèles Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques /

Turki, Skander Soriano, Thierry. January 2008 (has links)
Reproduction de : Thèse de doctorat : Sciences : Toulon : 2008. / Titre provenant du cadre-titre. Bibliogr p. 178-188.
53

Rolomaitniai vibrovarikliai ir jų dinamikos tyrimas / Rolamite vibromotors and their Dynamic Analysis

Bogušis, Gintas 09 June 2005 (has links)
The short analysis of vibromotors and rolamite ty¬pe mechanisms is submitted, their advantages are revealed.Dynamic processes, occurring in vibromotor, are investiga¬ted experimentally in which the slanting impact of the converter of longitudinal fluctuations to a rotor is used, and rotates it.It is established that optimum corner of elastic pressing of the converter of longitudinal fluctuations to a rotor makes 125° and the greatest revolutions of a rotor is got. The size of elastic pressing of the converter of longitudinal fluctuations to a rotor unsignificantly influences the form of the mechanical characteristics. It is recommending for precision systems working in a wide temperature range and at linear and vibrating overloads to use the circuits with included in a contour of the generator by converters or to construct auto oscillatory generators working on resonant frequency of the converter. The value ofnon-synchronicity of rotation of rotors mostly grows in elementary vibromotor with two rotors, least – in rolamite vibromotor, in which the converter of longitudinal fluctuations rotates both rotors. The variant of rolamite vibromotor, in which the converter of longitudinal fluctuations rotates both rotors, is optimum. The synthesis of the rolamite type mechanism and vibromotor allows to design qualitatively new original mechanisms.
54

Imitacinių modelių sudarymas naudojant UML / Creating simulation models using UML

Pranckevičius, Audrius 05 June 2006 (has links)
Software development process encounter productivity obstacles, which are affected by an arise of new technologies. Object Management Group (OMG) proposed model driven architecture (MDA) supposed to minimize effect of new technologies arrival into a process of software development. One of the most important aspects in MDA is meta-model, which is used to specify MDA style transformations. Theses present meta-model of PLA model and XSL transformations, used to retrieve PLA simulation model. Example of creating oil terminal simulation model is presented as well.
55

MagicDraw UML įskiepio veiklos taisyklėms modeliuoti sukūrimas ir realizavimas / MagicDraw UML plugin development and implementation for business rules modeling

Vizgaitis, Tadas 04 March 2009 (has links)
Darbe tyrinėjama veiklos taisyklių koncepcija ir jos taikymas projektuojant informacijos sistemas. Pagrindinis tyrimo objektas yra kompiuterizuotas grafinis veiklos taisyklių modeliavimas informacijos sistemų projektavimo stadijoje. Tyrimo tikslas: atskleisti grafinio VT modeliavimo greta UML galimybes, sukuriant ir išbandant modifikuotu Roso metodu grindžiamą MagicDraw UML įrankio įskiepį, kuris leistų modeliuoti veiklos taisykles, užmezgant ryšius tarp taisyklių ir esamomis MagicDraw UML priemonėmis sukurtojo duomenų modelio (klasių diagramos) elementų. / Information system (IS) modeling is popular and constantly developing. However there is a wantage for solutions of realization of computer engineering activities in the business rules based methods. One of the most prominent of this kind of methods is the Ross method, allowing the creation of formal business rules graphic models. This work specifies and implements business rules modeling tool, which use Ross method, into computer engineering tool MagicDraw UML as plugin.
56

UML for Inclusion of Privacy in Software Modeling

Ali, Sohail 04 April 2013 (has links)
Online commerce and service obtain much private data from users. Collection, storage, management, and use of private data are subject to various privacy laws, regulations, and standards. To adhere to legal requirements, many privacy services, such as security, notice, and consent, are required. Inclusion of the required privacy services early in the life cycle of the software development is preferred and advocated. We extend UML use case diagrams with privacy components to represent example privacy services. These components are used to visually model privacy requirements in the analysis phase of the SDLC. We create a prototype by extending Microsoft Visio, a popular UML modeling tool, with our proposed privacy components. In summary, we show how privacy services may be specified in UML use case diagrams rather than adding privacy as an afterthought to software systems and services. The tool is demonstrated with real-world scenarios from the health sector.
57

Informacinių sistemų tezauro modelis ir jo įgyvendinimas internete / Model of information systems thesaurus and it's realisation in the internet

Dambrauskas, Donatas 31 May 2004 (has links)
Nowadays possibilities of creation of web applications dedicated for information presentation a rapidly increasing, and more universities and other education organizations prefer to publish the information they gathered in specialized information portals. This solution allows effective use of all methodical and practical material, collected in organization. More universities in all over the world made their decision on specialized portals of knowledge, internet thesaurus. These web applications allows present information in different views and connect related data. Using this solution gives possibility to search for useful information from all over the world, 24 hours a day, so this gives chance to improve possibilities of distant learning. In this work web thesaurus is presented as an example, how specialized web application can help tu publish methodical and practical information and gathering terms of theory and their descriptions. Also presented analysis of existing methods for creating specialized web applications and description of method, created for modeling web applications analogical to web thesaurus. There are special solutions described for creating of multilingual web applications, effective system resource using, creating useful search system and context menu or content management mechanism.
58

XMI-based transformation of UML interaction diagrams to activity diagrams /

Wong, Eric C. January 1900 (has links)
Thesis (M.Sc.) - Carleton University, 2002. / Includes bibliographical references (p. 129-133). Also available in electronic format on the Internet.
59

Evolution and adoption of UML-based development tools /

Napoles, Rodolfo, January 1900 (has links)
Thesis (M.Eng.) - Carleton University, 2005. / Includes bibliographical references (p. 92-93). Also available in electronic format on the Internet.
60

Independent verification of specification models for large software systems at the early phases of development lifecycle

Lateef, Khalid. January 1999 (has links)
Thesis (Ph. D.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains v, 139 p. : ill. Includes abstract. Includes bibliographical references (p. 133-139).

Page generated in 0.0235 seconds