Um sistema para execução de especificações JSD

Detalhes bibliográficos
Autor(a) principal: Ana Maria Ambrosio
Data de Publicação: 1988
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações do INPE
Texto Completo: http://urlib.net/sid.inpe.br/mtc-m18@80/2009/03.27.19.17
Resumo: Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas.
id INPE_5334b453c0ceac4947292fd9f0ecca6d
oai_identifier_str oai:urlib.net:sid.inpe.br/mtc-m18@80/2009/03.27.19.17.06-0
network_acronym_str INPE
network_name_str Biblioteca Digital de Teses e Dissertações do INPE
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUm sistema para execução de especificações JSDA system for executing JSD specifications1988-06-08Flávio Roberto Dias VelascoMário JinoPaulo Ouvera SimoniAna Maria AmbrosioInstituto Nacional de Pesquisas Espaciais (INPE)Programa de Pós-Graduação do INPE em Computação AplicadaINPEBRmodelo operacionalespecificação executávelmétodo JSDespecificação de requisito de softwaresoftware requiremenht specificationoperating modelexecutable specification(JSD) methodJackson System DevelopmentModelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas.The operational approach for software development was suggested as an alternative to the conventional approach (specify, project and implement). One of the basic principles of the operational approach is the direct execution of the software requirements specification. In this work, the JSD approach ("Jackson System Development") is considered as an operational approach and, as such, a language and a scheme are proposed that make possible the execution of JSD specifications. It is also implemented a system that analyzes specifications and allows their execution.http://urlib.net/sid.inpe.br/mtc-m18@80/2009/03.27.19.17info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações do INPEinstname:Instituto Nacional de Pesquisas Espaciais (INPE)instacron:INPE2021-07-31T06:53:22Zoai:urlib.net:sid.inpe.br/mtc-m18@80/2009/03.27.19.17.06-0Biblioteca Digital de Teses e Dissertaçõeshttp://bibdigital.sid.inpe.br/PUBhttp://bibdigital.sid.inpe.br/col/iconet.com.br/banon/2003/11.21.21.08/doc/oai.cgiopendoar:32772021-07-31 06:53:23.063Biblioteca Digital de Teses e Dissertações do INPE - Instituto Nacional de Pesquisas Espaciais (INPE)false
dc.title.pt.fl_str_mv Um sistema para execução de especificações JSD
dc.title.alternative.en.fl_str_mv A system for executing JSD specifications
title Um sistema para execução de especificações JSD
spellingShingle Um sistema para execução de especificações JSD
Ana Maria Ambrosio
title_short Um sistema para execução de especificações JSD
title_full Um sistema para execução de especificações JSD
title_fullStr Um sistema para execução de especificações JSD
title_full_unstemmed Um sistema para execução de especificações JSD
title_sort Um sistema para execução de especificações JSD
author Ana Maria Ambrosio
author_facet Ana Maria Ambrosio
author_role author
dc.contributor.advisor1.fl_str_mv Flávio Roberto Dias Velasco
dc.contributor.referee1.fl_str_mv Mário Jino
dc.contributor.referee2.fl_str_mv Paulo Ouvera Simoni
dc.contributor.author.fl_str_mv Ana Maria Ambrosio
contributor_str_mv Flávio Roberto Dias Velasco
Mário Jino
Paulo Ouvera Simoni
dc.description.abstract.por.fl_txt_mv Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas.
dc.description.abstract.eng.fl_txt_mv The operational approach for software development was suggested as an alternative to the conventional approach (specify, project and implement). One of the basic principles of the operational approach is the direct execution of the software requirements specification. In this work, the JSD approach ("Jackson System Development") is considered as an operational approach and, as such, a language and a scheme are proposed that make possible the execution of JSD specifications. It is also implemented a system that analyzes specifications and allows their execution.
description Modelos operacionais para desenvolvimento de software foram propostos como uma alternativa aos modelos convencionais (específica, projeta e implementa). Um dos princípios básicos dos modelos operacionais é que e possível executar diretamente a especificação de requisitos de software. Neste trabalho, o método CTSD ("Jackson System Development") e considerado como um modelo operacional e, para tanto, uma linguagem e um esquema são propostos que possibilitem a execução de especifica JSD. É, também, implementado um sistema que analisa especifica e permite que elas sejam executadas.
publishDate 1988
dc.date.issued.fl_str_mv 1988-06-08
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://urlib.net/sid.inpe.br/mtc-m18@80/2009/03.27.19.17
url http://urlib.net/sid.inpe.br/mtc-m18@80/2009/03.27.19.17
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Instituto Nacional de Pesquisas Espaciais (INPE)
dc.publisher.program.fl_str_mv Programa de Pós-Graduação do INPE em Computação Aplicada
dc.publisher.initials.fl_str_mv INPE
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Instituto Nacional de Pesquisas Espaciais (INPE)
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do INPE
instname:Instituto Nacional de Pesquisas Espaciais (INPE)
instacron:INPE
reponame_str Biblioteca Digital de Teses e Dissertações do INPE
collection Biblioteca Digital de Teses e Dissertações do INPE
instname_str Instituto Nacional de Pesquisas Espaciais (INPE)
instacron_str INPE
institution INPE
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do INPE - Instituto Nacional de Pesquisas Espaciais (INPE)
repository.mail.fl_str_mv
publisher_program_txtF_mv Programa de Pós-Graduação do INPE em Computação Aplicada
contributor_advisor1_txtF_mv Flávio Roberto Dias Velasco
_version_ 1706809351954497536

Registros relacionados