Development of a library for automated verification of UML models
UML modellerinin otomatik olarak doğrulanmasını sağlayan bir kütüphane geliştirilmesi
- Tez No: 180827
- Danışmanlar: DR. ALTAN KOÇYİĞİT
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: UML, tutarlılık kontrolü, UML model kontrolü, WFRv, UML, verification, UML model checking, WFRiv
- Yıl: 2006
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Enformatik Enstitüsü
- Ana Bilim Dalı: Bilişim Sistemleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 78
Özet
Nesne yönelimli yazılım geliştirme konusunda The Unified Modeling Language(UML) en fazla tercih edilen ve en yaygın kullanıma sahip olan modellemeyöntemidir. Model Yönelimli Geliştirme, yazılım geliştirme sürecinde otomatikolarak test verisi üretme ve modelden koda otomatik geçiş gibi bir çok konu sonyıllarda popüler olmuştur. Bu çalışmalar UML kullanımı üzerindeyoğunlaşmaktadır. UML tasarımlarının faydalı olması için öncelikle doğru vegeçerli olması gerekmektedir, aksi durumda yazılım geliştirmenin ilerleyensafhalarında çeşitli sorunlara neden olacaktır. Modellerdeki olası tasarımhatalarının ve çelişkilerin bulunabilmesi için modellerin tam olarak kontrolükonusunda çalışmalara ihtiyaç vardır.Bu tezde, UML ile tasarlanmış modellerin doğruluk ve tutarlılık kontrolünü yapanbir yöntem ve bu yöntemi kullanan UMLChecker isimli bir kütüphaneningeliştirilmesi anlatılmaktadır.
Özet (Çeviri)
Software designs are mostly modeled as Unified Modeling Language (UML)diagrams when object oriented software development is concerned. Some populartopics in the industry such as Model Driven Development, generating test casesautomatically in the early phases of software development, automated generationof code from design model etc. use the benefits of UML designs. All of thesetopics have something in common which is the need for accuracy against themeta-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 ofdesign inconsistencies.This thesis presents an approach for automated verification of UML designmodels and explains the implementation of the library called UMLChecker.
Benzer Tezler
- Design, analysis and verification of conventional and non-conventional cylindrical cfrp composite shell with optimized cutout under the effect of combined loading
Üzerinde kesitler olan geleneksel ve geleneksel olmayan silindirik karbon fiber kompozit polimer kabuğun bileşik yükleme altında tasarım, analiz ve doğrulanması
MANSUR ÇELEBİ
Doktora
İngilizce
2017
Uçak Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
PROF. DR. HALİT SÜLEYMAN TÜRKMEN
PROF. DR. ZAFER GÜRDAL
- Yüz tanıma sistemlerinde canlılık analizi
Liveness detection in face recognition systems
TUGAY BOZİK
Yüksek Lisans
Türkçe
2019
Elektrik ve Elektronik MühendisliğiYıldız Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ NİHAN KAHRAMAN
- Skin lesion classification using deep convolutional neural network and HSV color space
Derin evrişimsel sinir ağı ve HSV renk uzayı kullanarak cilt lezyonlarının sınıflandırılması
TAMERLAN NUSRADDINOV
Yüksek Lisans
İngilizce
2018
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MUSTAFA ERSEL KAMAŞAK
- Binalarda enerji ve rüzgâr simülasyonlarının aynı algoritma üzerinden parametrik üretilebilmesi için model geliştirilmesi
Development of a model for parametric generation of energy and wind simulations in buildings through a single algorithm
OĞUZHAN KORAL
Yüksek Lisans
Türkçe
2024
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
DOÇ. DR. GÜLTEN MANİOĞLU
PROF. DR. MUSTAFA SERDAR ÇELEBİ
- A compilation tool for automated mapping of algorithms onto FPGA custom computing machines
Başlık çevirisi yok
İBRAHİM ŞAHİN
Doktora
İngilizce
2002
Elektrik ve Elektronik MühendisliğiNorth Carolina State UniversityDR. CLAY S. GLOSTER
DR. WİNSER E. ALEXANDER