From post

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.

 

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

Using Test Oracles Generated from Program Documentation., и . IEEE Trans. Software Eng., 24 (3): 161-173 (1998)"Formal methods" technology transfer will fail.. J. Syst. Softw., 40 (3): 195-198 (1998)Inspection of Safety-Critical Software Using Program-Function Tables.. IFIP Congress (3), том A-53 из IFIP Transactions, стр. 270-277. North-Holland, (1994)The Design of Program Families. IEEE Transactions on Software Engineering, 2 (1): 1--9 (1976)University Programmes in Software Development.. SEUH, стр. 9-10. dpunkt, (2001)Generating a Test Oracle from Program Documentation (Work in Progress)., и . ISSTA, стр. 58-65. ACM, (1994)Design and Specification of the Minimal Subset of an Operating System Family., , и . IEEE Trans. Software Eng., 2 (4): 301-307 (1976)Software Aging.. ICSE, стр. 279-287. IEEE Computer Society / ACM Press, (1994)Response to Undesired Events in Software Systems., и . ICSE, стр. 437-446. IEEE Computer Society, (1976)From Requirements to Architecture.. SoMeT, том 217 из Frontiers in Artificial Intelligence and Applications, стр. 3-36. IOS Press, (2010)