ZUR BEDEUTUNG FORMALER SPEZIFIKATIONSMETHODEN BEIM SOFTWARE ENGINEERING = QUELQUES REMARQUES SUR LA SIGNIFICATION DE METHODES DE SPECIFICATION FORMELLE POUR LE DEVELOPPEMENT ET LA DOCUMENTATION DU LOGICIELLUFT AL.1982; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1982; VOL. 24; NO 4; PP. 215-224; ABS. ENG; BIBL. 20 REF.Article

SOFTWARE-ENGINEERING UND KOUSTRUCTIVE WISSENSCHAFTSTHEORIE. EIN BEITRAG ZUR METHODOLOGIE DES SOFTWARE ENGINEERING = INGENIERIE DU LOGICIEL ET PHILOSOPHIE CONSTRUCTIVE DE LA SCIENCE - UNE CONTRIBUTION A LA METHODOLOGIE DE L'INGENIERIE DU LOGICIELLUFT AL.1981; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1981; VOL. 23; NO 3; PP. 93-99; ABS. ENG; BIBL. 20 REF.Article