Data/hora: 28/05/2024 11:05:56

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 21/06/1996
Data da última atualização: | 17/08/2007
Autoria: | KAUFMAN, I. N.; MEIRA, S. L.
Título: | Especificacoes formais e orientacao a objetos aplicadas no projeto logico de software.
Ano de publicação: | 1994
Fonte/Imprenta: | In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21., 1994, Caxambu. Anais... Belo Horizonte: UFMG, 1994.
Páginas: | p.225-238
Idioma: | Português
Conteúdo: | Os metodos formais em engenharia de software tem sido aplicados com muito sucesso na fase de especificacao de requisitos. No entanto, para que seus beneficios sejam efetivos, precisamos estender a formalizacao as fases seguintes do ciclo de vida do software. Este artigo propoe uma linguagem que permite a aplicacao de especificacoes formais ao projeto logico de software, oferecendo recursos para determinar propriedades de temporalidade e concorrencia. Esta linguagem descendoe da importante linguagem Z e incorpora conceitos de orientacao a objetos e logica modal de acoes.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3370-1) - ADD - PL - -- - 004 - SEM - 1996.00003 - DIS