( en | de | ru )

 

Disambiguation of "Strooper, Paul A."

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Specifying Software Frameworks.

, , and . ACSC, volume 26 of CRPIT, page 185-192. Australian Computer Society, (2004)

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. You can also use the button next to the name to display some publications already assigned to the person.

Paul A Becker

Paul A Patterson

Paul A Neumann

Paul A Levine

R. A. A. Bowler

 

Other publications of authors with the same name

Boundary Values and Automated Component Testing., , and . Softw. Test. Verification Reliab., 9 (1): 3-26 (1999)Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract)., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 109-115. Springer, (1988)Refinement and state machine abstraction., and . Theor. Comput. Sci., 266 (1-2): 195-235 (2001)Calculating modules in contextual logic program refinement, , and . CoRR, (2006)Automated Module Testing in Prolog., and . IEEE Trans. Software Eng., 17 (9): 934-943 (1991)Testing Generic Ada Packages with APE., , and . SIGAda, page 255-262. ACM, (1998)Automation of Test Case Generation from Behavior Tree Requirements Models., , , and . ASWEC, page 118-127. IEEE Computer Society, (2015)Tools and Techniques for Java API Testing., and . Australian Software Engineering Conference, page 235-246. IEEE Computer Society, (2000)Animation Can Show Only the Presence of Errors, Never Their Absence., and . Australian Software Engineering Conference, page 76-88. IEEE Computer Society, (2001)Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks., , , and . ASWEC, page 223-232. IEEE Computer Society, (2007)