Structuring Mechanisms for an Object-Oriented Formal Specification Language

Authors :: Márcio Cornélio
Paulo Borba
Source :: Software Reuse: Advances in Software Reusability ISBN: 9783540676966, ICSR
Publication Year :: 2000
Publisher :: Springer Berlin Heidelberg, 2000.
Abstract: In this work we propose an extension of the MooZ formal specification language with support for parameterized packages. This enhances MooZ’s capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ’s structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classes. We also analyse the impact of our design decisions on software reuse.

Subjects :: Object-oriented programming
Computer science
Programming language
business.industry
Software development
Reuse
Formal methods
computer.software_genre
Structuring
Inheritance (object-oriented programming)
Software
Formal specification
business
computer

ISBN :: 978-3-540-67696-6
ISBNs :: 9783540676966
Database :: OpenAIRE
Journal :: Software Reuse: Advances in Software Reusability ISBN: 9783540676966, ICSR
Accession number :: edsair.doi...........5dc162155e32794f058d7328ab661d63
Full Text :: https://doi.org/10.1007/978-3-540-44995-9_24