Formeeltechnisch

Formeeltechnisch is een Nederlands bijvoeglijk naamwoord dat wordt gebruikt om zaken te beschrijven die zowel formele als technische aspecten betreffen. Het is een samenstelling van formeel en technisch en verschijnt vooral in vaktaal van engineering, informatica en kwaliteitsmanagement. In deze context verwijst het naar benaderingen, eisen en processen die een hoge mate van formele precisie en technische zorg vereisen, zoals formele specificaties, formele verificatie en formeel testen.

Toepassingsgebieden omvatten software- en systeemengineering, constructie, en ICT-governance. Een formeeltechnische aanpak omvat vaak het opstellen van formele specificaties, het uitvoeren van formele verificatie en het documenteren van technische aannames en constraints.

Voorbeelden van termen zijn: formeeltechnische eisen, formeeltechnische analyse, formeeltechnische validatie.

Relaties: verwant aan formele methoden (formal methods) zoals Z, VDM en Event-B, en aan procedures zoals model checking en wiskundig bewijs. Het begrip is minder een aparte discipline dan een beschrijving van een benadering binnen meerdere disciplines.

Zie ook: formele methoden, formele verificatie, specificatietalen, model checking.