Links will open in new window.


SPQR

  1. •Intent-Oriented Design Pattern Formalization Using SQPR, Jason McC. Smith, David Stotts, in Design Pattern Formalization Techniques, Toufik Taibi, Ed., Apr, 2007.

  2. •SPQR: Formal Foundations and Practical Support for the Automated Detection of Design Patterns from Source Code, Jason McC. Smith, PhD Dissertation, Comp Sci Dept., Univ of North Carolina at Chapel Hill, Dec, 2005.

  3. •Pattern/Object Markup Language (POML): A Simple XML Schema for Object Oriented Code Description, Jason McC. Smith, David Stotts, Technical Report 04-010, Comp Sci Dept., Univ of North Carolina at Chapel Hill, Apr, 2004.

  4. •SPQR: Flexible Automated Design Pattern Extraction From Source Code, Jason McC. Smith, David Stotts, Proceedings of the 2003 IEEE International Conference on Automated Software Engineering, Oct 8-10, 2003, Montreal QC, Canada.

  5. •Elemental Design Patterns and the Rho-calculus: Foundations for Automated Design Pattern Detection in SPQR, Jason McC. Smith, David Stotts, Technical Report 03-032, Comp Sci Dept., Univ of North Carolina at Chapel Hill, Sep 23, 2003.

  6. •SPQR: Use of a First-Order Theorem Prover for Flexibly Finding Design Patterns in Source Code , Jason McC. Smith, David Stotts, Technical Report 03-007, Comp Sci Dept., Univ of North Carolina at Chapel Hill, Mar 21, 2003.

  7. •Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture 27th Annual IEEE/NASA Software Engineering Laboratory Workshop, Greenbelt, MD, Dec. 5-6, 2002.

  8. •An Elemental Design Patterns Catalog, Jason McC. Smith, Technical Report 02-040, University of North Carolina at Chapel Hill, Dec 2002.

  9. •Elemental Design Patterns: A Link Between Architecture and Object Semantics, Jason McC. Smith, David Stotts, Technical Report 02-011, Univ of North Carolina at Chapel Hill, May 2002.



FaceTop

  1. •Support for Distributed Pair Programming in the Transparent Video Facetop, David Stotts, Jason McC. Smith, and Karl Gyllstrom, XP/Agile Universe, Aug 15-18, 2004, Calgary, Alberta.

  2. •Single- and Dual-User Web Browsing in the Transparent Video Facetop, David Stotts, Jason McC Smith, and Karl Gyllstrom, Technical Report 04-005, University of North Carolina at Chapel Hill, Dec 1, 2003.

  3. •The Vis-a-Vid Transparent Video FaceTop, David Stotts, Jason McC. Smith and Dennis Jen, Demonstration and short paper, ACM Conference on User Interface Systems and Technologies, Nov 02-05, 2003.



OvalTine

  1. •An Extensible Object Tracking Architecture for Hyperlinking in Real-time and Stored Video Streams, Jason McC. Smith, David Stotts, Technical Report 02-017, Univ of North Carolina at Chapel Hill, Jun 2002.

  2. •Distributed Pair Programming: Empirical Studies and Supporting Environments, Prashant Baheti, Laurie Williams, Edward Gehringer, David Stotts, Jason Smith, Technical Report 02-010, Univ of North Carolina at Chapel Hill, Mar 2002.

  3. •Hypervideo Support for Distributed Extreme Programming, David Stotts, Jason Smith, Laurie Williams, Technical Report 02-009, Univ of North Carolina at Chapel Hill, Mar 2002.

  4. •Automated Hyperlink Markup for Archived Video, David Stotts, Jason Smith, Technical Report 02-007, Univ of North Carolina at Chapel Hill, Jan 2002.

  5. •An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams Using OvalTine, Jason McC. Smith, David Stotts, Sang-Uok Kum, Proceedings of the Eleventh ACM Conf. on Hypertext and Hypermedia, May 30-Jun 4, 2000, San Antonio, Texas.