Geri Dön

An extended semantic analyzer for Ada'95

Ada'95 için genişletilmiş anlam analizörü

  1. Tez No: 112101
  2. Yazar: MEHMET ÖZGÜR KARAHAN
  3. Danışmanlar: DOÇ. DR. CAN ÖZTURAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2001
  8. Dil: İngilizce
  9. Üniversite: Boğaziçi Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 67

Özet

ÖZET ADA'95 İÇİN GENİŞLETİLMİŞ ANLAM ANALİZÖRÜ Genişletilmiş anlam kuralı, bir yazılım dilindeki standart anlam kurallarından farklı olarak, uygulandığı yazılımın kalitesini arttırmak için tasarlanmış bir anlam kuralıdır. Bu tezde Ada yazılım dili için bir anlam kuralları kümesi tasarlanmış ve bu kuralların yazılım kalitesi üzerindeki etkinliği tartışılmıştır. Tezde ayrıca, Ada yazılım kodlarının bu anlam kurallarına uygunluğunu tesbit edebilen bir yazılım aracının geliştirilmesi anlatılmıştır. Bu yazılım aracının etkinliği bir örnek üzerinde tartışılmış, ayrıca geniş bir Ada yazılımı kodu üzerinde denenmiştir.

Özet (Çeviri)

IV ABSTRACT AN EXTENDED SEMANTIC ANALYZER FOR ADA'95 An extended semantic rule is a rule which we expect a program in a particular language to obey in addition to the standard semantic rules enforced by the compiler for the language. Such extended semantic rules may be necessary to ensure that software has certain software quality attributes. In this work, an Extended Semantic Rule Set (ESRS) that contains certain semantic restrictions for Ada' 95 programs is defined and the effectiveness of that rule set to increase software quality attributes of Ada codes is examined. The work done in this thesis also describes the design and implementation of a software tool, a Semantic Analyzer (SCA) that checks the compliance of a given Ada code to the Semantic Rule Set. The effectiveness of the Semantic Analyzer is discussed on sample input and its output is analyzed for a large set of previously compiled Ada code.

Benzer Tezler

  1. An ambient semantic intelligence model for scientific research

    Bilimsel araştırma için çevreleyen anlamsal zeka modeli

    AHMET SUBAŞI

    Doktora

    İngilizce

    İngilizce

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilişsel Bilim Ana Bilim Dalı

    PROF. DR. HÜSEYİN CEM BOZŞAHİN

    PROF. DR. DENİZ ZEYREK BOZŞAHİN

  2. Bir veri tabanının günlük dil kullanılarak sorgulanması için bir arayüz tasarımı

    Design of an interface to query a database using natural language

    AKIN ÖZÇİFT

    Yüksek Lisans

    Türkçe

    Türkçe

    2000

    Elektrik ve Elektronik MühendisliğiHacettepe Üniversitesi

    Elektrik-Elektronik Ana Bilim Dalı

    YRD. DOÇ. DR. MEHMET DEMİRER

  3. Mimari bir dilin biçim grameri analizi ve bilgisayar ortamında sunumu

    Başlık çevirisi yok

    EDA VELİBAŞOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    Mimarlıkİstanbul Teknik Üniversitesi

    DOÇ.DR. GÜLEN ÇAĞDAŞ

  4. Adverbials in Turkish: The third parameter in aspectual interpretation

    Türkçe'de belirteçler: Görünüş yorumundaki üçüncü parametre

    MİNE GÜVEN

    Doktora

    İngilizce

    İngilizce

    2004

    DilbilimBoğaziçi Üniversitesi

    Dilbilim Ana Bilim Dalı

    PROF.DR. ESER ERGUVANLI TAYLAN