Expand icon Search icon File icon file Download

Items where Author is "Kazman, Rick"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 6.

Article

Nicholson, Jon and Eden, Amnon H and Gasparis, Epameinondas and Kazman, Rick (2014) Automated verification of design patterns: A case study. Science of Computer Programming, 80 (Part B). pp. 211-222. DOI https://doi.org/10.1016/j.scico.2013.05.007

Book Section

Nicholson, Jonathan and Gasparis, Epameinondas and Eden, Amnon H and Kazman, Rick (2009) Automated Verification of Design Patterns with LePUS3. In: Proceedings of the 1st NASA Formal Methods (NFM) Symposium. NASA, pp. 76-85.

Monograph

Eden, Amnon H and Kazman, Rick (2003) CSM-382 The Integrated Architecture Environment: A Two-Tier Programming Tool (Research Proposal). Technical Report. CSM-382, University of Essex, Colchester.

Eden, Amnon H and Kazman, Rick (2003) On the Definition of Architecture, Design and Implementation. Technical Report. CSM-377, University of Essex, Colchester.

Conference or Workshop Item

Gasparis, Epameinondas and Nicholson, Jonathan and Eden, Amnon H and Kazman, Rick (2008) Navigating Through the Design of Object-Oriented Programs. In: 2008 15th Working Conference on Reverse Engineering (WCRE), 2008-10-15 - 2008-10-18, Antwerp, Germany.

Gasparis, Epameinondas and Eden, Amnon H and Nicholson, Jonathan and Kazman, Rick (2008) The design navigator. In: Companion of the 13th international conference, 2008-05-10 - 2008-05-18, Leipzig, Germany.

This list was generated on Thu Mar 28 03:05:23 2024 GMT.