( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A prototype system for the validation of Pascal programs.

, , , , , , , и . Softw. Eng. J., 3 (2): 47-52 (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael A Linseis

Michael A Meer

-Michael A Scherer

Michael A Skeide

Michael A Horn

 

Другие публикации лиц с тем же именем

Assessing a Class of Software Tools., , и . ICSE, стр. 266-277. IEEE Computer Society, (1984)Quantifying the test effectiveness of Algol 68 programs., , и . Strathclyde ALGOL 68 Conference, стр. 36-41. ACM, (1977)Software Tool Issues.. PSSE, том 6153 из Lecture Notes in Computer Science, стр. 203-214. Springer, (2007)A Tribute to Martin Woodward., , , , , и . Softw. Test. Verification Reliab., 16 (4): 209-211 (2006)Some problems concerning the automatic translation of Fortran to Algol 68., и . Strathclyde ALGOL 68 Conference, стр. 138-143. ACM, (1977)Experience with Path Analysis and Testing of Programs., , и . IEEE Trans. Software Eng., 6 (3): 278-286 (1980)Automated Testing Techniques for Real-Time Embedded Software., , и . ESEC, том 289 из Lecture Notes in Computer Science, стр. 244-253. Springer, (1987)The role of procedural parameters in high order languages.. ACM SIGPLAN Notices, 14 (7): 47-50 (1979)On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC., и . Inf. Softw. Technol., 48 (7): 433-440 (2006)Guest Editorial: An industrial viewpoint.. Softw. Test. Verification Reliab., 14 (4): 241-242 (2004)