CHF 135.00

Architecture Description Languages
IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France

Inglese · Copertina rigida

Spedizione di solito entro 6 a 7 settimane

Descrizione

Ulteriori informazioni

Architecture Description Languages is an essential reference for both academic and professional researchers in the field of system engineering and design.  The papers presented in this volume were selected from the workshop of the same name that was held as part of the World Computer Congress 2004 Conference, held in Toulouse, France in August 2004.  This collection presents significant research and innovative developments and applications from both academic researchers and industry practitioners on topics ranging from Semantics to Tool and Development Environments.
The aim of an ADL is to formally describe software and hardware architectures.  Usually, an ADL describes components, their interfaces, their structures, their interactions (structure of data flow and control flow) and the mappings to hardware systems.  A major goal of such description is to allow analysis with respect to several aspects like timing, safety, reliability. The papers in this state-of-the-art volume cover such topics of interest as components, connectors, composition; semantics and formalization; verification, simulation and test; tools and development environments; standardization; industrial projects.
To encourage closer interaction between academic and industrial networking research communities, the workshop welcomed academic research papers as well as industrial contributions, and both are included here.  Which makes this collection important not only for ADL experts and researchers, but also for all teachers and administrators interested in ADL.

Riassunto

Architecture Description Languages
is an essential reference for both academic and professional researchers in the field of system engineering and design.  The papers presented in this volume were selected from the workshop of the same name that was held as part of the World Computer Congress 2004 Conference, held in Toulouse, France in August 2004.  This collection presents significant research and innovative developments and applications from both academic researchers and industry practitioners on topics ranging from Semantics to Tool and Development Environments.

The aim of an ADL is to formally describe software and hardware architectures.  Usually, an ADL describes components, their interfaces, their structures, their interactions (structure of data flow and control flow) and the mappings to hardware systems.  A major goal of such description is to allow analysis with respect to several aspects like timing, safety, reliability. The papers in this state-of-the-art volume cover such topics of interest as components, connectors, composition; semantics and formalization; verification, simulation and test; tools and development environments; standardization; industrial projects.
To encourage closer interaction between academic and industrial networking research communities, the workshop welcomed academic research papers as well as industrial contributions, and both are included here.  Which makes this collection important not only for ADL experts and researchers, but also for all teachers and administrators interested in ADL.

Dettagli sul prodotto

Con la collaborazione di P. Dissaux (Editore), M. Filali Amine (Editore), P. Michel (Editore), F. Vernadat (Editore), Pierre Dissaux (Editore), Mamoun Filali Amine (Editore), Pierre Michel (Editore), Francois Vernadat (Editore), François Vernadat (Editore), Mamoun Filali Amine (Editore), Mamou Filali Amine (Editore), Pierre Michel et al (Editore)
Editore Springer, Berlin
 
Contenuto Libro
Forma del prodotto Copertina rigida
Data pubblicazione 26.07.2011
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
 
EAN 9780387245898
ISBN 978-0-387-24589-8
Numero di pagine 211
Illustrazioni X, 211 p.
Dimensioni (della confezione) 15.5 x 1.6 x 23.5 cm
Peso (della confezione) 472 g
 
Serie IFIP Advances in Information and Communication Technology > 176, IFIP International Federation for Information Processing, IFIP Advances in Information and Communication Technology, IFIP International Federation for Information Processing, Ifip International Federation > 176, IFIP Advances in Information a > 176
Categorie C, Computerhardware, Software Engineering, Computermodellierung und -simulation, computer science, computer hardware, Theory of Computation, Architecture, Computer, Computer System Implementation, Systems analysis & design, Computers, Mathematical theory of computation, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Computer networking & communications, Distributed databases, Input/Output and Data Communications, Input-output equipment (Computers)
 

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.