Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Repositóriosid.inpe.br/mtc-m16@80/2006/08.21.17.18
Última Atualização2006:09.06.17.35.35 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m16@80/2006/08.21.17.18.24
Última Atualização dos Metadados2021:02.11.21.05.07 (UTC) administrator
Chave SecundáriaINPE-14069-PRE/9238
Chave de CitaçãoAmbrosioMart:2006:TeFoDe
TítuloSpace services: textual to formal description
FormatoCD-ROM
Ano2006
Data Secundária2006-08-21
Data de Acesso23 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho181 KiB
2. Contextualização
Autor1 Ambrosio, Ana Maria
2 Martins, Eliane
Identificador de Curriculo1 8JMKD3MGP5W/3C9JGH7
Grupo1 DSS-INPE-MCT-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais
2 University of Campinas
Nome do EventoInternational Conference on Space Operations will be hosted by the, 9th.
Localização do EventoRome, Italy.
Data2006-06-19/23
Páginas11
Título do LivroProceedings
Tipo TerciárioPosters
OrganizaçãoThe American Institute of Aeronautics and Astronautics, (AIAA)
Histórico (UTC)2006-09-06 17:35:35 :: jefferson -> administrator ::
2021-02-11 21:05:07 :: administrator -> marciana :: 2006
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveSpace service standard
service software behavior
formal notation
ResumoThis article presents a set of proposed steps to translate a software service specification from a textual description into a formal notation. This translation is important to reduce ambiguity inherent in textual description and avoid misunderstandings. The referred steps were initially proposed in the context of a testing methodology; however, here, a shortened version of the methodology is suggested for service description and also for implementation purposes. Two examples of packet utilization space services, the Telecommand Verification and the Large Data Transfer services, extracted from the ECSS-E-7041A standard illustrate the proposed steps. The paper discusses advantages of and limits to applying these steps.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Space services: textual...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/sid.inpe.br/mtc-m16@80/2006/08.21.17.18
URL dos dados zipadoshttp://urlib.net/zip/sid.inpe.br/mtc-m16@80/2006/08.21.17.18
Idiomaen
Arquivo AlvoBrazilian Satellite Simulators Previous Solutions Trade-off and New Perspectives for the CBERS (Ana Maria).pdf
Grupo de Usuáriosadministrator
jefferson
Visibilidadeshown
Detentor da CópiaSID/SCD
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 2
sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
Acervo Hospedeirosid.inpe.br/banon/2003/08.15.17.40
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar