Searching for authors named "Joseph Kiniry" – sorted by Relevance.
-
IDebug: An Advanced Debugging Framework for Java
- IDebug: An Advanced Debugging Framework for Java Joseph R. Kiniry Caltech Technical Report CS
- Cited by 6 (6 self) – Add To MetaCart
-
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
- Semantic Properties for Lightweight Specification in Knowledgeable Development Environments Joseph
- Cited by 3 (3 self) – Add To MetaCart
-
Semantic component composition
- Semantic Component Composition Joseph R. Kiniry Computing Science Department, University
- Cited by 3 (1 self) – Add To MetaCart
-
A New Construct for Systems Modeling and Theory: The Kind
- A New Construct for Systems Modeling and Theory: The Kind Joseph R. Kiniry Caltech Technical
- Cited by 6 (4 self) – Add To MetaCart
-
Leading to a Kind Description Language: Thoughts on Component Specification
- Leading to a Kind Description Language: Thoughts on Component Specification Joseph R. Kiniry
- Cited by 2 (0 self) – Add To MetaCart
-
Opportunities and challenges for formal specification of Java programs
- Position Paper: Opportunities and challenges for formal specification of Java programs Joseph
- Cited by 1 (0 self) – Add To MetaCart
-
Formalizing the user’s context to support user interfaces for integrated mathematical environments
- for Integrated Mathematical Environments Abstract Joseph R. Kiniry 1 Computing Science Department University
- Cited by 1 (1 self) – Add To MetaCart
-
JPP: A Java Pre-Processor
- JPP: A Java Pre-Processor Joseph R. Kiniry and Elaine Cheong Caltech Technical Report CS-TR-98
- Add To MetaCart
-
A New Construct for Systems Modeling and Theory: The Kind
- A New Construct for Systems Modeling and Theory: The Kind Joseph R. Kiniry Caltech Technical
- Add To MetaCart
-
Kind Theory and Software Reuse
- Kind Theory and Software Reuse Joseph R. Kiniry Security of Systems Group Nijmegen Institute
- Add To MetaCart

