Métodos Formales y Tecnologías Orientadas a Objetos

• Pérez Castillo, José Nelson ^[1]
  1. [1] Universidad Distrital Francisco José de Caldas

     Universidad Distrital Francisco José de Caldas

     Colombia

     
• Localización: Ingeniería, ISSN-e 2344-8393, ISSN 0121-750X, Nº. 1, 1999, págs. 10-18
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • Este artículo discute el uso de métodos formales en procura de los más altos niveles de calidad en el desarrollo de software. Se muestra un panorama de los principales conceptos de las tecnologías orientadas a objetos y de los métodos formales haciendo un recorrido de la investigación y las tendencias principales en este importante campo de la ingeniería de software.

• Referencias bibliográficas
  • Pérez C. J. N. Línea de investigación en administración de redes. Universidad Distrital Francisco José de Caldas, Facultad de Ingeniería,...
  • Pérez C. J. N. Sistema Integrado de Pruebas, Análisis y Gestión de Redes (SIPAG). Universidad Distrital Francisco José de Caldas, Facultad...
  • Spivey M. The Z notation: A reference manual. Prentice Hall, 2nd edition, 1992.
  • Jones C. Systematic software development using VDM. Prentice Hall International. (2nd edition), edition 1992.
  • Ritchie B. Proof with Mural. Rutherford Appleton Laboratory, Informatics Department, Chilton, Didcot, Oxon OX11 0QX, UK, 1993.
  • Andrews D. J. Information Techonology Programming Langauges VDM-SL; First Commitee Draft Standard: CD 13817-1, documento iso/iec jtcl/sc22/wg19...
  • Ehrig H. y Mahr B. Fundamentals of algebraic specification2. Springer-Verlag 1990.
  • Guttag J. Abstract data types and the development of data structures. En Programming Language Design. Los Alamitos, CA: IEEE Computer Society...
  • Goguen J. y Ginali S. A categorical approach to general systems theory. En G. Klir, Editor, Applied General Systems Research, págs. 257-270....
  • Hoare, C. Communicating sequential processes. Prentice Hall, 1985.
  • Milner R. Communication and concurrency. Prentice Hall, 1991.
  • Milner R. The polyadic p-calculus: A tutorial. En M. Broy, editor, Logic and Algebra of Specification, 1992.
  • May D. Use of formal methods by silicon manufacturer. En C. A. R. Hoare, editor, Developments in Concurrency and Communication, capítulo 4,...
  • Brinksma E. Information Processing Systems - Open Systems Interconnection - LOTOS - A formal descripción technique based on the temporal ordering...
  • Goguen J. y Diaconescu R. Towards an algebraic semantics for the object paradigm. En Harmut Ehrig and Fernando Orejas Editors, Recent Trends...
  • George C. et al. The RAISE specification language. Prentice Hall, 1992.
  • Carrington D., et al. Object-Z: An object oriented extension to Z, En Formal Description Techniques, II (FORTE89), págs 281-196. North-Holland,...
  • Durr E. y Katwinjk J. VDM++: a formal specification language for object-oriented design. En TOOLS Europe92 págs: 63-77, 1992.
  • Cook S. y Daniels J. Designing Object Systems: object-oriented modelling with Syntropy. Prentice Hall, 1994.
  • Coleman D. et al. Object oriented development: The Fusion method. Prentice Hall object-oriented series, 1994.
  • Alencar A. J. y Goguen J. A. OOZE: An object-oriented Z environment. En P. America, editor, ECOOP91 Proceedings, volumen 512 de Lecture Notes...
  • Hoare C. Communicating sequential processes. Prentice Hall, 1985.
  • Jones C. An object-based design method for concurrent programs. Technical Reports UMCS-92-12-1, Department of Computer Science, University...
  • Moreira A. M. D. y Clark R. G. Combining object-oriented analysis and formal description techniques. En M. Tokoro and R. Pareschi, editors,...
  • Houston I. Formal specification of the OMG Core Object Model. Technical Report IBM UK, Hursely Park, 1994.
  • Semmens L. et al. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6), 1992.
  • Austin S. y Parkin G. I. Formal methods: a survey. Technical report, National Physical Laboratory, Queens Road, Tedington, Middlesex, TW11...
  • Lano K. y Haughton H. Object-oriented specification case studies. Prentice Hall, first edition, 1993.
  • Rumbaugh J. et al. Object-oriented modelling and design. Prentice-Hall, 1991.
  • Fiadeiro J. y Maibaum P. Towards object calculi. Technical Report, Imperial College, 1991.
  • LeBlanc P. VENUS User manual combined use of OMT and VDM++. Technical Report afro/verilog/plb/um/v2,3, Verilog, 1995.
  • Barroca L. M. et al. The architectural specification of an avionic subsystem. En IEEE Workshop on industrial-trength formal specification...
  • Booch G. y Bryan D. Software Engineering inb Ada, cuarta edición. Benjamin/ Cummings, 1994.
  • Sampaio A. y Meria S. Modular extensions to Z. En VDM and Z, volume 428 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
  • Iachini P. y Giovanni R. HOOD and Z for the development of complex software systems. En VDM and Z VDM 90, volumen 428 de Lecture Notes in...
  • Haugton H. y Lano K. B Abstract machine notation: a reference manual. Mc Graw Hill, 1995.
  • Bowen J. y Stavridou V. Safety-critical systems, formal methods and standars. Software Engineering 1993.
  • Hall A. Specificying and interpreting class hierarchies in Z. En 8th Z User Meeting, Workshop in Computing, Springer-Verlag, 1994.
  • Cusack E. Object-oriented modelling in Z. En P. America, editor, ECOOP91 Proceedings, Lecture Notes in Computer Science. Springer Verlag,...
  • Lano K. Z++, an object oriented extension to Z. In J. Nicholls, editor, Z User Meeting, Oxford, UK Workshops in Computing. Springer-Verlag,...
  • Meira S. R. L. y Cavalcanti A. L. C. Modular object-oriented Z specifications. En Z User Meeting 1990, Workshops in Computing, págs 173-192....
  • Wills A. Capsules and types in Fresco: Program verification in Smalltalk. En P. America, editor, ECCOP91 Proceedings, volume 512 of Lecture...
  • Moller-Pedersen B et al. Relational and tutorial on osdl: An object-oriented extension of sdl. Computer Networks and ISDN Systems, 13(2):...
  • Lano K. Refinement in object-oriented specification languages. En D. Till. Editor, 6th Refinement Worshop. Springer-Verlag, 1994.
  • Atkinson W. D. et al, Modal action logic for the specification and validation of safety. En Mathematical Structures for Software Engineering....
  • Hayes J. y Mahony B. A case study in timed refinement: A mine pump. IEEE Software, 18(9), Septiembre de 1992.
  • Durr E. y Dusink E. The role of VDM++ in the development of a real-time tracking and tracing system. En J. Woodcock and P. Larsen,...
  • Lano K. Reactive system specification and refinement. En TAPSOFT95, Volume 915 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
  • Ponder C. y Bush B. Polymorphism considered harmful. ACM Sigplan Notices, 27(6), Junio de 1992.
  • Wide N. y Huit R. Maintenance support for object-oriented programs. En Proceedings of Conference on Software Maintenance. IEEE Computer Society...
  • Hogg J. Islands: Aliasing protection in object-oriented languages. En OOSPLA91 Proceedings. Springer-Verlag, 1991.
  • Smith G. A logic for object-Z. En Z User Meeting95. Lecture Notes in Computer Science. Springer-Verlag, 1995.
  • Lin T. A formal semantics for MooZ, PhD Thesis. Technical Reports, DI/UFPE, Recife/PE, Brazil, 1994.
  • Hennesy M. Algebraic theory of processes. The MIT Press, 1988.
  • Malcom G. y Goguen J. Proving correctness of refinement and implementation. Technical monograph PRG-114, Programming Resarch Group, Oxford,...
  • Maung I. et al. Towards a formatization of programming by difference. En FME94 Proceedings. Springer-Verlag, 1994.
  • Wieringa R. et at. Roles and dynamic subclasses: a modal logic approach. En ECCOP94 Proceedings. Springer-Verlag, 1994]
  • Cook W. y Palsberg J. A. A denotational semantics of inheritance and its correctness. Proceedings of International Confeence on Object-oriented...
  • Hense A. Denotational semantics of an object-oriented language with explicit wrapper. BCS Formals Aspects of Computing, 5:181-207, 1993.
  • Abadi M. y Cardelli L. An imperative object calculus. En P.D. Mosses, M. Nielsen, y M. I. editores, TAPSOFT95, volumen 915 de Lecture Notes...
  • Liskov B. Data abstraction and hierarchy. En OOSPLA87 (Addendum to proceedings): ACM SIGPLAN Notices, 23(5): 17-34, Mayo de 1988.
  • Liskov B. y Wing J. Family values: A behavioral notion of subtyping. Technical Report CMU-CS-93-187, School of Computer Science Carnegie Mellon...
  • America P. Pool-t: a parallel object oriented language. En Object Oriented Concurrente Programming. MIT Press, 1987.
  • Atkinson C. Object Oriented Reuse, Concurrency and Distribution, ACM Press: Addison Wesley, 1991.
  • Goldberg A. y Robson D. Smalltalk-80: The language and its implementation. Addison Wesley, 1983.