• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • 1
  • 1
  • Tagged with
  • 5
  • 5
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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.
1

MDA: A Methodology of User Interface Transformation for Microsoft .NET Framework Platform

Lu, Hui-Hsueh 22 June 2011 (has links)
Graphic user interface has become the mainstream of today¡¦s web-based systems. The object oriented technique and the diagrams from the Unified Modeling Language (UML) are becoming the major tools for modeling the platform independent model (PIM) of a web-based system. Once the PIM is constructed, the results can then be transformed into its platform specific model and template code based on the model driven architecture (MDA) approach. However, the detailed guideline for the transformation from PIM to the Microsoft .Net platform is lacking. Therefore, this study presents a methodology which provides guidelines for the transformation from PIM to Microsoft .Net platform for a web-based system. The research methodology is articulated using the design science research methodology. A usability evaluation with a real-world web-based system case is performed to demonstrate its applicability. The results indicated that with this proposed method, the system developer can effectively transform the PIM of a web-based system into its Microsoft .Net platform and template code.
2

Rozšíření komunikačního protokolu MPKT na platformě .NET / MPKT communication protocol extension on .NET platform

Görlich, Tomáš January 2009 (has links)
This thesis is focused on extension of MPKT 2008 communication protocol. It has been made analysis of this protocol version and proposals to improve and extend this version with other options have been raised. It has been created a new version of the protocol on the basis of the proposals. Then the .NET platform has been presented and its architecture has been described. The C# language available on the .NET platform has been chosen to implement the new protocol version and its facilities for network communication and threading have been described. It has been said an assessment of the application of this programming language in practical lessons. A proposal to update tutorial texts has been made.
3

Překladač jazyka Prolog pro .NET / Prolog Compiler for .NET Platform

Haljuk, Petr January 2017 (has links)
This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.
4

Statinė CIL kodo analizė, remiantis simboliniu vykdymu / Static CIL code analysis using symbolic execution

Neverdauskas, Tomas 26 August 2010 (has links)
Programinės įrangos testavimas ir kokybės užtikrinimas yra svarbus programų sistemų inžinerijos kūrimo uždavinys, siekiant sukurti tinkamą naudojimui produktą. Yra daug skirtingų metodikų kuriamai programinei įrangai testuoti, tačiau vieningos sistemos, kuri būtų universali – nėra. Įvairūs tyrimai vykdomi programinės įrangos testavimo srityje duoda skirtingus rezultatus. Testavimo procesas taip pat svarbus ir praktikoje – be jo negali išsiversti nei vienas organizacija susijusi su programinės įrangos kūrimu ir plėtojimu. Šis darbas remiasi modeliu paremto testavimo paradigma ir simboliniu vykdymo metodika. Darbe apžvelgiamos teorinės simbolinio vykdymo galimybės, jo pritaikymas .Net platformoje ir papildomos priemonės, kurios reikalingos įgyvendinti tokią sistemą. Taip pat trumpai pristatomas magistro projektinis darbas, aprašomi sukurti inžinerinio produkto svarbiausi aspektai. Pagal teorinę medžiaga sukurtas simbolinio vykdymo variklis – Symex. Darbe nagrinėjamas praktinis tokio įrankio pritaikymas generuojant vienetų testus iš išeities kodo – eksperimentiškai tiriamos ir lyginamos simbolinio vykdymo ir atsitiktinių įėjimų vienetų testų kūrimo galimybės .Net platformoje. / Testing complex safety critical software always was difficult task. Development of automated techniques for error detection is even more difficult. Well known techniques for checking software are model checking static analysis and testing. Symbolic execution is a technique that is being used to improve security, to find bugs, and to help in debugging. A symbolic execution engine is basically an interpreter that figures out how to follow all paths in a program. It is a static code analysis technique. This work presents symbolic execution background, current state, analysis the possibilities of implementation on the .Net framework and platform. The work describes the master project – bug tracking software “Crunchbug” and the tool – Symex (symbolic execution engine) for .Net platform. Symex is white box model based automatic unit test generator and it is evaluated against two other tools – Microsoft Pex and framework that generates unit test inputs random. Detailed experiments made to cover symbolic execution possibilities with proprietary benchmarks and real code from the master project.
5

Systém navigace pomocí GPS pro účely cementárenské technologie / GPS Navigation system for cement technology

Mináč, Ján January 2009 (has links)
This diploma work deals with proposal and implementation GPS navigation system. Work includes described basic types of cement quarry and proposal to create mathematical and software model of quarry. Then work is devoted to possibilities of basic described algorithms for searching the shortest way in graph and two algorithms are described. They are Floyd-Warshall and Dikjstra algorithms. The work describe implementation of Dijkstra algorithm to model of quarry and description of the programs Autec RouteEditor and AQL Control Library. MINÁČ, J. GPS navifgation system for cement for cement technology. Brno: Brno university of technology, Faculty of electrical engineering and communication, 2009. 90 p. Supervisor prof. Ing. František Zezulka, CSc.

Page generated in 0.0811 seconds