libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  BOOKS > INFORMATICA > TESTI GENERALI

dissaux pierre (curatore); filali amine mamoun (curatore); michel pierre (curatore); vernadat francois (curatore) - architecture description languages

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

; ; ;




Disponibilità: Normalmente disponibile in 15 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
108,98 €
NICEPRICE
103,53 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 11/2014
Edizione: 2005





Trama

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.





Sommario

Tutorial.- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering.- Models and Analysis.- Deploying QoS Contracts in the Architectural Level.- Hierarchical Composition and Abstraction in Architecture Models.- Pattern-Based Analysis of an Embedded Real-Time System Architecture.- An ADL Centric Approach for the Formal Design of Real-Time Systems.- Specification and Design.- Safarchie Studio: ArgoUML Extensions to Build Safe Architectures.- Enhancing the Role of Interfaces in Software Architecture Description Languages (ADLs).- How ADLs Can Help in Adapting the CORBA Component Model to Real-Time Embedded Software Design.- UML2 as an ADL Hierarchichal Hardware Modeling.- Domain Specific Architecture Description Languages.- Specification of Intel IA-32 Using an Architecture Description Language.- COTRE as an AADL Profile.- EAST-ADL — An Architecture Description Language.- Building Tool Suite for AADL.










Altre Informazioni

ISBN:

9781461498957

Condizione: Nuovo
Collana: IFIP Advances in Information and Communication Technology
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:X, 212 p.
Pagine Arabe: 212
Pagine Romane: x


Dicono di noi