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

Research output: Chapter in Book/Report/Conference proceeding › Paper (Conference contribution) › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings
Editors	Paolo Traverso, Dieter Hutter, Werner Stephan, Markus Ullmann
Publisher	Springer Verlag
Pages	77-91
Number of pages	15
ISBN (Print)	3540664629, 9783540664628
DOIs	https://doi.org/10.1007/3-540-48257-1_4
State	Published - 1999
Externally published	Yes
Event	International Workshop on Current Trends in Applied Formal Methods, 1998 - Boppard, Germany Duration: 7 Oct 1998 → 9 Oct 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1641
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Workshop on Current Trends in Applied Formal Methods, 1998
Country/Territory	Germany
City	Boppard
Period	7/10/98 → 9/10/98

Access to Document

10.1007/3-540-48257-1_4

Cite this

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). In 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). in 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, Germany, 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).

Research output: Chapter in Book/Report/Conference proceeding › Paper (Conference contribution) › peer-review

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). In Traverso P, Hutter D, Stephan W, Ullmann M, editors, 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)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this