Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Perry R.
Last name:	James
DBLP:	38/2685
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	Perry R. James, Patrice Chalin. Faster and More Complete Extended Static Checking for the Java Modeling Language.	J. Autom. Reasoning 2010, Volume 44	(0)	2010
	Perry R. James, Patrice Chalin. Extended static checking in JML4: benefits of multiple-prover support.	Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009 2009	(0)	2009
	Patrice Chalin, Perry R. James, George Karabotsos. JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.	Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 2008	(0)	2008
	Patrice Chalin, Perry R. James, Frédéric Rioux. Reducing the use of nullable types through non-null by default and monotonic non-null.	IET Software 2008, Volume 2	(0)	2008
	Patrice Chalin, Perry R. James. Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.	ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings 2007	(0)	2007
	Patrice Chalin, Perry R. James, George Karabotsos. An integrated verification environment for JML: architecture and early results.	Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007 2007	(0)	2007
	Perry R. James, Markus Endler, Marie-Claude Gaudel. Development of an Atomic-Broadcast Protocol Using LOTOS.	Softw., Pract. Exper. 1999, Volume 29	(0)	1999
	Marie-Claude Gaudel, Perry R. James. Testing Algebraic Data Types and Processes: A Unifying Theory.	Formal Asp. Comput. 1998, Volume 10	(0)	1998

Your query returned 8 matches in the database.