Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço
Abstract
This work describes an experience on using object oriented formal specifications to implement an automatic exercise electrocardiograms processing system. The dia on followed an object oriented software development method, based on MooZ, an ob, riented formal specification language, which was used as notation for software description, documentation and design. The use of an abstract, structured and well defined mathematical notation, allowed a good understanding of the in hand problem, even in the early stages of development.
References
Alencar, AJ; Goguen, JA. "OOZE: An Object Oriented Z Environment". In Proceedings of ECOOP'91 - V European Conference on Object Oriented Programing, Springer-Verlag, Genebra - Suíça, 1991.
Borland International. Turbo Pascal Version 6.0 - Programmer's Guide, 1990.
Carvalho, LC; Barros, RV; Lima, AP; Motta, GHMB; Machado, PDL. "A Versatile Catheterization Laboratory Data Management System Based on PC-XT Microcomputers". Medical and Biological Engineering and Computing, volume 29, supplement part 2. Digest of the World Congress on Medical Physics and Biomedical Engineering, Kyoto, Japão, 1991.
Carvalho, LC; Maia, RR; Torres, RH; Motta, GHMB; Varani, ML. "Processamento Automático de Sinais Eletrocardiográficos com o uso de Microcomputadores". Arquivos Brasileiros de Cardiologia, volume 59, suplemento II. Resumo das Comunicações do XLVII Congresso da Sociedade Brasileira de Cardiologia, Recife - PE, setembro de 1992.
Duke, D; Duke, P. "Towards a Semantics for Object-Z". In VDM'90: VDM and Z!, LNCS, Springer-Verlarg, Kiel, abril de 1990.
Guyton, AC. Tratado de Fisiologia Médica, 6 edição, Editora Guanabara, 1986.
Hamilton, PS; Tompkins, WJ. "Quantitative Investigation of QRS Detection Rules Using the MIT/BIH Arrhythmia Database". IEEE Transactions on Biomedical Engineering, volume 33, número 12, dezembro de 1986.
Jones, CB. Systematic Software Development Using VDM, 2º edição, Prentice Hall International Series, Prentice Hall, 1990.
Kriewall, TJ; Long, JM. "Computer-Based Medical Systems". IEEE Computer, volume 24, número 3, março de 1991.
Lano, K. "Z++: An Obejct Oriented Extension to Z".Z Users Meeting. Workshop on Computing Science, Springer-Verlag, Oxford UK, dezembro de 1990.
Marcondes, GD. Ergometria/Bases da Reabilitação Cardiovascular, Cultura Médica, 1986.
Meira, SL; Cavalcanti, ALC. "Modular Object-Oriented Z Specifications". Z Users Meeting. Workshop on Computing Science, Springer-Verlag, Oxford-UK, dezembro de 1990.
Meira, SL; Cavalcanti, ALC. "The MooZ Specification Language". Pro TeM-CC-NE, Relatório Técnico ES/1.92, Universidade Federal de Pernambuco, janeiro de 1992.
Meira, SL; Sampaio, AC. "Modular Extensions to Z". In VDM'90: VDM and Z!, LNCS, Springer-Verlarg, Kiel, abril de 1990.
Milner, R. "Is Computing an Experimental Science?". Laboratory for Foundations of Computer Science Report Series, ECS-LFCS-86-1, Department of Computer Science, University of Edinburgh, agosto de 1986.
Motta, GHMB. Especificações Formais Orientadas a Objetos: Aplicação no Desenvolvimento de um Sistema para Processamento do Eletrocardiograma de Esforço, Dissertação de Mestrado, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.
Motta, GHMB; Carvalho, LC; Meira, SL. "Especificações Formais Orientadas a Objetos: Aplicação no Processamento do Eletrocardiograma de Esforço". Anais do I Forum Nacional de Ciência e Tecnologia em Saúde: XIII Congresso Brasileiro de Engenharia Biomédica, Hotel Glória, Caxambu-MG, 20 a 24 de novembro de 1992.
Spivey, JM. The Z Notation: A Reference Manual, Prentice Hall, 1989.
Stepney, S; Barden, R; Cooper, D. "Comparative Study of Object Orientation in 2º. Technical Report 1, Logica Cambridge Limited, Advanced Software Engineering Division, fevereiro de 1991.
Turski, WM; Maibaum, TSE. The Specifications of Computer Systems. International Computer Science Series, Adison-Wesley Publishing Company, 1987.
Wegner, P. "Concepts and Paradigms of Object-Oriented Programing. Expansion of Oct 4 OOPSLA-89 Keynote Talk". ACM Object-Oriented Messenger, volume 1, número 1, 1990.
Borland International. Turbo Pascal Version 6.0 - Programmer's Guide, 1990.
Carvalho, LC; Barros, RV; Lima, AP; Motta, GHMB; Machado, PDL. "A Versatile Catheterization Laboratory Data Management System Based on PC-XT Microcomputers". Medical and Biological Engineering and Computing, volume 29, supplement part 2. Digest of the World Congress on Medical Physics and Biomedical Engineering, Kyoto, Japão, 1991.
Carvalho, LC; Maia, RR; Torres, RH; Motta, GHMB; Varani, ML. "Processamento Automático de Sinais Eletrocardiográficos com o uso de Microcomputadores". Arquivos Brasileiros de Cardiologia, volume 59, suplemento II. Resumo das Comunicações do XLVII Congresso da Sociedade Brasileira de Cardiologia, Recife - PE, setembro de 1992.
Duke, D; Duke, P. "Towards a Semantics for Object-Z". In VDM'90: VDM and Z!, LNCS, Springer-Verlarg, Kiel, abril de 1990.
Guyton, AC. Tratado de Fisiologia Médica, 6 edição, Editora Guanabara, 1986.
Hamilton, PS; Tompkins, WJ. "Quantitative Investigation of QRS Detection Rules Using the MIT/BIH Arrhythmia Database". IEEE Transactions on Biomedical Engineering, volume 33, número 12, dezembro de 1986.
Jones, CB. Systematic Software Development Using VDM, 2º edição, Prentice Hall International Series, Prentice Hall, 1990.
Kriewall, TJ; Long, JM. "Computer-Based Medical Systems". IEEE Computer, volume 24, número 3, março de 1991.
Lano, K. "Z++: An Obejct Oriented Extension to Z".Z Users Meeting. Workshop on Computing Science, Springer-Verlag, Oxford UK, dezembro de 1990.
Marcondes, GD. Ergometria/Bases da Reabilitação Cardiovascular, Cultura Médica, 1986.
Meira, SL; Cavalcanti, ALC. "Modular Object-Oriented Z Specifications". Z Users Meeting. Workshop on Computing Science, Springer-Verlag, Oxford-UK, dezembro de 1990.
Meira, SL; Cavalcanti, ALC. "The MooZ Specification Language". Pro TeM-CC-NE, Relatório Técnico ES/1.92, Universidade Federal de Pernambuco, janeiro de 1992.
Meira, SL; Sampaio, AC. "Modular Extensions to Z". In VDM'90: VDM and Z!, LNCS, Springer-Verlarg, Kiel, abril de 1990.
Milner, R. "Is Computing an Experimental Science?". Laboratory for Foundations of Computer Science Report Series, ECS-LFCS-86-1, Department of Computer Science, University of Edinburgh, agosto de 1986.
Motta, GHMB. Especificações Formais Orientadas a Objetos: Aplicação no Desenvolvimento de um Sistema para Processamento do Eletrocardiograma de Esforço, Dissertação de Mestrado, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.
Motta, GHMB; Carvalho, LC; Meira, SL. "Especificações Formais Orientadas a Objetos: Aplicação no Processamento do Eletrocardiograma de Esforço". Anais do I Forum Nacional de Ciência e Tecnologia em Saúde: XIII Congresso Brasileiro de Engenharia Biomédica, Hotel Glória, Caxambu-MG, 20 a 24 de novembro de 1992.
Spivey, JM. The Z Notation: A Reference Manual, Prentice Hall, 1989.
Stepney, S; Barden, R; Cooper, D. "Comparative Study of Object Orientation in 2º. Technical Report 1, Logica Cambridge Limited, Advanced Software Engineering Division, fevereiro de 1991.
Turski, WM; Maibaum, TSE. The Specifications of Computer Systems. International Computer Science Series, Adison-Wesley Publishing Company, 1987.
Wegner, P. "Concepts and Paradigms of Object-Oriented Programing. Expansion of Oct 4 OOPSLA-89 Keynote Talk". ACM Object-Oriented Messenger, volume 1, número 1, 1990.
Published
1993-10-27
How to Cite
MOTTA, Gustavo H. M. B.; MEIRA, Silvio R. L.; CARVALHO, Luis C..
Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 7. , 1993, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 253-267.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.1993.24409.
