Return to Skip Menu
"Experiences using test-driven development with an automated grader", Journal of Computing Sciences in Colleges, vol. 22, no. 3, pp. 44-50, 2007.
"A flexible strategy for embedding and configuring run-time contract checks in .NET components", International Journal of Software Engineering and Knowledge Engineering, vol. 17, no. 3, pp. 315–338, June, 2007.
"Streams: A pattern for “pull-driven” processing", Pattern Languages of Program Design,: Addison- Wesley, 1995.
"Software metrics for multimedia languages", Software Measurement: Current Trends in Research and Practice: Wiesbaden: Deutscher Universitats Verlag, 1999.
"Toward a normative theory for component-based system design and analysis", Foundations of Component-Based Systems: Cambridge University Press, pp. 211–230, 2000.
"Estimating and Predicting Error Detection Trends and Relative Manpower Utilization", IASTED International Conference on Modeling and Simulation, Pittsburgh, PA, pp. 571-575, May 1998.
"Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective", Second IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC '06), Indianapolis, IN, pp. 95-102, September 2006.
"Towards a Taxonomy of Vulnerabilities", Proceedings of the Fortieth Annual International Conference on System Sciences (CD-ROM) , The Big Island, Hawaii, Computer Society Press, January 2007.
"Capabilities Engineering: Constructing Change-Tolerant Systems", Proceedings of the Fortieth Annual International Conference on System Sciences (CD-ROM), The Big Island, Hawaii, Computer Society Press, January 2007.
"Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification", 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Tucson, AZ, pp. 287-296, March 2007.