Yapılardaki Kat Adedinin Büyük Kentlerin Güneş Enerjisinden Akılcı Yararlanmasına Etkileri

Büyük BT Organizasyonlarında Kullanılabilirlik

Öz. Kullanılabilirlik kavramı günümüzde çok fazla bilginin çok küçük cihazlara sığdırma zorunluluğu, rekabetin artması, kullanıcı için alternatiflerin çoğalması gibi nedenlerle oldukça popüler olup, kullanıcı deneyiminin kontrol altına alınması olarak tanımlanmaktadır. ISO 9241 standardında ise kullanıcının amacına etkin, etkili ve tatmin edici şekilde ulaşılmasının sağlanması olarak açıklanmak...

Büyük veri anlamlandırmada panoramik yaklaşım

Automata for KAT Expressions

Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...

KAT and PHL in Coq

In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...

Büyük Ölçekli Bir Gömülü Yazılımın Geliştirme ve Otomatik Test Deneyimi

Özetçe. ASELSAN REHİS grubu bünyesinde geliştirilmekte olan büyük ölçekli ve uzun süreli bir elektronik harp projesinde, bir gömülü kontrol yazılımının çevik yöntemlerle geliştirilme süreci ve bu süreçte kullanılan otomatik test kurgusu bu bildirinin konusudur. Bildiride gömülü kontrol yazılımlarında geliştirme ve test aşamalarında yaşanan sıkıntılar, bu sıkıntıların çevik yöntemler ve otomatik...