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
- 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
- Fuar organizasyonlarında geçici süreli mekan kurgusu ve ziyaretçi davranışı ilişkisinin sentaktik olarak irdelenmesi
Examining the temporary space formation and visitor behavior relationship in fair organizations through syntactic analysis
MURAT ERYELİ
Yüksek Lisans
Türkçe
2017
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
YRD. DOÇ. DR. MEHMET EMİN ŞALGAMCIOĞLU
- Kentsel çevrede mekan-kentsel mekan kavramının irdelenmesi ve Boğaziçi mekanı
Başlık çevirisi yok
ZUHAL ÇINAR
- BIM uygulamalarında sözleşmelerden kaynaklanan sorunların incelenmesi
Contractual issues in BIM applications
BUŞRA YER
Yüksek Lisans
Türkçe
2017
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. DENİZ İLTER