|
45
|
Superimposition for interactive processes, in
– N Francez, I R Forman
- 1990
|
|
708
|
Parallel Program Design. A Foundation
– K M Chandy, J Misra
- 1988
|
|
41
|
Semantics of architectural connectors
– J. L. Fiadeiro, A. Lopes, M. Wermelinger
- 1997
|
|
34
|
Categorical foundations for general systems theory
– J Goguen
- 1973
|
|
71
|
SPECWARE: Formal Support for Composing Software
– Yellamraju V. Srinivas, Yellamraju V. Srinivas, Richard Jüllig, Richard Jullig
- 1995
|
|
60
|
The Tile Model
– Fabio Gadducci, Ugo Montanari
- 1996
|
|
61
|
Temporal Theories as Modularisation Units for Concurrent System Specification
– J. Fiadeiro, T. Maibaum
- 1992
|
|
571
|
A formal basis for architectural connection
– Robert Allen, David Garlan
- 1997
|
|
15
|
Parallel Program Design—A Foundation
– K M Chandy, J Misra
- 1988
|
|
38
|
Connectors for Mobile Programs
– Michel Wermelinger, Jose Fiadeiro
- 1998
|
|
209
|
B.: “Fundamentals of Algebraic Specifications 1
– H Ehrig, Mahr
- 1985
|
|
439
|
Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1
– J Meseguer
- 1992
|
|
41
|
ADLs and Dynamic Architecture Changes
– Nenad Medvidovic
- 1996
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
9
|
A Mathematical Toolbox for the Software Architect
– Jos Luiz Fiadeiro, José Luiz, Fiadeiro Tom Maibaum
- 1996
|
|
2
|
Objects and classes,coalgebraically
– B Jacobs
|
|
6
|
A Programming Language for Design Patterns
– Stefan Bünnig, Peter Forbrig, Ralf Lämmel, Normen Seemann
- 1999
|
|
4
|
VisualAge for Java. http://- www.ibm.com/software/ad/vajava
– IBM
|
|
39
|
A Study of The Fragile Base Class Problem
– Leonid Mikhajlov, Emil Sekerinski
- 1998
|
