Programvarublueprint

GUI-formdesignRedigera

GUI-formdesignen (se GUI-verktygslåda) är allmänt använd inom programvaruindustrin och gör det möjligt för programmeraren att specificera en normativ beskrivning av utseendet på GUI-widgetar i ett fönster. Denna beskrivning kan översättas direkt till den kod som tecknar GUI:n (eftersom den är normativ).

Maskinöversättbara samordningsspråk (t.ex. CDL)Redigera

Språk som Concurrent Description Language (CDL) separerar en applikations makroskopiska logik (kommunikation, synkronisering och skiljedom) från komplexa tillämpningar med flera trådar och/eller flera processer till en enda sammanhängande visuell representation. Den normativa karaktären hos denna beskrivning innebär att den kan maskinöversättas till en exekverbar ram som kan testas med avseende på strukturell integritet (upptäckt av kapplöpningstillstånd, låsningar etc.) innan den mikroskopiska logiken är tillgänglig.

KlasskonstruktörerRedigera

Klasskonstruktörer gör det möjligt att specificera godtyckligt komplexa datastrukturer i en praktisk form och den normativa karaktären hos denna beskrivning gör det möjligt att generera exekverbar kod för att utföra listhantering, formatöversättning, byte av endian och så vidare.

MjukvarukonstruktörerRedigera

Klasser används som byggstenar av mjukvarukonstruktörer för att modellera mer komplexa strukturer. Inom programvaruarkitektur är UML (Unified Modeling Language) en industristandard som används för att modellera programvarans ritningar. UML representerar struktur, associationer och interaktioner mellan olika programvaruelement, som klasser, objekt eller komponenter. Det hjälper programvarukonstruktören att konstruera, analysera och kommunicera idéer till andra medlemmar av programvarugemenskapen.