251 |
Modélisation et vérification de protocoles pour des communications sécurisées de groupesMota Gonzalez, Sara del Socorro Villemur, Thierry. Diaz, Michel January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 119 réf.
|
252 |
Contribution de la modélisation conceptuelle à l'ingénierie du knowledge management application dans le cadre de la mémoire de projet /Ben Sta, Hatem Bourey, Jean-Pierre Bigand, Michel Guedira, Khaled. January 2008 (has links)
Reproduction de : Thèse de doctorat : Génie industriel : Villeneuve d'Ascq, Ecole centrale de Lille : 2006. / Titre provenant de la page de titre du document numérisé. Bibliogr. p. 185-202, 104 réf.
|
253 |
A metamodel-based approach to integrate object-oriented graphical and formal specification techniques /Kim, Soon-Kyeong. January 2001 (has links) (PDF)
Thesis (Ph. D.)--University of Queensland, 2002. / Includes bibliographical references.
|
254 |
Timeliness non-functional requirements of UML-based software systems application of analysis techniques in the GSM domain /Elnaggar, Rania. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains ix, 76 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 74-76).
|
255 |
Informacinių technologijų išteklių duomenų bazė / Database of Information technology resourcesBarzda, Erlandas 05 January 2005 (has links)
The subject of this master work is the <a href="http://www.ntsearch.com/search.php?q=internet&v=56">internet</a> information resource database. This work also handles the problems of old information systems which do not meet the new contemporary requirements. The aim is to create <a href="http://www.ntsearch.com/search.php?q=internet&v=56">internet</a> information system, based on object-oriented technologies and tailored to <a href="http://www.ntsearch.com/search.php?q=computer&v=56">computer</a> users’ needs. The <a href="http://www.ntsearch.com/search.php?q=internet&v=56">internet</a> information database system helps <a href="http://www.ntsearch.com/search.php?q=computers&v=56">computers</a> administrators to get the all needed information about <a href="http://www.ntsearch.com/search.php?q=computers&v=56">computers</a> <a href="http://www.ntsearch.com/search.php?q=network&v=56">network</a> elements and easy to register all changes into information database.
|
256 |
Mobili informavimo sistema / Mobile information systemParšonis, Aurimas 16 January 2005 (has links)
“Mobile information system” is designed for Kaunas University of Technology. This system operation is based on internet technologies and allows to use it form any remote computer. Also there is drafted reporting to concerned persons using various ways. This system is made with PHP and MySQl web application. The system allows teachers to display their calendar to others, send SMS and e-mail to other teachers and students.
|
257 |
Kompiuterinės ir biuro technikos apskaitos sistema / Stocktaking information system of computer and office equipmentKulieša, Remigijus 08 January 2006 (has links)
The information system created performs the following functions: standardizes the process of failure registration and management; allows monitoring and receiving information in different sections adapted for certain groups; provides opportunity to evaluate the existing situation of provision with equipment and plan future investments within time scale; allows service of a whole group of users in one time. The information system has been created by using open source software – which enables to avoid additional investments.
|
258 |
UML CASE įrankio išplėtimas modelių transformacijomis / UML CASE tool extension with model transformationsVitiutinas, Ruslanas 06 June 2006 (has links)
In this master thesis the advanced design methodology is presented by which information systems requirements represented with precise UML models are transformed to project. The first section describes a research of five existing MDA tools comparison according to evaluation criteria. This criteria covers model to model and model to code transformations approach, platform of generated code and integration with UML CASE tools abilities. For requirements model transformation to design, plug-in for CASE tool MagicDraw is created according MDA standards. Model transformation plug-in takes system requirement model as input and generates design model. In this way it is possible to implement design methods that have explicit design rules. Created plug-in requirements, functional specification and architecture described in Project section. The investigation section describes investigation of the developed plug-in. In this section were investigate the working efficiency of designer increasing and the quality of design models ensuring with create MagicDraw plug-in.
|
259 |
Veiklos procesų vykdymo modeliavimas, taikant UML veiklos grafus / Workflow modelling using UML activity diagramsGudonavičius, Linas 31 May 2004 (has links)
In this thesis are analysed correctness for verification ability of UML activity diagrams by using hypergaphs. There suggested the transformation from UML activity diagram to hypergraph and verification algorithm of hypergraph, which can be used for expanding the capabilities of CASE tools for workflow and e-business modelling.
|
260 |
Veiklos taisyklių vaizdavimas duomenų bazių struktūrų schemomis / DESCRIPTION OF BUSINESS RULES IN DATABASE STRUCTURING APPROACHDrąsutavičiūtė, Giedrė 11 January 2005 (has links)
While information system is design it is very important to understand organization processes, their constrains in requirements level. The business rules structuring is one of the problem to design information system. In this article at large is analyzed business rules classification and description ways in database designing and planning methods, including presentation of their advantages and disadvantages. Basing on the analysis work, the model of the business rules structuring process is proposed and the possibilities for the further development of this models are described.
|
Page generated in 0.0458 seconds