Biblio

Export 21 results:
Sort by:
Filters: Author is G. Kulczycki  [Clear All Filters]
2010
2009
Edwards, S. H., and G. Kulczycki, "Formal Foundations of Reuse and Domain Engineering", 11th International Conference on Software Reuse, Falls Church, VA,, Lecture Notes in Computer Science 5791 Springer 2009, 09/2009.
Saleh, I., G. Kulczycki, and M. B. Blake, "A Reusable Model for Data-Centric Web Services", 11th International Conference on Software Reuse, Falls Church, VA, pp. pp. 288–297, 09/2009.
Saleh, I., and G. Kulczycki, "Demystifying Data-Centric Web Services", IEEE Internet Computing, IEEE Computer Society, pp. pp. 86–90, 08/2009.
2008
2007
Kulczycki, G., M. Sitaraman, H. Keown, and B. Weide, "Abstracting Pointers for a Verifying Compiler", Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.
2006
Kulczycki, G., and J. Vasudeo, "Simplifying Reasoning about Objects with Tako", Proceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop, Portland, OR, November 2006.
Frakes, W. B., G. Kulczycki, and C. Saxena, "Case Study of a Method for Reengineering Procedural Systems into OO Systems ", Proceedings 9th International Conference on Software Reuse (ICSR '06), Torino, Italy, June 2006.
2005
Kulczycki, G., M. Sitaraman, B. W. Weide, and A. Rountev, "A Specification-Based Approach to Reasoning about Pointers", Proceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop, vol. 31, issue 2, Lisbon, Portugal, September 2005.
2002
Kulczycki, G., "Efficient Reusable Components with Value Semantics", Proceedings of the ICSR2002 Young Researcher's Workshop, Austin, TX, April 2002.
2001
Kulczycki, G., "Type Handling in a Fully Integrated Programming and Specification Language", Proceedings of the SAVCBS Workshop at OOPSLA 2001, Tampa, FL, October 2001.
Sitaraman, M., J. Krone, G. Kulczycki, W. F. Ogden, and A. L. N. Reddy, "Performance Specification of Reusable Software Components", Proceedings ACM SIGSOFT Symposium on Software Reusability, Toronto, Canada, ACM Press, pp. 3-10, May 2001.
2000
Sitaraman, M., S. Atkinson, G. Kulczycki, B. W. Weide, T. J. Long, P. Bucci, S. Pike, W. Heym, and J. E. Hollingsworth, "Reasoning About Software Component Behavior", Proceedings of the Sixth International Conference on Software Reuse, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.