Opening book details…
Can I read On local modularity variants and Π-institutions on EtoBox?
On local modularity variants and Π-institutions by Paulo A.S. Veloso; Sheila R.M. Veloso is a Computer Science article available to read on EtoBox.
What is On local modularity variants and Π-institutions about?
We examine some variants of modularity (preservation of faithfulness) by localizing them to a commutative diagram in a Π-institution. We address, by means of an algebraic approach, the question of when a specification is modular for a given pair of specifications. Motivated by design considerations, we extend this notion to families, which leads to simpler variants, with decoupled connections.
Who reads On local modularity variants and Π-institutions?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Paulo A.S. Veloso; Sheila R.M. Veloso
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0020-0190)
- Published
- 2001
- Language
- EN
- Field
- Computer Science (Physical Sciences)