Facilities of practice reflecting abstractions of theory, and vice versa

Proceedings - International Conference of the Chilean Computer Science Society, SCCC

Volumn 2001-January, Issue , 2001, Pages 203-212

  Mikkonen, T ^a   Pitkanen R ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; FACILITIES; FORMAL METHODS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

CORE PROBLEMS; INTERACTIVE PROPERTIES; REACTIVE SYSTEM; THEORY AND PRACTICE;

SOFTWARE DESIGN;

EID: 12444298680     PISSN: 15224902     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCCC.2001.972649     Document Type: Conference Paper

References (30)

1. Awad, M. and Ziegler, J. A practical approach to object-oriented state modeling. Software - Practice and Experience, 27(3), (1997) 311-328
2. Brinch Hansen, P. Java's insecure parallelism. ACM SIGPLAN Notices. 34(4), April (1999) 38-45
3. Chandy, K.M. and Misra, J. Parallel Program Design, A Foundation. Addison-Wesley, (1988)
4. Coplien, J. O. Idioms and patterns as architectural literature. IEEE Software, 14(1), (1997) 36-42
5. Dijkstra, E. W. A Discipline of Programming. Prentice-Hall, 1976.
6. Dijkstra, E. W. and Scholten, C. S. Termination detection for diffusing computations. Information Processing Letters, 11(1) (1980) 1-4
7. D'Souza, D. and Wills, A. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley (1998)
8. Fischer, B. and Snelting, G. Reuse by contract. In Proc. ESEC/FSE-Workshop on Foundations of Component-Based Systems, Zürich, (1997)
9. Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley (1994)
10. Hakala M., Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J.: Pattern-oriented framework engineering using FRED. In Object-Oriented Technology, Springer LNCS 1543, 1998, 105-109
11. Järvinen, H.-M. The Design of a Specification Language for Reactive Systems. Doctoral dissertation, Tampere University of Technology (1992)
12. th International Conference on Software Engineering, IEEE Computer Society Press (1990) 63-71
13. Kellomäki, P., Mikkonen, T., Modeling distributed state as an abstract object. Distributed and Parallel Embedded Systems, (Ed. F. J. Rammig), Kluwer Academic Publishers (1999) 223-230
14. Kurki-Suonio, R. Component and interface refinement in closed-system specifications. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems (Eds. J. Wing, J. Woodcock, and J. Davies). LNCS 1709, Springer-Verlag (1999) 134-154
15. Kurki-Suonio, R. and Mikkonen, T., Abstractions of distributed cooperation, their refinement and implementation. Proc. International Symposium on Software Engineering for Parallel and Distributed Systems (Eds. B. Krämer, N. Uchihira, P. Kroll, S. Russo). IEEE Computer Society (1998) 94-102
16. Kurki-Suonio, R. and Mikkonen, T. Harnessing the power of interaction. Information Modelling and Knowlegde Bases X (Eds. H. Jaakkola, H. Kangassalo, E. Kawaguchi). IOS Press (1999) 1-11
17. Kurki-Suonio, R. and Mikkonen, T. From program construction to abstraction engineering. Proc. Conference on Software: Theory and Practice, (Eds. Y. Feng, D. Notkin, and M.-C. Gaudel). Publishing House of Electronics Industry, China (2000) 861-868
18. Lamport, L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3), (1994) 872-923
19. Lamport, L. Composition: A way to make proofs harder. Digital Systems Research Center, Technical Note 1997-030a (1997)
20. nd ed.), Prentice-Hall (1997)
21. Mikkonen, T. Formalizing design patterns. Proc. 1998 International Conference on Software Engineering, IEEE Computer Society (1998) 115-124
22. Mikkonen, T., Järvinen, H.-M. Specifying for releases. International Workshop on Principles of Software Evolution (in connection with ICSE'98), April 20-21, Kyoto, Japan, (1998) 118-122
23. Mikkonen, T., Lähde, E., Siiskonen, M. and Niemi, J. Managing software evolution with the service concept. Accepted to the International Symposium on Principles of Software Evolution, to appear.
24. Tasker, M., Allin, J., Dixon, J., Forrest, J., Heath, M., Richardson, T., and Shackman, M. Professional Symbian Programming: Mobile Solutions on the EPOC Platform, Wrox Press (2000)
25. Walden, K., Nerson, J-M. Seamless Object-Oriented Software Architecture, Prentice-Hall (1995)
26. Weiser, M. Program slicing. IEEE Transactions on Software Engineering, 10(4), (1984) 352-357
27. Specification and Description Language (SDL). ITU-T Recommendation Z.100
28. Ada web site. Available at http://www.adahome.com/
29. AspectJ web site. Available at http://aspectj.org/
30. UML web site. Available at http://www.rational.com/uml