Bir hata kaza değildir.
Bu bir karardır.
Sektör bir kalite tanımını miras aldı ve sorgulamayı bıraktı. Brickter bunu kabul etmez. Standardı iyileştirmeyiz. Onu değiştiririz.
Bir hata kaza değildir.
Yazılım programlanmaz.
Bildirilir.
Bildirmek kırılamaz.
Programlamak adımları doğaçlamaktır. Bildirmek neyin var olması gerektiğini ileri sürmektir. Fark teknik değil: felsefidir.
Programladığınızda nasılı tanımlarsınız: herhangi bir satırda başarısız olabilecek kırılgan bir talimat dizisi. Bildirdiğinizde neyi tanımlarsınız: eksiksiz, kapalı ve doğrulanabilir bir model. Bildirim belirsizliği ortadan kaldırır; program biriktirir. Bildirmek hata alanını küçültür çünkü doğaçlanmış bir yol yoktur: yalnızca sistemin kabul ettiği veya reddettiği gerçekler vardır.
Brickter Compiler bu fikri sonuna kadar götürür. Model tam anlam kazanana kadar her bildirimi sıkı biçimde doğrular: imkânsız durumlar, kırık sözleşmeler, serbest yorum yok. Kod çeviren bir derleyici değil: ontolojik bir filtredir. Bildirilen dünyaya uymayan bir şey varsa, yoktur. Bu yüzden Brickter Compiler ile hata yapmak bir seçenek olmaktan çıkar.
Yazılım
Küresel
Yazılım mühendisliğindeki mükemmellik, en karmaşık sorunları çözmemizi ve bütün sektörleri dönüştüren ürünler oluşturmamızı sağlar.
İletişim