A formal approach to architectural design patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 576-594

  Alencar, P S C ^a   Cowan, D D ^a   Lucena, C J P ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL METHODS;

APPLICATION OBJECTS; ARCHITECTURAL LEVELS; DESIGN PATTERNS; FORMAL APPROACH; LAYERED SYSTEMS; OBJECT ORIENTED MODEL; PATTERN INSTANTIATION; PROCESS-ORIENTED;

ARCHITECTURAL DESIGN;

EID: 84894584672     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_108     Document Type: Conference Paper

References (25)

1. P.S.C. Alencar, D.D. Cowan, D.M. German, K.J. Lichtner, C.J.P. Lucena, and L.C.M. Nova. A Formal Approach to Design Pattern Definition & Application. Technical Report CS-95-34, University of Waterloos Waterloo, Ontario, Canada, August 1995.
2. P.S.C. Alencar, D.D. Cowan, K.J. Lichtner, C.J.P. Lucena, and L.C.M. Nova. Tool Support for Formal Design Patterns. Technical Report CS-95-36, University of Waterloo, Waterloo, Ontario, Canada, August 1995.
3. P.S.C. Alencar, D.D. Cowan, and C.J.P. Lucena. A Logical Theory of Interfaces and Objects. Technical Report CS-95-15, University of Waterloo, Waterloo, Ontario, Canada, 1995.
4. P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena, and L.C.M. Nova. Formal specification of reusable interface objects. In Proceedings o/the Symposium on Software Reusability (SSR '95), pages 88-96. ACM Press, 1995.
5. P. Bumbulis, P.S.C. Alencar, D.D. Cowan, and C.J.P. Lucena. Combining Formal Techniques and Prototyping in User Interface Construction and Verification. In 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems (DSV-IS'95). Springer-Verlag Lecture Notes in Computer Science, 1995. to appear.
6. P. Coad. Object Models: Strategies, Patterns & Applications. Yourdon Press, 1995.
7. J.O. Coplien and D.C. Schmidt, editors. Pattern Languages of Program Design. Addison-Wesley, 1995.
8. D. D. Cowan, R. Ierusalimschy, C. J. P. Lucena, and T. M. Stepien. Abstract Data Views. Structured Programming, 14(1):1-13, January 1993.
9. D. D. Cowan, R. Ierusalimschy, C. J. P. Lucena, and T. M. Stepien. Application Integration: Constructing Composite Applications from Interactive Components. Software Practice and Experience, 23(3):255-276, March 1993.
10. D.D. Cowan and C.J.P. Lucena. Abstract Data Views: An Interface Specification Concept to Enhance Design. IEEE Transactions on Software Engineering, 21(3):229-243, March 1995.
11. J. Fiadeiro and T. Malbaum. Temporal Theories as Modularlzation Units for Concurrent System Specification. Formal Aspects of Computing, 4(4), 1992.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addlson-Wesley Publishing Company, Reading, Massachusetts, 1995.
13. Martin GogoUa, Stefan Conrad, and Rudolf tterzig. Sketching Concepts and Computational Model of TROLL Light. In Proceedings of Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO '93), Berlin, Germany, March 1993. Springer.
14. J. Goguen and R. Burstall. Introducing Institutions, volume 164 of Lecture Notes in Computer Science. Springer-Verlag, 1984.
15. J. Goguen and R. Burstall. Institutions: Abstract Model Systems Theory. Journal of the ACM, 39(1):95-146, 1992.
16. William Harrison and Harold Ossher. Subject-Oriented programming (A Critique of Pure Objects). In OOPLSA '93. ACM, 1993.
17. William Harrison, Harold Ossher, Randal B. Smith, and Ungar David. Subjectivity in Object-Oriented Systems, Workshop Summary. In OOPLSA '94. ACM, 1994.
18. Bogdan Korel. Automated software test data generation. IEEE Transactions on Sofware Engineering, 16(8):870-879, August 1990.
19. Glenn E. Krasner and Stephen T. Pope. A Cookbook for Using the Model-View- Controller User Interface Paradigm in Smalltalk-80. JOOP, pages 26-49, August September 1988.
20. N. Levy and G. Smith. A Language Independent Approach to Specification Construction. In Proceedings of the SIGSOFT'9$, New Orleans, LA, USA, December 1994.
21. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991.
22. Zohar Manna and Amir Pnueli. The temporal logic of reactive systems: Specification. Springer-Verlag, 1992.
23. M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, 21(4):356-372, 1995.
24. Y. V. Srinivas and R. Jullig. Specware: Formal Support for Composing Software. In Proceedings of the Conference on Mathematics of Program Construction, Kloster Irsee, Germany, 1995.
25. W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. Addison-Wesley, 1987.