3 papers
cs.SE2002
Semantic Component Composition
Joseph R. Kiniry
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar…
cs.SE2002
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
Joseph R. Kiniry
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analy…
cs.SE2002
Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems
Joseph R. Kiniry
A major part of debugging, testing, and analyzing a complex software system is understanding what is happening within the system at run-time. Some developers advocate running withi…