| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
29/01/1999 |
|
Data da última atualização: |
03/03/2011 |
|
Autoria: |
FALTIN, N.; LAMBERT, L.; MITSCHELE-THIEL, A.; SLOMKA, F. |
|
Afiliação: |
NILS FALTIN, Friedrich-Alexander-Universität Erlangen-Nürnberg; LENNARD LAMBERT, Friedrich-Alexander-Universität Erlangen-Nürnberg; ANDREAS MITSCHELE-THIEL, Friedrich-Alexander-Universität Erlangen-Nürnberg; FRANK SLOMKA, Friedrich-Alexander-Universität Erlangen-Nürnberg. |
|
Título: |
An annotational extension of message sequence charts to support performance engineering. |
|
Ano de publicação: |
1997 |
|
Fonte/Imprenta: |
In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997. |
|
Páginas: |
p. 307-322. |
|
Idioma: |
Inglês |
|
Conteúdo: |
With the development of complex systems based on SDL, performance issues often play a major role. However, this is neither reflected by the SDL methodology nor by the specification techniques suggested by the methodology, namely SDL and MSC. To remedy this problem, we propose Performance Message Sequence Charts (PMSC). PMSC represents an extension of MSC-96 to include performance aspects into the language. The extensions allow for the formal specification of various performance aspects, e.g. performance requirements, resource requirements and the specification of the available resources. In order to support the use of tools based on MSC-96, the language extensions are embedded in comments of the original MSC-96 language. PMSC allows for the co-specification of functional and performance aspects. This joint specification of functional and performance aspects eases the task of software engineers. It saves effort otherwise needed to maintain two different models. In addition, the co-specification based on MSC, rather than on SDL, supports the early evaluation of the performance of the systems. |
|
Palavras-Chave: |
Engenharia de software; Especificação formal; Linguagem SDL. |
|
Thesaurus Nal: |
Computer science. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01797naa a2200217 a 4500
001 1006998
005 2011-03-03
008 1997 bl uuuu u00u1 u #d
100 1 $aFALTIN, N.
245 $aAn annotational extension of message sequence charts to support performance engineering.
260 $c1997
300 $ap. 307-322.
520 $aWith the development of complex systems based on SDL, performance issues often play a major role. However, this is neither reflected by the SDL methodology nor by the specification techniques suggested by the methodology, namely SDL and MSC. To remedy this problem, we propose Performance Message Sequence Charts (PMSC). PMSC represents an extension of MSC-96 to include performance aspects into the language. The extensions allow for the formal specification of various performance aspects, e.g. performance requirements, resource requirements and the specification of the available resources. In order to support the use of tools based on MSC-96, the language extensions are embedded in comments of the original MSC-96 language. PMSC allows for the co-specification of functional and performance aspects. This joint specification of functional and performance aspects eases the task of software engineers. It saves effort otherwise needed to maintain two different models. In addition, the co-specification based on MSC, rather than on SDL, supports the early evaluation of the performance of the systems.
650 $aComputer science
653 $aEngenharia de software
653 $aEspecificação formal
653 $aLinguagem SDL
700 1 $aLAMBERT, L.
700 1 $aMITSCHELE-THIEL, A.
700 1 $aSLOMKA, F.
773 $tIn: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997.
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 Amazônia Oriental. |
|
Data corrente: |
25/02/2010 |
|
Data da última atualização: |
17/10/2011 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
OLIVEIRA, H. S. de; LEMOS, O. F. de; MIRANDA, V. S.; CAMPELO, M. F.; MOURA, H. C. da P. |
|
Afiliação: |
HERICA SANTOS DE OLIVEIRA, MESTRANDA UFRA; ORIEL FILGUEIRA DE LEMOS, CPATU; VICENTE S. MIRANDA, UFRA; MEICIANE F. CAMPELO, GRADUANDA UFRA; HELEN CRISTINA DA P. MOURA, GRADUANDA UFRA. |
|
Título: |
Ação de PVP como anti-oxidante para micropropagação de plantas de Musa spp. |
|
Ano de publicação: |
2009 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE FLORICULTURA E PLANTAS ORNAMENTAIS, 17.; CONGRESSO BRASILEIRO DE CULTURA DE TECIDOS DE PLANTAS, 4., 2009, Aracaju. Ciência, inovação e sustentabilidade. Aracaju: Embrapa Tabuleiros Costeiros; Cruz das Almas: Embrapa Mandioca e Fruticultura Tropical, 2009. |
|
Descrição Física: |
1 CD-ROM. |
|
Série: |
(Embrapa Tabuleiros Costeiros. Documentos, 150). |
|
Idioma: |
Português |
|
Palavras-Chave: |
Bananeira. |
|
Thesagro: |
Micropropagação. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/43609/1/C218.pdf
|
|
Marc: |
LEADER 00835nam a2200193 a 4500
001 1658941
005 2011-10-17
008 2009 bl uuuu u00u1 u #d
100 1 $aOLIVEIRA, H. S. de
245 $aAção de PVP como anti-oxidante para micropropagação de plantas de Musa spp.
260 $aIn: CONGRESSO BRASILEIRO DE FLORICULTURA E PLANTAS ORNAMENTAIS, 17.; CONGRESSO BRASILEIRO DE CULTURA DE TECIDOS DE PLANTAS, 4., 2009, Aracaju. Ciência, inovação e sustentabilidade. Aracaju: Embrapa Tabuleiros Costeiros; Cruz das Almas: Embrapa Mandioca e Fruticultura Tropical$c2009
300 $c1 CD-ROM.
490 $a(Embrapa Tabuleiros Costeiros. Documentos, 150).
650 $aMicropropagação
653 $aBananeira
700 1 $aLEMOS, O. F. de
700 1 $aMIRANDA, V. S.
700 1 $aCAMPELO, M. F.
700 1 $aMOURA, H. C. da P.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Amazônia Oriental (CPATU) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
