Concepedia

Perry R. James

PR

6

Publications

185

Citations

6

H-Index

1998

Active since

Affiliations

Concordia University(Current)

Perry R. James is an author at Concordia University specializing in software engineering, software testing, and software analysis.

Top concepts

EngineeringSoftware TestingSoftware AnalysisSoftware EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram Analysis

Publications per year

1998–2010

6

Publications

6

Non-null references by default in java: alleviating the nullity annotation burden

Patrice Chalin, Perry R. James · European Conference on Object-Oriented Programming · 2007 · 58 citations

Nullity Annotation Burden, Non-null References

Testing Algebraic Data Types and Processes: A Unifying Theory

Marie-Claude Gaudel, Perry R. James · Formal Aspects of Computing · 1998 · 56 citations · Full text

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James et al. · International Journal on Software Tools for Technology Transfer · 2010 · 36 citations

Software Maintenance, Engineering, Industrial Engineering +14

An integrated verification environment for JML

Patrice Chalin, Perry R. James, George Karabotsos · 2007 · 14 citations

Software Maintenance, Engineering, Verification +20

Extended static checking in JML4

Perry R. James, Patrice Chalin · 2009 · 11 citations

Program Checking, Engineering, Verification +20

Rows per page

1–5 of 6