A module concept within the initial behaviour framework

View/Open
Cita com:
hdl:2117/189076
Document typeResearch report
Defense date1988
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
A module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation design. Moreover, this concept encapsulates (like in packages and similar constructions) both the interface and implementation parts. This module concept is based on a behaviour approach where the notion of implementation coincides with realization of the behaviour, that is, an abstract data type implements another if reproduces its behaviour. For that a special kind of signature morphism, called implementation morphism, is introduced in order to formalize this realization of a behaviour idea and it is shown that implementation defined in this way is compatible with parameter passing.
CitationNivela, M.; Orejas, F. "A module concept within the initial behaviour framework". 1988.
Is part ofLSI-88-23
Files | Description | Size | Format | View |
---|---|---|---|---|
1400008435.pdf | 2,477Mb | View/Open |