Show simple item record

dc.contributor.author Chidambaram, Jeyashree. en_US
dc.date.accessioned 2007-05-15T15:24:47Z
dc.date.available 2007-05-15T15:24:47Z
dc.date.issued 1997-05-01T00:00:00Z en_US
dc.identifier.uri http://hdl.handle.net/1993/974
dc.description.abstract Reuse can be attempted at any stage in a software life cycle. However, reuse will be more effective at a higher level of abstraction such as requirements specification. The reason is that, one can easily understand the functionalities of a reusable component when it is abstractly specified and can also justify that the component is indeed reusable. Software can be reused if and only if its structure and behavior are compatible with those of another software that is being developed. In this thesis, a methodology is given to ensure structural compatibility in software reuse using the formal requirements specification of the software to be developed and that of the software to be reused. Algorithms to implement the methodology are given and a partial implementation of the methodology is illustrated through a case study. The formal notation Z is used in this thesis. en_US
dc.format.extent 3034361 bytes
dc.format.extent 184 bytes
dc.format.mimetype application/pdf
dc.format.mimetype text/plain
dc.language en en_US
dc.language.iso en_US
dc.rights info:eu-repo/semantics/openAccess
dc.title Software reuse using formal specification of requirements en_US
dc.type info:eu-repo/semantics/masterThesis
dc.type master thesis en_US
dc.degree.discipline Computer Science en_US
dc.degree.level Master of Science (M.Sc.) en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

View Statistics