Soggettario del Sistema bibliotecario ticinese Thesaurus redatto dalla Biblioteca Nazionale Centrale di Firenze contenente i termini validi per la soggettazione di documenti in lingua italiana. Questa raccolta contempla inoltre i termini regionali in uso nella Svizzera italiana (per esempio Aggregazioni comunali, Amministrazione federale), a cura del Gruppo Soggetti SBT. Ricerca   inizia con termine esatto contiene termine SBT (contiene)         I termini biografici e i termini geografici (nomi di persone, collettività e nomi di luogo) non vi sono contemplati.  Link PDF al Manuale applicativo di soggettazione ad uso degli indicizzatori del Sistema bibliotecario ticinese.
	Termine: Metodi formali Catalogo soggetti SBT: cantonale - scolastico Catalogo temi fiction SBT: cantonale - scolastico Macrocategoria - Categoria: Cose - Strumenti Definizione: - Nota d'ambito: Tecniche rigorose per la verifica formale e sistematica della correttezza dei programmi per elaboratori Usato per (UF): - Termini obsoleti (HSF): - Termini più generali (BT): Strumenti Termini più specifici (NT): - Termini associati (RT): Programmi per elaboratori   Nota storica: - Nota sintattica: - Classificazione Dewey: - Risorsa esterna: http://data.bnf.fr/ark:/12148/cb13539618z http://id.loc.gov/authorities/subjects/sh99003622 http://www.wikidata.org/wiki/Q1049183 Fonte: BNCF Data inserimento: 12.01.2017 Identificativo: 60444
	Fonte: Biblioteca Nazionale Centrale, Firenze (BNCF) con licenza Creative Commons Attribuzione 2.5, aggiornati semestralmente, ultimo aggiornamento 29.04.2025. Termini regionali a cura del Gruppo Soggetti del Sistema bibliotecario ticinese (SBT). [Concept: 34467 (BNCF marzo 2025) / 1166 (SBT)]