Union and actualization of module specifications: Some compatibility results (Q1091801): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0022-0000(87)90037-7 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2041356625 / rank | |||
Normal rank | |||
Revision as of 23:38, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Union and actualization of module specifications: Some compatibility results |
scientific article |
Statements
Union and actualization of module specifications: Some compatibility results (English)
0 references
1987
0 references
In recent papers, a notion of algebraic module specification has been introduced, along with operations to combine them. Here we take a closer look at the operations of union of module specifications with import and export interfaces and of actualization of the parameter specification that the two interfaces share. We show that both the standard and parametrized actualization are compatible with the previously introduced notion of submodule and with the union operation.
0 references
modular development of large software systems
0 references
abstract data type
0 references
parameterization
0 references
implementation
0 references
information hiding
0 references
algebraic module specification
0 references
interfaces
0 references
parameter specification
0 references
