Design of distributed multimedia applications (DAMD)

Wanderley Lopes Desouza; Paulo Nazareno Maia Sampaio; Maria Janilce B. Almeida; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Jean Marie Farines; Roberto Milton Scheffel; Roberto Willrich; Murilo S. Decamargo; Marcelo Domingos

doi:10.1007/3-540-48257-1_4

Design of distributed multimedia applications (DAMD)

Wanderley Lopes Desouza
, Paulo Nazareno Maia Sampaio
, Maria Janilce B. Almeida
, Luciano Paschoal Gaspary
, Lisandro Zambenedetti Granville
, Jean Marie Farines
, Roberto Milton Scheffel
, Roberto Willrich
, Murilo S. Decamargo
, Marcelo Domingos

Producción científica: Capítulo del libro/informe/acta de congreso › Articulo (Contribución a conferencia) › revisión exhaustiva

1 Cita (Scopus)

Resumen

Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.

Idioma original	Inglés
Título de la publicación alojada	Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings
Editores	Paolo Traverso, Dieter Hutter, Werner Stephan, Markus Ullmann
Editorial	Springer Verlag
Páginas	77-91
Número de páginas	15
ISBN (versión impresa)	3540664629, 9783540664628
DOI	https://doi.org/10.1007/3-540-48257-1_4
Estado	Publicada - 1999
Publicado de forma externa	Sí
Evento	International Workshop on Current Trends in Applied Formal Methods, 1998 - Boppard, Alemania Duración: 7 oct. 1998 → 9 oct. 1998

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	1641
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conferencia

Conferencia	International Workshop on Current Trends in Applied Formal Methods, 1998
País/Territorio	Alemania
Ciudad	Boppard
Período	7/10/98 → 9/10/98

Acceder al documento

10.1007/3-540-48257-1_4

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

Desouza, W. L., Sampaio, P. N. M., Almeida, M. J. B., Gaspary, L. P., Granville, L. Z., Farines, J. M., Scheffel, R. M., Willrich, R., Decamargo, M. S., & Domingos, M. (1999). Design of distributed multimedia applications (DAMD). En P. Traverso, D. Hutter, W. Stephan, & M. Ullmann (Eds.), Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings (pp. 77-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1641). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_4

Desouza, Wanderley Lopes ; Sampaio, Paulo Nazareno Maia ; Almeida, Maria Janilce B. et al. / Design of distributed multimedia applications (DAMD). Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings. editor / Paolo Traverso ; Dieter Hutter ; Werner Stephan ; Markus Ullmann. Springer Verlag, 1999. pp. 77-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{72718685443446fd98bda35e2c7a0a6c,

title = "Design of distributed multimedia applications (DAMD)",

abstract = "Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.",

author = "Desouza, \{Wanderley Lopes\} and Sampaio, \{Paulo Nazareno Maia\} and Almeida, \{Maria Janilce B.\} and Gaspary, \{Luciano Paschoal\} and Granville, \{Lisandro Zambenedetti\} and Farines, \{Jean Marie\} and Scheffel, \{Roberto Milton\} and Roberto Willrich and Decamargo, \{Murilo S.\} and Marcelo Domingos",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; International Workshop on Current Trends in Applied Formal Methods, 1998 ; Conference date: 07-10-1998 Through 09-10-1998",

year = "1999",

doi = "10.1007/3-540-48257-1\_4",

language = "Ingl{\'e}s",

isbn = "3540664629",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "77--91",

editor = "Paolo Traverso and Dieter Hutter and Werner Stephan and Markus Ullmann",

booktitle = "Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings",

address = "Alemania",

}

Desouza, WL, Sampaio, PNM, Almeida, MJB, Gaspary, LP, Granville, LZ, Farines, JM, Scheffel, RM, Willrich, R, Decamargo, MS & Domingos, M 1999, Design of distributed multimedia applications (DAMD). En P Traverso, D Hutter, W Stephan & M Ullmann (eds.), Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1641, Springer Verlag, pp. 77-91, International Workshop on Current Trends in Applied Formal Methods, 1998, Boppard, Alemania, 7/10/98. https://doi.org/10.1007/3-540-48257-1_4

Design of distributed multimedia applications (DAMD). / Desouza, Wanderley Lopes; Sampaio, Paulo Nazareno Maia; Almeida, Maria Janilce B. et al.
Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings. ed. / Paolo Traverso; Dieter Hutter; Werner Stephan; Markus Ullmann. Springer Verlag, 1999. p. 77-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1641).

Producción científica: Capítulo del libro/informe/acta de congreso › Articulo (Contribución a conferencia) › revisión exhaustiva

TY - GEN

T1 - Design of distributed multimedia applications (DAMD)

AU - Desouza, Wanderley Lopes

AU - Sampaio, Paulo Nazareno Maia

AU - Almeida, Maria Janilce B.

AU - Gaspary, Luciano Paschoal

AU - Granville, Lisandro Zambenedetti

AU - Farines, Jean Marie

AU - Scheffel, Roberto Milton

AU - Willrich, Roberto

AU - Decamargo, Murilo S.

AU - Domingos, Marcelo

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 1999

Y1 - 1999

N2 - Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.

AB - Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementation, and testing of distributed multimedia applications. This paper presents the main results of this project.

UR - https://www.scopus.com/pages/publications/84957614098

U2 - 10.1007/3-540-48257-1_4

DO - 10.1007/3-540-48257-1_4

M3 - Articulo (Contribución a conferencia)

AN - SCOPUS:84957614098

SN - 3540664629

SN - 9783540664628

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 77

EP - 91

BT - Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings

A2 - Traverso, Paolo

A2 - Hutter, Dieter

A2 - Stephan, Werner

A2 - Ullmann, Markus

PB - Springer Verlag

T2 - International Workshop on Current Trends in Applied Formal Methods, 1998

Y2 - 7 October 1998 through 9 October 1998

ER -

Desouza WL, Sampaio PNM, Almeida MJB, Gaspary LP, Granville LZ, Farines JM et al. Design of distributed multimedia applications (DAMD). En Traverso P, Hutter D, Stephan W, Ullmann M, editores, Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings. Springer Verlag. 1999. p. 77-91. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48257-1_4

Design of distributed multimedia applications (DAMD)

Resumen

Serie de la publicación

Conferencia

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto