SOFTWARE ENGINEERING

En bug er ikke et uhell.
Det er en beslutning.

Bransjen arvet en definisjon av kvalitet og sluttet å stille spørsmål. Brickter aksepterer den ikke. Vi forbedrer ikke standarden. Vi erstatter den.

FILOSOFI

Programvare programmeres ikke.
Den erklæres.

Diagram av det deklarative schemaet
PROGRAMMERE VS ERKLÆRE

Å erklære er umulig å knække.

Å programmere er å improvisere steg. Å erklære er å hevde hva som skal eksistere. Forskjellen er ikke teknisk: den er filosofisk.

Når du programmerer, beskriver du hvordan: en skjør sekvens av instruksjoner som kan feile på hvilken som helst linje. Når du erklærer, beskriver du hva: en komplett, lukket og verifiserbar modell. Erklæringen fjerner tvetydigheten; programmet opphoper den. Å erklære reduserer feilrommet fordi det ikke finnes noen improviserte stier: bare sannheter systemet aksepterer eller avviser.

Brickter Compiler tar den idéen til ytterligheter. Den validerer hver erklæring strengt til modellen gir full mening: uten umulige tilstander, uten brutte kontrakter, uten fri fortolkning. Det er ikke en kompilator som oversetter kode: det er et ontologisk filter. Hvis noe ikke passer inn i den erklærte verden, eksisterer det ikke. Derfor er feil med Brickter Compiler ikke lenger et alternativ.

Software

Verdensklasse

Excellence innen software engineering gjør oss i stand til å løse de mest komplekse problemene og bygge produkter som forvandler hele industrier.

Kontakt