Bibliography

1

P. C. Attie.
Synthesis of large concurrent programs via pairwise composition.
In CONCUR'99: 10th International Conference on Concurrency Theory, number 1664 in LNCS. Springer-Verlag, Aug. 1999.

2

P. C. Attie and E. A. Emerson.
Synthesis of concurrent systems with many similar processes.
ACM Trans. Program. Lang. Syst., 20(1):51-115, Jan. 1998.

3

P. C. Attie and D. H. Lorenz.
Establishing behavioral compatibility of software components without state explosion.
Technical Report NU-CCIS-03-02, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2003.
http://www.ccs.neu.edu/home/lorenz/papers/reports/NU-CCIS-03-02.html.

4

O. Aytar, P. C. Attie, and D. H. Lorenz.
An implementation of an elevator system in the ioa language and toolset.
Technical Report NU-CCIS-03-04, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2003.
http://www.ccs.neu.edu/home/lorenz/papers/reports/NU-CCIS-03-04.html.

5

K. M. Chandy and J. Misra.
Parallel Program Design.
Addison-Wesley, Reading, Mass., 1988.

6

E. M. Clarke, E. A. Emerson, and P. Sistla.
Automatic verification of finite-state concurrent systems using temporal logic specifications.
ACM Trans. Program. Lang. Syst., 8(2):244-263, Apr. 1986.

7

L. de Alfaro and T. A. Henzinger.
Interface automata.
In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pages 109-120. ACM, 2001.

8

E. A. Emerson.
Temporal and modal logic.
In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, Formal Models and Semantics. The MIT Press/Elsevier, Cambridge, Mass., 1990.

9

E. A. Emerson and E. M. Clarke.
Using branching time temporal logic to synthesize synchronization skeletons.
Science of Computer Programming, 2:241-266, 1982.

10

G. T. Heineman and W. T. Councill, editors.
Component-Based Software Engineering: Putting the Pieces Together.
Addison-Wesley, 2001.

11

ICSE 2001.
Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, May 12-19 2001. IEEE Computer Society.

12

L. Lamport.
Proving the correctness of multiprocess programs.
IEEE Transactions on Software Engineering, SE-3(2):125-143, Mar. 1977.

13

D. H. Lorenz and P. Petkovic.
Design-time assembly of runtime containment components.
In Q. Li, D. Firesmith, R. Riehle, G. Pour, and B. Meyer, editors, Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems, pages 195-204, Santa Barbara, CA, July 30-Aug. 4 2000. TOOLS 34 USA Conference, IEEE Computer Society.

14

D. H. Lorenz and J. Vlissides.
Designing components versus objects: A transformational approach.
In ICSE 2001 [11], pages 253-262.

15

E. Mäkinen and T. Systä.
MAS - an interactive synthesizer to support behavioral modeling in uml.
In ICSE 2001 [11], pages 15-24.

16

D. L. Parnas.
On the criteria to be used in decomposing systems into modules.
Communication of the ACM, 15(12):1059-1062, 1972.

17

C. Szyperski.
Component-Oriented Software, Beyond Object-Oriented Programming.
Addison-Wesley, 1997.

18

W. Vanderperren.
A pattern based approach to separate tangled concerns in component based development.
In Y. Coady, editor, Proceedings of the First AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software, pages 71-75, Enschede, The Netherlands, Apr. 2002.

19

W. Vanderperren and B. Wydaeghe.
Separating concerns in a high-level component-based context.
In EasyComp Workshop at ETAPS 2002, April 2002.

20

W. Vanderperren and B. Wydaeghe.
Towards a new component composition process.
In Proceedings of ECBS 2001, April 2001.

21

K. C. Wallnau, S. Hissam, and R. Seacord.
Building Systems from Commercial Components.
Software Engineering. Addison-Wesley, 2001.

22

B. Wydaeghe.
PACOSUITE: Component composition based on composition patterns and usage scenarios.
PhD Thesis.

23

B. Wydaeghe and W. Vandeperren.
Visual component composition using composition patterns.
In Proceedings of Tools 2001, July 2001.