A Formal specification method: VDM
Bir biçimsel tanımlama metodu: VDM
- Tez No: 29916
- Danışmanlar: PROF. DR. A. ZİYA AKTAŞ
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Biçimsel Metodlar, Biçimsel Tanımlama, Biçimsel Tanımlama Dilleri, VDM, VDM-SL, Viyana Geliştirme Metodu, Formal Methods, Formal Specification, Formal Specification Languages, VDM, VDM-SL, Vienna Development Method
- Yıl: 1993
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 136
Özet
oz BİR BİÇİMSEL TANIMLAMA METODU: VDM DURSUN, Hüseyin Yüksek Lisans Tezi, Bilgisayar Mühendisliği Anabilim Dalı Tez Yöneticisi : Prof. Dr. A. Ziya AKTAŞ Haziran, 1993, 125 sayfa. Bu tezde, özellikle Avrupa'da çok bilinen ve kullanılan biçimsel tanımlama dillerinden VDM (Viyana Geliştirme Metodu) ve bu dilin standardı olan VDM- SL (Viyana Geliştirme Metodu Tanımlama Dili) bir uygulamayla incelenmiş ve inceleme sonuçları bir örnek problem üzerinde uygulanmıştır. Tezde ilk olarak biçimsel tanımlama ve biçimsel tanımlama dilleri üzerinde durulmuş, sınıflandırılmış ve daha sonra VDM bu gruplardan birine yerleştirilmiştir. Bazı biçimsel tanımlama dilleri yazılım yaşam döngüsünde hem analiz hem de tasarım aşamasında kullanılabilir. Bu çalışmada VDM tasarım aracı olarak ele alınmış ve bir örneğe uygulanmıştır. Tezin sonunda, Viyana Geliştirme Metodu bir kütüphane sisteminin geliştirilmesindeki tasarım safhasında kullanılmıştır. Gerek tezde verilen örnekte, gerekse uygulamada analiz aracı olarak veri akış diyagramları kullanılmıştır. Özel sembollerin çokluğu nedeniyle kelime işlemci olarak LATgXyazilimi kullanılmıştır. Oldukça kapsamh bir kaynakça tezin sonunda verilmiş, uygulama ile ilgili PASCAL program listesi de ek olarak sunulmuştur.
Özet (Çeviri)
ABSTRACT A FORMAL SPECIFICATION METHOD: VDM DURSUN, Hüseyin M.S. in Computer Engineering Supervisor: Prof. Dr. A. Ziya AKTAŞ June, 1993, 125 pages In this study, one of the well-known, especially in Europe, and com monly used formal specification language VDM (Vienna Development Method) and its standardized structure VDM-SL (Vienna Development Method Specifica tion Language) is examined. The results are applied on a case study. Firstly, the concept of formal specification and its languages are in vestigated, classified and then VDM is placed in one of the groups. Formal specification languages can be used both as an analysis and design tool through the software development life-cycle. VDM is examined as a design tool and it is used in an example. Finally, VDM-SL is used in the development of a local library system as a case study. Both in the example and in the case study DFD (Data Flow Diagram) is used as an analysis tool. Since some special characters are needed, in the thesis a special word processing software MTgXis used. A relatively thorough list of references is given at the end. The relevant PASCAL code for the case study is presented as Annex.
Benzer Tezler
- Toplu deniz taşımacılığına yönelik değişik koşullardaki acil durum tahliye sürecinin modellenmesi, analizi ve planlanması
A methodological approach for modelling, analysis and planning of emergency evacuation process in public marine transportation systems
PEIMAN ALIPOUR SARVANI
Doktora
Türkçe
2017
Denizcilikİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. ALP ÜSTÜNDAĞ
DOÇ. DR. EMRE ÇEVİKCAN
- Kalite güvence sistemindeki bazı öğelerin denetim sürecine ilişkin bilgi tabanlı bir uzman sistem yaklaşımı
Başlık çevirisi yok
DEMET BAYRAKTAR
- Bir SNA / LU 6.2 uygulaması
An SNA / LU 6.2 application
BÜLENT ÇINARKAYA
Yüksek Lisans
Türkçe
1992
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. FÜSUN TUNALI
- Designing, verification and validation of railway signaling systems using coloured petri nets
Demiryolu sinyalizasyon sistemleri için renkli petri ağlarını kullanarak tasarım, doğrulama ve onaylama
ALI ELHAYEK
Yüksek Lisans
İngilizce
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Model checking of ambient calculus specifications against ambient logic formulas
Çevrel cebir tanımlamalarının çevrel mantık formülleri ile model denetlemesi
OZAN AKAR
Yüksek Lisans
İngilizce
2009
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET UFUK ÇAĞLAYAN