Métodos Formales y Tecnologías Orientadas a Objetos

  • José Nelson Pérez Castillo Universidad Distrital Francisco José de Caldas
Palabras clave: Métodos formales, Z , VDM , Object-Z, tipos, categorías, tecnologías orientadas a objetos. (es_ES)

Resumen (es_ES)

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.

Descargas

La descarga de datos todavía no está disponible.

Referencias

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, Maestría en Teleinformática, Junio de 1992.

Pérez C. J. N. Sistema Integrado de Pruebas, Análisis y Gestión de Redes (SIPAG). Universidad Distrital Francisco José de Caldas, Facultad de Ingeniería, Maestría en Teleinformática, Noviembre de 1994.

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 n-20, Noviembre de 1993.

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 Press, 1980

Goguen J. y Ginali S. A categorical approach to general systems theory. En G. Klir, Editor, Applied General Systems Research, págs. 257-270. Plenum, 1978.

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, págs. 107129. Addison Wesley, 1990.

Brinksma E. Information Processing Systems - Open Systems Interconnection - LOTOS - A formal descripción technique based on the temporal ordering of observation, ISO 8807, 1988.

Goguen J. y Diaconescu R. Towards an algebraic semantics for the object paradigm. En Harmut Ehrig and Fernando Orejas Editors, Recent Trends in Data Type Specification. Srpinger-Verlag Lecture Notes in Computer Science, 785, 1994.

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, 1990.

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 in Computer Science, págs. 180-199. Springer-Verlag. Julio de 1991.

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 of Manchester, 1992.

Moreira A. M. D. y Clark R. G. Combining object-oriented analysis and formal description techniques. En M. Tokoro and R. Pareschi, editors, 8th European Conference on Object-Oriented Programming: ECCOP94, LNCS 821, págs. 344-364. Springer-Verlag, Julio de 1994.

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 OLW, Marzo de 1993.

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 techniques, págs. 1729. IEEE Press, 1995.

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 Computer Science, págs. 262-289. Springer-Verlag, 1990.

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, 1991.

Lano K. Z++, an object oriented extension to Z. In J. Nicholls, editor, Z User Meeting, Oxford, UK Workshops in Computing. Springer-Verlag, 1991.

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. Springer-Verlag, 1991.

Wills A. Capsules and types in Fresco: Program verification in Smalltalk. En P. America, editor, ECCOP91 Proceedings, volume 512 of Lecture Notes in Computer Science, págs. 59-76. Springer-Verlag, 1991.

Moller-Pedersen B et al. Relational and tutorial on osdl: An object-oriented extension of sdl. Computer Networks and ISDN Systems, 13(2): 97-117, 1987.

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. The Institute of Mathemtics and its Applications Conference Series 27, Clarendon Press, 1991.

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, Editors, FME93 Lecture Notes in Computer Science. Springer Verlag, 1993.

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 Press, 1991.

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, University, 1994.

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 programming, systems and languages, 24(10): 433-443. Special Issue of SIGPLAN Noteces, 1989.

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 in Computer Science. Springer-Verlag, Mayo de 1995.

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 University, 1993.

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.

Cómo citar
Pérez Castillo, J. N. (1998). Métodos Formales y Tecnologías Orientadas a Objetos. Ingeniería, (1), 10-18. https://doi.org/10.14483/23448393.2282
Publicado: 1998-11-30
Sección
Ciencia, investigación, academia y desarrollo

Artículos más leídos del mismo autor/a

1 2 > >>