| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
14/06/1996 |
|
Data da última atualização: |
22/03/2011 |
|
Autoria: |
MIN, L. T.; MEIRA, S. L. |
|
Afiliação: |
LIN TSE MIN, UFPE; SILVIO LEMOS MEIRA, UFPE. |
|
Título: |
The class constructor in MooZ. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
|
Volume: |
V.2 |
|
Páginas: |
p. 1249-1261. |
|
Idioma: |
Inglês |
|
Conteúdo: |
The formal specification of software has been recognized as an important step towards the development of high quality and reliable software and plays a crucial role in reducing development costs. The beginning of the 90's has seen many proposals of object-oriented extensions to the Z specification language. MooZ, one such extension, was proposed by the Formal Specification Group at DI/UFPE. MooZ includes the basic concepts of object-orientation: abstraction, encapsulation, modularity and hierarchy. This paper describes a set-theoretic model for the class concept and shows how the semantics for the "kind of" inheritance and polymorphism in the MooZ language are defined. The model is proposed as a conservative extension of the well-known semantics of schema of Z. The type system for MooZ is presented and the model of signature, structures, varieties and environment proposed by Spivey for Z is expanded to give support to the class concept in MooZ. |
|
Palavras-Chave: |
Especificação formal Z; Linguagem MooZ; Software. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01555naa a2200193 a 4500
001 1002705
005 2011-03-22
008 1995 bl uuuu u00u1 u #d
100 1 $aMIN, L. T.
245 $aThe class constructor in MooZ.
260 $c1995
300 $ap. 1249-1261. V.2
490 $vV.2
520 $aThe formal specification of software has been recognized as an important step towards the development of high quality and reliable software and plays a crucial role in reducing development costs. The beginning of the 90's has seen many proposals of object-oriented extensions to the Z specification language. MooZ, one such extension, was proposed by the Formal Specification Group at DI/UFPE. MooZ includes the basic concepts of object-orientation: abstraction, encapsulation, modularity and hierarchy. This paper describes a set-theoretic model for the class concept and shows how the semantics for the "kind of" inheritance and polymorphism in the MooZ language are defined. The model is proposed as a conservative extension of the well-known semantics of schema of Z. The type system for MooZ is presented and the model of signature, structures, varieties and environment proposed by Spivey for Z is expanded to give support to the class concept in MooZ.
653 $aEspecificação formal Z
653 $aLinguagem MooZ
653 $aSoftware
700 1 $aMEIRA, S. L.
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Algodão. |
|
Data corrente: |
24/10/2007 |
|
Data da última atualização: |
24/10/2007 |
|
Tipo da produção científica: |
Comunicado Técnico/Recomendações Técnicas |
|
Circulação/Nível: |
-- - -- |
|
Autoria: |
VIDAL, M. S.; BEZERRA, C. de S.; SUASSUNA, N. D.; HOFFMANN, L. V. |
|
Título: |
Comparação entre protocolos de extração de DNA para Ramularia areola. |
|
Ano de publicação: |
2005 |
|
Fonte/Imprenta: |
Campina Grande: Embrapa Algodão, 2005. |
|
Páginas: |
4 p. |
|
Série: |
(Comunicado Técnico, 240) |
|
ISSN: |
0102-0099 |
|
Idioma: |
Português |
|
Palavras-Chave: |
Extração de DNA; Ramularia areola. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/CNPA/19684/1/COMTEC240.pdf
|
|
Marc: |
LEADER 00551nam a2200193 a 4500
001 1275939
005 2007-10-24
008 2005 bl uuuu u0uu1 u #d
022 $a0102-0099
100 1 $aVIDAL, M. S.
245 $aComparação entre protocolos de extração de DNA para Ramularia areola.
260 $aCampina Grande: Embrapa Algodão$c2005
300 $a4 p.
490 $a(Comunicado Técnico, 240)
653 $aExtração de DNA
653 $aRamularia areola
700 1 $aBEZERRA, C. de S.
700 1 $aSUASSUNA, N. D.
700 1 $aHOFFMANN, L. V.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Algodão (CNPA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
