 |
 | ftp://ftp.cs.tut.fi/pub/reports/rep11.ps, 19920921
The DisCo Language and Temporal Logic of Actions (September 1990) Hannu-Matti J rvinen and Reino Kurki-Suonio hmj@tut.fi, rks@tut.fi Tampere University of Technology Software Systems Laboratory Box 527, SF-33101 Tampere, Finland |
| ftp://ftp.cs.tut.fi/pub/reports/icdcs91.ps, 19920922
1/11 DisCo Specification Language: Marriage of Actions and Objects Hannu-Matti J rvinen and Reino Kurki-Suonio hmj@tut.fi, rks@tut.fi Tampere University of Technology were needed to manage the complexity of large specifications. Based on the insight so gained, the DisCo language (for Distributed |
| ftp://ftp.cs.tut.fi/pub/reports/Jar92.ps.Z, 19930917
Hannu-Matti J rvinen The Design of a Specification Language for Reactive Systems 2 3 |
| ftp://ftp.cs.tut.fi/pub/reports/DisCo-language.ps.Z, 19940420
Tampere University of Technology DisCo Working Paper Research Institute for Information Technology Project DisCo Project DisCo is part of the FINSOFT programme of the Technology Development Centre of Finland (TEKES). Kone Oy, Oy Nokia Ab, Telenokia Oy, and Valmet Automation are industrial partners in |
| ftp://ftp.cs.tut.fi/pub/reports/icse12.ps, 19940524
1 of 9 Object-Oriented Specification of Reactive Systems H.-M. J rvinen*, R. Kurki-Suonio*, M. Sakkinen**, and K. Syst * * Tampere University of Technology, Software Systems Laboratory Box 527, SF-33101 Tampere, Finland ** University of Jyv skyl , Department of Computer Science Seminaarinkatu 15, |
| ftp://ftp.cs.tut.fi/pub/reports/disco_tool.ps, 19940524
Appeared in the proceedings of the Euromicro'91 Workshop on Real-Time Systems, Paris, June 12-14, 1991. |
| ftp://ftp.cs.tut.fi/pub/reports/iwssd5.ps, 19940524
1 of 7 Action System Approach to the Specification and Design of Distributed Systems R. Kurki-Suonio and H.-M. J rvinen Tampere University of Technology Software Systems Laboratory Box 527, SF-33101 Tampere, Finland in temporal logic or in the logic developed for Unity . External |
| ftp://ftp.cs.tut.fi/pub/reports/real_time.ps, 19940524
In Proc. of euromicro'92 workshop on real-rime systems, Athens, Greece, June 3-5, 1992 1 of 6 |
| ftp://ftp.cs.tut.fi/pub/reports/foundations96.ps, 19960221
1 FUNDAMENTALS OF OBJECT-ORIENTED SPECIFICATION AND MODELING OF COLLECTIVE BEHAVIORS Reino Kurki-Suonio Software Systems Laboratory, Tampere University of Technology P.O. Box 553, FIN-33101 Tampere, Finland |
| ftp://ftp.cs.tut.fi/pub/reports/scheduling.ps, 19960223
- 13 -- 13 - Acknowledgments The joint action approach was developed together with Ralph Back. Research on its use as a basis for a practical specification language was carried out in project DisCo, which was part of the FINSOFT programme of the Technology Development Centre of Finland, and was |
| ftp://ftp.cs.tut.fi/pub/reports/pk-thesis.ps.gz, 19971219
Mechanical Verification of Invariant Properties of DisCo Specifications Pertti Kellom aki November 10, 1997 ii To Minna, Putney, and walkies to come. iii iv |
|
