Integrating structured and formal methods: A case study
Yapisal ve biçimsel yöntemlerin birleştirilmesi: Bir örnek çalişma i̇ncelemesi
- Tez No: 820492
- Danışmanlar: PROF. DR. MARK JOSEPHS
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1991
- Dil: İngilizce
- Üniversite: University of Oxford
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 92
Özet
Yapısal ve biçimsel yöntemler bir arada uygun bir şekilde kullanıldığında birbirlerini tamamlayabilirler. Mevcut proje her iki yöntem ailesinden birer yöntem (LBMS Sistem Mühendisliği ve Z) kullanarak böyle bir yaklaşımı incelemektedir. LBMS Sistem Mühendisliği yapısal yöntemiyle zaten analiz edilmiş bir örnek çalışma veri modeli ve işlem mantığı açısından Z biçimsel yöntemiyle belirlenmiştir. Tutarlı bir yapı kazandırmak için, belirleme standardize edilmiş şemalarla yapılmıştır. Z ile, aksi durumda gayriresmi olarak belirtilecek olan, sistemdeki kısıtların yakalanması da önemli bir kazanımdır.
Özet (Çeviri)
Structured methods and formal methods may complement each other if used together in an appropriate way. The project explores such an approach using one method from each family: LMBS Systems Engineering and Z. The data model and the processing logic of a case study, already analyzed in LBMS Systems Engineering, are specified here in Z. Standardized schemas are used to impose a consistent structure upon the specification. Also of importance is the ability to capture the constraints on the system by using Z. These constraints would otherwise be stated informally.
Benzer Tezler
- İran halk ezgilerinin başlangıç piyano eğitimi için düzenlenmesi ve kullanımının değerlendirilmesi
The arrangement and pedagogical evaluation of Iranian folk melodies for use in beginner level piano education
ROJIN MAJIDI
Yüksek Lisans
Türkçe
2025
Eğitim ve ÖğretimANKARA MÜZİK VE GÜZEL SANATLAR ÜNİVERSİTESİMüzik Eğitimi Ana Bilim Dalı
DR. ÖĞR. ÜYESİ GÜLBAHAR URHAN
- Reflection on vernacular adaptation in zaatari refugees' camp shelters
Zaatarı mültecilerinin kamp barınaklarında yerel dil uyumuna ilişkin düşünceler
HANEEN FAISAL IBRAHEEM ABUMAHFOUZ
Yüksek Lisans
İngilizce
2025
MimarlıkAnkara Yıldırım Beyazıt ÜniversitesiAfet ve Acil Durum Yönetimi Ana Bilim Dalı
Prof. SALAH HAJISMAIL
- Sayısal ortamda yaparak tasarlamanın bir yordamı olarak katlamak
Folding as a procedure of 'design through making' in digital medium
SAADET ZEYNEP BACINOĞLU
Doktora
Türkçe
2023
Endüstri Ürünleri Tasarımıİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. ARZU ERDEM
- State and civil society relation in Türkiye: The case of women csos
Türkiye'de Devlet ve sivil toplum ilişkisi: Kadın örgütleri örneği
TUNA YÜCEL
Yüksek Lisans
İngilizce
2025
SosyolojiOrta Doğu Teknik ÜniversitesiSosyal Politika Ana Bilim Dalı
DOÇ. DR. AYÇA ERGUN ÖZBOLAT
- Virtual landscape pattern design analysis in digital games: A case study of Albion Online
Dijital oyunlarda sanal peyzaj deseni tasarımının analizi: Albion Online örnek olay incelemesi
ZEYNEP KARAMAN
Yüksek Lisans
İngilizce
2025
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiPeyzaj Mimarlığı Ana Bilim Dalı
DR. ÖĞR. ÜYESİ IKHWAN KIM