English Español
		Copie Imprimable
Bureau du Secrétaire Général Radio- communication (ITU-R) Normalisation (ITU-T) Développement (ITU-D) Expositions et Forums de TELECOM Membres	Home Page : Publications Philosophy and Application of Formal languages - Geneva 15 September 2001 From type-token to truth of factual statements (Arve Meisingset, Telenor R&D) On Methodology from Domain to System Descriptions (Rolv Braek, NTNU) General Gnoseology a Piercian Triad. (Paul Gerome, AULM) Three dimensions of formal languages (Arve Meisingset, Telenor R&D) The Meaning of a Specification's Meaning Case Example: MSC (Clive Jervis, Motorola) Science & SWE Differences and Similarities (Amardeo Sarma, NEC) Theory of Science (Arve Meisingset, Telenor R&D) Mathematical Strategies (P.S Subramanian, Sasken Communication) Customers of ITU-T Languages (Amardeo Sarma, NEC)

Début de page - Commentaires - Confidentialité - Droit d'auteur © UIT 2001 Tout droits réservés Contact pour cette page : webmaster@itu.int Mis à jour le 2007-03-30