Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Development of a library for automated verification of UML models
Download
index.pdf
Date
2006
Author
Çelik, Makbule Filiz
Metadata
Show full item record
Item Usage Stats
246
views
102
downloads
Cite This
Software designs are mostly modeled as Unified Modeling Language (UML) diagrams when object oriented software development is concerned. Some popular topics in the industry such as Model Driven Development, generating test cases automatically in the early phases of software development, automated generation of code from design model etc. use the benefits of UML designs. All of these topics have something in common which is the need for accuracy against the meta-model not to face problems in the latter phases of the development process. Support on the full checking of the design models is necessary for the detection of design inconsistencies. This thesis presents an approach for automated verification of UML design models and explains the implementation of the library called UMLChecker.
Subject Keywords
Computer Software.
URI
http://etd.lib.metu.edu.tr/upload/2/12607256/index.pdf
https://hdl.handle.net/11511/15994
Collections
Graduate School of Informatics, Thesis
Suggestions
OpenMETU
Core
A gis domain framework utilizing jar libraries as components
Ödoğru, Ebru; Doğru, Ali Hikmet; Department of Computer Engineering (2005)
A Component Oriented Software Engineering (COSE) modeling environment is enhanced with the capability to import executable components and deliver applications through their composition. For this purpose, an interface layer that utilizes JAR libraries as components has been developed. Also, Domain Engineering process has been applied to Geographical Information Systems (GIS) domain and utilized towards converting the environment to a development framework. The interface layer imports JAR libraries into the C...
Investigation of the effects of structural characteristics of object-oriented software on fault-proneness
Gölcük, Halit; Bilgen, Semih; Department of Electrical and Electronics Engineering (2014)
This study investigates the effects of structural characteristics of object-oriented software, which are observable at the model level of the software developed by means of Unified Modeling Language (UML), on software quality, assessing quality in terms of fault-proneness. In the scope of this thesis study, real-time embedded software components developed by Aselsan, a leading defense industry company in Turkey, were analyzed. The correlation between software metrics measured from the UML models of the soft...
Analysis Pattern of Sanliurfa Harran Plain in UML and its Implementation in Geodatabase
Çubuk, Ulaş; Usul, Nurünnisa; Department of Geodetic and Geographical Information Technologies (2004)
An emerging trend in GIS is the adoption of object oriented concepts for both logical and physical design phases. Extensive research has been conducted on logical design of GIS and several conceptual models have been proposed. Classical data models like the relational data model have proven to be insufficient for the conceptual modeling of spatial data. Therefore among other object oriented modeling tools, a new modeling language, Unified Modeling Language (UML) has also become a popular modeling tool in th...
Using collaboration diagrams in component oriented modelin
Tuncel, Mehmet Burhan; Doğru, Ali Hikmet; Department of Computer Engineering (2006)
Component Oriented Software Engineering (COSE) seems to be the future of software engineering. Currently, COSEML is the only modeling language that completely supports the COSE approach. Abstract decomposition of the system and their representing components are shown in a hierarchy diagram to support the COSE process model. In COSEML, only static modeling is supported through this single diagram. However, software is about behavior and static modeling is not sufficient to describe the system. The aim of thi...
An Automated defect detection approach for cosmic functional size measurement
Yılmaz, Gökçen; Demirörs, Onur; Department of Information Systems (2012)
Software size measurement provides a basis for software project management and plays an important role for its activities such as project management estimations, process benchmarking, and quality control. As size can be measured with functional size measurement (FSM) methods in the early phases of the software projects, functionality is one of the most frequently used metric. On the other hand, FSMs are being criticized by being subjective. The main aim of this thesis is increasing the accuracy of the measu...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
M. F. Çelik, “Development of a library for automated verification of UML models,” M.S. - Master of Science, Middle East Technical University, 2006.