Tommi Mikkonen
References
- 1.P. S. C. Alencar, D. D. Cowan. C. J. P. Lucena. A formal approach to architectural design patterns. FME'96: Industrial Benefit and Advances in Formal Methods (Eds. M.-C. Gaudel, J. Woodcock), 576- 594, Springer-Verlag LNCS 1051, 1996.]] Google Scholar
Digital Library
- 2.R. J. R. Back, R. Kurki-Suonio. Decentralization of process nets with a centralized control. Distributed Computing 3, 73-87, May 1989.]]Google ScholarDigital Library
- 3.F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, M. Stal.A System of Patterns. John Wiley & Sons, 1996.]]Google Scholar
- 4.Ii. M. Chandy, J. Misra. Parallel Program Design, A Foundation. Addison-Wesley, 1988.]] Google ScholarDigital Library
- 5.J. S. Fitzgerald, P. G. Larsen, T. M. Brookes, and M. A. Green. Developing a security-critical system using formal and conventional methods. Applications af Formal Methods(Eds. IM. Hinchey, J. Bowen), 333-356, Prentice-Hall, 1995.]]Google Scholar
- 6.E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design patterns: Abstraction and reuse of objectoriented design. In Proceedings of the 7th European Conference on Object-Oriented Programming (Ed. M. Nierstrasz), 406-431, Springer-Verlag LNCS 707, 1993.]] Google ScholarDigital Library
- 7.E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns - Elements of Reusable Object- Oriented Software. Addison-Wesley, 1995.]] Google ScholarDigital Library
- 8.D. Garlan. The role of formal frameworks. ACM SIGSOFT Software Engineering Notes :5, 4, 42-44, September 1990.]] Google ScholarDigital Library
- 9.H.-M. Jkvinen, R. Kurki-Suonio, M. Sakkinen, and I(. Systa. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, 63-71, IEEE Computer Society Press, 1990.]] Google ScholarDigital Library
- 10.P. Kellomaki. Analysis of a Stabilizing Protocol. Licentiate thesis, Tampere University of Technology, 1994.]]Google Scholar
- 11.P. Kellomaki. Verification of reactive systems using Disco and PVS. FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. (Eds. J. Fitzgerald, C. B. Jones, P. Lucas), 589-604, Springer-Verlag LNCS 1313, 1997.]] Google ScholarDigital Library
- 12.R. Kurki-Suonio. Fundamentals of object-oriented specification and modeling of collective behaviors. Object-Oriented Behavioral Specifications (Eds. H. Kilov and W. Harvey), 101-120, Kluwer, 1996.]] Google ScholarDigital Library
- 13.R. Kurki-Suonio. T. Mikkonen. Liberating objectoriented modeling from programming-level abstractions. Workshop on Precise Semantics fOT Object- Oriented Models (ECOOP'97), to be published by Springer-Verlag.]] Google ScholarDigital Library
- 14.L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16, 3, 872-923, May 1994.]] Google ScholarDigital Library
- 15.T. Mikkonen. Implementation of Reactive Systems Based on Closed-System Specifications. Licentiate thesis, Tampere University of Technology, 1995.]]Google Scholar
- 16.K. Systa. A graphical tool for specification of reactive systems. In Proceedings of .?&romicro '91 Workshop on Real-time Systems, 12-19, Paris, France, June 12-14, 1991.]]Google ScholarCross Ref
- 17.M. Weiser. Program slicing. IEEE Transactions on Software Engineering, Vol. SE-lo, NO 4, 352-357, 1984.]]Google ScholarDigital Library
Index Terms
Formalizing design patterns
Comments