Terms for subject Information technology containing Formal

English	Dutch
Formal description of arbitrary systems by means of functional languages	formele beschrijving van arbitraire systemen met behulp van functionele talen
formal heuristic	formele heuristiek
formal inference	deductie
formal inference	formele gevolgtrekking
formal inference	formele inferentie
formal language	formele taal
formal language	kunstmatige taal
formal language	kunsttaal
formal logic	formele logica
Formal methods for asynchronous systems	formele methoden voor asynchrone systemen
formal parameter	formele parameter
formal parameter mode	formele parameterwerkstand
formal program error	formele programmafout
formal public identifier	formele publieke identificatie
formal public identifier	formele publieke identificatieparameter
formal public identifier	formele openbare identificator
formal public identifier error	formele publieke identificatiefout
formal public identifier error	formele openbare identificatiefout
formal reasoning	formeel redeneren
formal specification	formele specificatie
formal system	formeel systeem
formal system	stelsel van axioma's
formal system	systeem van formele logica
formal testing	formele test
Integrated formal approach to industrial software development	geïntegreerde formele aanpak van industriële programmatuurontwikkeling
Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems	individueel werkstation voor incrementele grafische specificatie en formele implementatie van niet-sequentiële systemen
system of formal logic	stelsel van axioma's
system of formal logic	systeem van formele logica
system of formal logic	formeel systeem