İçeriğe atla

Biçimsel yöntemler

Bilgisayar bilimlerinde, özellikle yazılım mühendisliği ve donanım mühendisliğinde biçimsel yöntemler; yazılım ve donanım sistemlerinin spesifikasyonu, geliştirilmesi ve doğrulanması için matematiksel olarak belirli teknikler bütünüdür.[1] Yazılım ve donanım tasarımı için biçimsel yöntemlerin kullanılması, diğer mühendislik disiplinlerinde olduğu gibi, uygun matematiksel analizin yapıldığı bir tasarımın güvenilirliğine ve sağlamlığına katkıda bulunabileceği beklentisiyle geliştirilir.[2]

Biçimsel yöntemler, en temel teorik bilgisayar bilimi konularının, özellikle mantık, biçimsel diller, otomata teorisi ve program semantiği gibi oldukça geniş bir çeşitliliğin uygulanmasıdır.Aynı zamanda, yazılım ve donanım özelliklerinde sorunların üstesinden gelmek için tip sistemleri, cebirsel veri türleri ve doğrulama gibi alanlarda kullanılmaktadır.[3]

Kaynakça

  1. ^ R. W. Butler (2001-08-06). "What is Formal Methods? 8 Aralık 2006 tarihinde Wayback Machine sitesinde arşivlendi.". Retrieved 2006-11-16.
  2. ^ C. Michael Holloway. "Why Engineers Should Consider Formal Methods 16 Kasım 2006 tarihinde Wayback Machine sitesinde arşivlendi." (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). Retrieved 2006-11-16.
  3. ^ Monin, pp.3-4

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Mühendislik</span> tasarımdan ekipman imalatına kadar ilerleyişi sağlayan işlevler kümesi, uygulamalı bilim

Mühendislik, köprüler, tüneller, yollar, araçlar ve binalar dahil olmak üzere makineler, yapılar ve diğer öğeleri tasarlamak ve inşa etmek için bilimsel ilkelerin kullanılmasıdır. Mühendislik disiplini, her biri uygulamalı matematik, uygulamalı bilim ve uygulama türlerinin belirli alanlarına özel vurgu yapan, geniş bir yelpazede uzmanlaşmış mühendislik alanları’nı kapsar.

<span class="mw-page-title-main">Bilgisayar mühendisliği</span> bilgisayar donanımı ve yazılımı geliştirmek için bilgisayar bilimi ve elektrik mühendisliğini entegre eden disiplin

Bilgisayar mühendisliği temel olarak yazılım, programlama ve algoritma ile ilgilenir. Bilgisayar ağları, veri tabanı yöneticiliği ve gömülü sistemler de diğer çalışma alanlarıdır.

<span class="mw-page-title-main">Bilgisayar bilimi</span> belirli evren kurallarına dayalı, sistematik çalışan ve elementlerin ya da ağların birbirleriyle olan ilişkisi

Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.

Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.

<span class="mw-page-title-main">Makine mühendisliği</span> Mühendislik

Makine mühendisliği, mekanik sistemlerin tasarım, analiz, imalat ve bakımı için mühendislik fiziği ve mühendislik matematiği ilkelerini malzeme bilimi ile birleştiren bir mühendislik dalıdır.

<span class="mw-page-title-main">Georgia Teknoloji Enstitüsü</span>

Georgia Teknoloji Enstitüsü, Atlanta, Georgia ABD'de bulunan, daha çok mühendislik ve bilişim bilimleri konusunda adını duyurmuş bir üniversitedir. Günlük konuşmada GaTech, Georgia Tech veya Tech olarak anılmaktadır, kısaltma olarak ise genelde GT kullanılır. U.S. News tarafından yapılan sıralamalarda devlet üniversiteleri arasında ilk onlarda yer alır. Okul aynı zamanda Georgia Üniversite Sisteminin bir parçasıdır.

<span class="mw-page-title-main">İnsan-bilgisayar etkileşimi</span>

İnsan bilgisayar etkileşimi, insanların bilgisayarlar ile etkileşimini inceler. Disiplinlerarası bir alandır. Bilgisayar bilimlerinin yanında, daha pek çok alan ile ilintilidir. İnsanın ve bilgisayarın etkileşimi, arayüzler aracılığı ile gerçekleşir. Bu arayüzler, yazılımın bir işlevi olabileceği gibi, çeşitli donanım bileşenleri ile de etkileşim sağlanabilir.

<span class="mw-page-title-main">Bilgisayar mimarisi</span>

Bilgisayar mimarisi, en küçüğe ve en başarılıya ulaşmayı hedeflerken aynı zamanda maliyeti de göz önünde bulundurduğu için sanat ve bilimin ortak buluştuğu nokta olarak da tanımlanır. Bilgisayar Mimarisi, bilgisayar parçalarının iç yapıları ve aralarındaki haberleşme bağlantıları ile ilgilidir.

<span class="mw-page-title-main">Tersine mühendislik</span>

Tersine mühendislik, bir aygıtın, objenin veya sistemin; yapısının, işlevinin veya çalışmasının, çıkarımcı bir akıl yürütme analiziyle keşfedilmesi işlemidir. Makine veya mekanik alet, elektronik komponent, yazılım programı gibi parçalarına ayrılması ve çalışma prensiplerinin detaylı şekilde analizini içerir.

<span class="mw-page-title-main">Sayısal analiz</span>

Sayısal analiz, diğer adıyla nümerik analiz veya sayısal çözümleme, matematiksel analiz problemlerinin yaklaşık çözümlerinde kullanılan algoritmaları inceler. Bu nedenle birçok mühendislik dalı ve doğa bilimlerinde önem arz eden sayısal analiz, bilimsel hesaplama bilimi olarak da kabul edilebilir. Bilgisayarın işlem kapasitesinin artması ile gündelik hayatta ortaya çıkan birçok sistemin matematiksel modellenmesi mümkün olmuş ve sayısal analiz algoritmaları burada ön plana çıkmıştır. 21. yüzyıldan itibaren bilimsel hesaplama yöntemleri mühendislik ve doğa bilimleri ile sınırlı kalmamış ve sosyal bilimler ile işletme gibi alanları da etkilemiştir. Sayısal analizin alt başlıklarına adi diferansiyel denklemlerin yaklaşık çözümleri ve özellikle veri biliminde önem taşıyan sayısal lineer cebir ile optimizasyon örnek gösterilebilir.

Bölüm, Karadeniz Teknik Üniversitesi Kanuni Kampüsü içinde yer alan kendi bölüm binasındaki derslik ve laboratuvarları ile her yıl 600 civarında lisans öğrencisine hizmet vermektedir. Her yıl 85-100 arasında öğrenci alınan bölümde 6 profesör, 6 doçent, 12 yardımcı doçent, 1 öğretim görevlisi ve bir uzman bulunmaktadır. Ayrıca 20 araştırma görevlisi de eğitim-öğretimin değişik kademelerinde yardımcı elemanlar olarak hizmet vermektedir.

Bilgisayar bilimci, bilgisayar bilimi, bilgi ve hesaplamanın teorik temellerinin incelenmesi ve bunların uygulamaları hakkında uzmanlaşmış bir kişidir.

Yazılım mimarisi, bir bilgisayar sistemini meydana getiren yazılım bileşenleri, görünür dış özellikleri ve bunlar arasındaki ilişkilerdir. Bilgisayar mühendisliği ve yazılım mühendisliğinde karmaşıklık önemli bir konudur. Mühendisler, önceleri bu sorunu düzgün veri yapılarını kullanarak aşmaya çalıştı. Ancak 1980'lerden beri yazılım mimarisi, karmaşıklaşan sistemlerde yazılım mühendisi öncüleri tarafından kullanılmaktadır. 1990'lardan itibaren tasarım şablonları, formal diller vs. geliştirildi.

<span class="mw-page-title-main">Hesaplamalı fizik</span>

Hesaplamalı fizik, fizik sorunlarını çözebilmek için sayısal algoritmaların üretilmesi ve gerçeklenmesini içerir. Genelde kuramsal fizikin bir alt dalı olarak değerlendirilir ancak bazen de kuramsal ve deneysel fizik arasında orta bir dal olarak da düşünülür.

Ankara Üniversitesi Bilgisayar Mühendisliği, lisans eğitimine 2003-2004, yüksek lisans eğitimine ise 2004 öğretim yılında ilk öğrencilerini alarak başlamıştır. 2013 yılına kadar sırasıyla Ankara Üniversitesi Tandoğan Kampüsü ve Ankara Üniversitesi Keçiören Yerleşkesi'nde eğitim vermiştir. 2013-2014 öğretim yılından itibaren eğitimine 50. Yıl Kampüsü 'nde Mühendislik Fakültesi bünyesinde devam etmektedir. Bölümde 4 yıllık lisans eğitiminin yanında bilgisayar mühendisliği alanında yüksek lisans ve doktora eğitimi de verilmektedir.

<span class="mw-page-title-main">Demiryolu mühendisliği</span>

Demiryolu mühendisliği her türlü Demiryolu sisteminin tasarımı, yapımı ve işletim ile ilgili bir mühendislik dalıdır. İnşaat mühendisliği, bilgisayar mühendisliği, elektrik-elektronik mühendisliği, makine mühendisliği, endüstri mühendisliği ve üretim mühendisliği gibi çok çeşitli mühendislik dallarını kapsar.

<span class="mw-page-title-main">İşlev modeli</span>

Sistem ve yazılım mühendisliğindeki işlev modeli modellenen sistem veya konu alanının işlevlerinin yapısal temsilidir.

Bir sistem mimarisi veya çoklu sistemlerin mimarisi; sistemin yapısını, davranışını ve biçimselliğini tanımlayan kavramsal modeldir. Bir mimari tanımı; sistemin yapıları ve davranışları hakkında mantıksallığı destekleyecek şekilde organize edilen ilişkiselliğin standart bir açıklaması veya temsilidir.

<span class="mw-page-title-main">Bilimsel hesaplama</span>

Bilimsel hesaplama karmaşık problemleri anlamak ve çözmek için gelişmiş bilgi işlem yeteneklerini kullanan çok disiplinli bir alandır. Hesaplamalı bilim üç farklı unsuru birleştirmektedir:

Peter Pin-Shan Chen 1947 yılında doğmuş Tayvanlı bir Amerikan bilgisayar bilimcisidir. 1976'da varlık-ilişki modelinin geliştirilmesiyle tanınan Carnegie Mellon Üniversitesi'nde seçkin bir kariyer bilimcisi ve öğretim üyesidir.