James A Perry
5235  Ergebnisse:
Personensuche X
?
1

British Latter-day Saints in the Great War, 1914–1918:

James Perry
Journal of Mormon History.  44 (2018)  3 - p. 70-88 , 2018
 
?
2

Interpreting slavery at museums and historic sites 

Interpreting history series ; 5;American Association for State and Local History book series
Exemplar:  Zentrale:E04 a kun 095.7/616
 
?
4

Towards an industrial grade IVE for Java and next generatio..:

Chalin, Patrice ; Robby ; James, Perry R...
International Journal on Software Tools for Technology Transfer.  12 (2010)  6 - p. 429-446 , 2010
 
?
5

Faster and More Complete Extended Static Checking for the J..:

James, Perry R. ; Chalin, Patrice
Journal of Automated Reasoning.  44 (2009)  1-2 - p. 145-174 , 2009
 
?
6

ESC4 : a modern caching ESC for Java:

, In: Proceedings of the 8th international workshop on Specification and verification of component-based systems,
James, Perry R. ; Chalin, Patrice - p. 19-26 , 2009
 
?
7

Extended static checking in JML4 : benefits of multiple-..:

, In: Proceedings of the 2009 ACM symposium on Applied Computing,
James, Perry R. ; Chalin, Patrice - p. 609-614 , 2009
 
?
8

Non-null References by Default in Java: Alleviating the Nul..:

, In: ECOOP 2007 – Object-Oriented Programming; Lecture Notes in Computer Science,
Chalin, Patrice ; James, Perry R. - p. 227-247 , 2007
 
?
9

An integrated verification environment for JML : archite..:

, In: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
 
?
10

Non-null references by default in java : alleviating the..:

, In: Proceedings of the 21st European conference on Object-Oriented Programming,
Chalin, Patrice ; James, Perry R. - p. 227-247 , 2007
 
?
11

Development of an atomic-broadcast protocol using LOTOS:

James, Perry R. ; Endler, Markus ; Gaudel, Marie-Claude
Software: Practice and Experience.  29 (1999)  8 - p. 699-719 , 1999
 
?
 
?
 
1-15
Mehr Literatur finden