A Formalization of an Extended Object Model Using Views
Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in the various phases of the software development lifecycle because of a lack of ad...
Main Author: | Nova, Luis |
---|---|
Language: | en |
Published: |
University of Waterloo
2006
|
Subjects: | |
Online Access: | http://hdl.handle.net/10012/1130 |
Similar Items
-
A Formalization of an Extended Object Model Using Views
by: Nova, Luis
Published: (2006) -
Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software
by: Pamplin, Jason Andrew
Published: (2007) -
Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013) -
Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013) -
Formal Methods in Industry
by: Alexei Serna A.
Published: (2012-12-01)