Modal logic as a design notation

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 150-152

  Areces, Carlos ^a   Felder, Miguel ^a   Hirsch, Dan ^a   Yankelevich, Daniel ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

INVERSE PROBLEMS; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

DESIGN NOTATIONS; INVERSE OPERATORS; METHOD OF MODELING; MODAL MODELS; MODEL CHECKING ALGORITHM; PROPERTY SPECIFICATION LANGUAGE; PROTOTYPE TOOLS; SOFTWARE SYSTEM DESIGNS;

COMPUTER CIRCUITS;

EID: 0013369590     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667931     Document Type: Conference Paper

References (12)

1. Agustí, J., Robertson, D., and Puigsegur, J. Grasp: A graphical specification language for the preliminary specification of logic programs. Technical report, Institut d'Investigació en Intelligència Artificial (CSIC), 1995.
2. Allen, R. and Garlan, D. Formalizing architectural connection. In International Conference on Software Engineering, May 1994.
3. Areces, C. and Hirsch, D. Modal logic as a software engineering tool. TR 96-0004, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Dep. de Computación., 1996. http://www.dc.uba.ar.
4. Bernhard, S. and Tiziana, M. Automatic synthesis of design plans in Metaframe. Technical Report MIP- 9610, Universität Passau. Fakultät für Mathematik und Informatik, 1996.
5. Clarke, E., Emerson, E., and Sistla, A. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2), 1986.
6. Cosens, M., Mendelzon, A., and Ryman, A. Visualizing and quering software structures. In ICSE'92 Proceedings of the 14th International Conference on Software Engineering, 1992.
7. Garlan, D. and Shaw, M. An introduction to software architecture. Advances in Software Engineering and Knowledge Engineering, I, 1993.
8. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, June 1994.
9. Maibaum, T., Sadler, M., and Veloso, P. Logical speci fication and implementation. Lecture Notes in Computer Science, (18), 1984.
10. Paul, S. and Prakash, A. A query algebra for program databases. IEEE Transactions on Software Engineering, 22(3), March 1995.
11. Perry, D. Software interconnection models. In Proceedings of the 9th International Conference on Software Engineering, pages 61-69, Monterey, California, March 1987.
12. Pnueli, A. The temporal logic of programs. In In Proceedings of the 18th. Annual Symposium on the Foundations of Computer Science, New York, 1977. IEEE.