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: Unıversıty Of Oxford
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- A case study on how to explore and professionally develop Iraqi test writers' language assessment literacy through lesson study model
Ders incelemesi modeli yoluyla Iraklı test hazırlayıcılarının dil değerlendirme okuryazarlığının keşfi ve mesleki gelişimine yönelik bir durum çalışması
ATTAA GALALI
- 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
- İ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üzik ve Güzel Sanatlar ÜniversitesiMüzik Eğitimi Ana Bilim Dalı
DR. ÖĞR. ÜYESİ GÜLBAHAR URHAN
- 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
- The role of corporate governance in strengthening Uganda's economic diplomacy
Uganda'nın ekonomik diplomasisini güçlendirmede kurumsal yönetişimin rolü
SHEİLAH NIMUSIIMA
Yüksek Lisans
İngilizce
2025
İşletmeAtılım Üniversitesiİşletme Ana Bilim Dalı
Prof. Dr. ALİ RIZA ZAFER SAYAR