From play-in scenarios to code: An achievable dream:(Preliminary version, January 2000)

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

Volumn 1783, Issue , 2000, Pages 22-34

  Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TOOLS; COMPLETE SYSTEM; CYCLIC PROCESS; USER FRIENDLY;

SOFTWARE ENGINEERING;

EID: 84945266603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_3     Document Type: Conference Paper

References (36)

1. Booch, G., Object-Oriented Analysis and Design, with Applications (2nd edn.), Benjamin/Cummings, 1994.
2. Clarke, E.M., O. Grumberg and D. Peled, Model Checking, Mit Press, 1999.
3. Constantine, L. L., and E. Yourdon, Structured Design, Prentice-Hall, Engle- wood Cliffs, 1979.
4. Cook, S. and J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, New York, 1994.
5. Damm, W., and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.
6. DeMarco, T., Structured Analysis and System Specification, Yourdon Press, New York, 1978.
7. Dijkstra, E.W., "Notes on Structured Programming", in Structured Programming, Academic Press, New York, 1972.
8. Floyd, R.W., "Assigning Meanings to Programs", Proc. Symp. on Applied Math., (Vol. 19: "Mathematical Aspects of Computer Science"), American Math. Soc., Providence, RI, pp. 19-32, 1967.
9. Harel, D., "Statecharts: A Visual Formalism for Complex Systems", Sci. Com- put. Prog. 8 (1987), 231-274. (Preliminary version appeared as Tech. Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, Feb. 1984.)
10. Harel, D., "On Visual Formalisms", Comm. Assoc. Comput. Mach. 31:5 (1988), 514-530.
11. Harel, D., "Biting the Silver Bullet: Toward a Brighter Future for System Development", Computer (Jan. 1992), 8-20.
12. Harel, D., and E. Gery, "Executable Object Modeling with Statecharts", Computer (July 1997), 31-42.
13. Harel, D., and H. Kugler, "Synthesizing Object Systems from Live Sequence Charts", submitted for publication, 1999.
14. Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull- Trauring, and M. Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Trans. Soft. Eng. 16 (1990), 403-414. (Preliminary version in Proc. 10th Int. Conf. Soft. Eng., IEEE Press, New York, 1988, pp. 396-406.)
15. Harel, D., and A. Pnueli, "On the Development of Reactive Systems", in Logics and Models of Concurrent Systems, (K. R. Apt, ed.), NATO ASI Series, Vol. F-13, Springer-Verlag, New York, 1985, pp. 477-498.
16. Harel, D., and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998.
17. Hatley, D., and I. Pirbhai, Strategies for Real-Time System Specification, Dorset House, New York, 1987.
18. Hoare, C.A.R., "An Axiomatic Basis for Computer Programming", Comm. Assoc. Comput. Mach. 12 (1969), 576-583.
19. Hoare, C.A.R., "Communicating Sequential Processes", Comm. Assoc. Comput. Mach. 21 (1978), 666-677.
20. I-Logix, Inc., products web page, http://www.ilogix.com/fs prod.htm.
21. Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach, ACM Press/Addison-Wesley, 1992.
22. Manna, Z., and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York, 1992.
23. Manna, Z., and A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, New York, 1995.
24. Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vo. 92, Springer-Verlag, Berlin, 1980.
25. MSC: ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1996.
26. Pnueli, A., "Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends", Current Trends in Concurrency (de Bakker et al., eds.), Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, 1986, pp. 510-584.
27. Pnueli, A., and R. Rosner, "On the Synthesis of a Reactive Module", Proc. 16th ACM Symp. on Principles of Programming Languages, Austin, TX, January 1989.
28. Pnueli, A., and R. Rosner, "On the Synthesis of an Asynchronous Reactive Module", Proc. 16th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, Berlin, 1989, pp. 652-671.
29. Reisig, W., Petri Nets: An Introduction, Springer-Verlag, Berlin, 1985.
30. Rumbaugh, J., I. Jacobson and G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
31. Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object- Oriented Modeling and Design, Prentice Hall, 1991.
32. Schlor, R. and W. Damm, "Specification and verification of system-level hard- ware designs using timing diagrams", Proc. European Conference on Design Automation, Paris, France, IEEE Computer Society Press, pp. 518-524, 1993.
33. SDL: ITU-T Recommendation Z.100, Languages for telecommunications applications: Specification and description language, Geneva, 1999.
34. Selic, B., G. Gullekson and P. T. Ward, Real-Time Object-Oriented Modeling, John Wiley & Sons, New York, 1994.
35. Ward, P., and S. Mellor, Structured Development for Real-Time Systems (Vols. 1, 2, 3), Yourdon Press, New York, 1985.
36. Documentation of the Unified Modeling Language (UML), available from the Object Management Group (OMG), http://www.omg.org.