SOFTVERSKO INŽENJERSTVO

Bug nije nesreća.
To je odluka.

Industrija je naslijedila definiciju kvalitete i prestala je preispitivati. Brickter je ne prihvaća. Ne poboljšavamo standard. Zamjenjujemo ga.

FILOZOFIJA

Softver se ne programira.
Deklarira se.

Dijagram deklarativne sheme
PROGRAMIRATI VS DEKLARIRATI

Deklarirati je nemoguće slomiti.

Programirati znači improvizirati korake. Deklarirati znači tvrditi što mora postojati. Razlika nije tehnička: filozofska je.

Kada programiraš, opisuješ kako: krhki niz uputa koji može pokvariti na bilo kojem retku. Kada deklariraš, opisuješ što: potpun, zatvoren i provjerljiv model. Deklaracija uklanja dvosmislenost; program je gomila. Deklariranje smanjuje prostor greške jer nema improviziranog puta: samo istine koje sustav prihvaća ili odbija.

Brickter Compiler ide s tom idejom do kraja. Strogo provjerava svaku deklaraciju dok model nema punog smisla: bez nemogućih stanja, bez slomljenih ugovora, bez slobodne interpretacije. Nije kompajler koji prevodi kod: ontološki je filter. Ako nešto ne pristaje u deklarirani svijet, ne postoji. Zato s Brickter Compilerom pogreška više nije opcija.

Softver

Svjetski

Izvrsnost u softverskom inženjerstvu omogućuje nam rješavati najsloženije probleme i graditi proizvode koji transformiraju cijele industrije.

Kontakt