Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço
Resumo
Este trabalho descreve a experiência no uso de especificações formais orientadas a objetos na construção de um sistema para processamento automático do eletrocardiograma de esforço. A construção do sistema empregou uma metodologia de desenvolvimento de software orientado a objetos que tem Rota MooZ, uma linguagem de especificação formal orientada a objetos, utilizada como notação para descrição, documentação e projeto do software. O uso de uma notação matemática abstrata, estruturada e bem definida deu o suporte para um bom entendimento do problema estudado ainda nos estágios iniciais do desenvolvimento.
Referências
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.
Publicado
27/10/1993
Como Citar
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: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 7. , 1993, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 253-267.
DOI: https://doi.org/10.5753/sbes.1993.24409.
