H. James Hoover

Affiliations:
  • University of Alberta, Edmonton, Canada


According to our database1, H. James Hoover authored at least 34 papers between 1984 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Interactive visualization of dependencies.
Comput. Educ., 2012

2011
Code convention adherence in evolving software.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
API Conformance Verification for Java Programs.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Transactional pointcuts: designation reification and advice of interrelated join points.
Proceedings of the Generative Programming and Component Engineering, 2009

2008
InTml: A Dataflow Oriented Development System for Virtual Reality Applications.
Presence Teleoperators Virtual Environ., 2008

Multidisciplinary students and instructors: a second-year games course.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
Comprehending Aspect-Oriented Programs: Challenges and Open Issues.
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

2006
Using SCL to Specify and Check Design Intent in Source Code.
IEEE Trans. Software Eng., 2006

Reverse Engineering Scripting Language Extensions.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

Source-Level Linkage: Adding Semantic Information to C++ Fact-bases.
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Towards Automatic Exception Safety Verification.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Efficient comparison of platform alternatives in interactive virtual reality applications.
Int. J. Hum. Comput. Stud., 2005

What Can Programmer Questions Tell Us About Frameworks?
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

2004
Specifying the Law of Demeter and C++ Programming Guidelines with FCL.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Specifying framework constraints with FCL.
Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2002
Towards Specifying Constraints for Object-Oriented Frameworks.
Inf. Syst. Frontiers, 2002

InTml: a description language for VR applications.
Proceedings of the Seventh International Conference on 3D Web Technology, 2002

Supporting the Deployment of Object-Oriented Frameworks.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001
3dml: A Language for 3D Interaction Techniques.
Proceedings of the 22nd Annual Conference of the European Association for Computer Graphics, 2001

2000
Choosing an object-oriented domain framework.
ACM Comput. Surv., 2000

Developing engineered product support applications.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1999
Application Framework Issues when Evolving Business Applications for Electronic Commerce.
Inf. Syst., 1999

Realising Requirements in Product - Line Development Using O-O Frameworks (Invited Position Paper).
Australas. J. Inf. Syst., 1999

1997
Hooking into Object-Oriented Application Frameworks.
Proceedings of the Pulling Together, 1997

An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.
Chic. J. Theor. Comput. Sci., 1996

1991
Real Functions, Contraction Mappings and P-Completeness
Inf. Comput., August, 1991

1990
Feasible Real Functions and Arithmetic Circuits.
SIAM J. Comput., 1990

1989
Why Integration is Hard.
Proceedings of the Computers and Mathematics, 1989

1987
Feasibly constructive analysis.
PhD thesis, 1987

1986
Log Depth Circuits for Division and Related Problems.
SIAM J. Comput., 1986

1985
A Depth-Universal Circuit.
SIAM J. Comput., 1985

1984
Bounding Fan-out in Logical Networks.
J. ACM, 1984


  Loading...