000			04200nam a22005415i 4500
001			978-0-387-24590-4
003			DE-He213
005			20250710083932.0
007			cr nn 008mamaa
008			100301s2005 xxu| s |||| 0|eng d
020			_a9780387245904 _a99780387245904
024	7		_a10.1007/b106318 _2doi
082	0	4	_a005.1 _223
100	1		_aDissaux, Pierre. _eeditor.
245	1	0	_aArchitecture Description Languages _h[recurso electrónico] : _bIFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France / _cedited by Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat.
264		1	_aBoston, MA : _bSpringer US, _c2005.
300			_aX, 207 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aIFIP The International Federation for Information Processing, _x1571-5736 ; _v176
505	0		_aTutorial -- 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.
520			_aInternational Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit springeronline.com. For more information about IFIP, please visit www.ifip.or.at.
650		0	_aCOMPUTER SCIENCE.
650		0	_aCOMPUTER HARDWARE.
650		0	_aDATA TRANSMISSION SYSTEMS.
650		0	_aCOMPUTER NETWORK ARCHITECTURES.
650		0	_aSOFTWARE ENGINEERING.
650		0	_aCOMPUTER SIMULATION.
650	1	4	_aCOMPUTER SCIENCE.
650	2	4	_aSOFTWARE ENGINEERING.
650	2	4	_aCOMPUTER SYSTEM IMPLEMENTATION.
650	2	4	_aINPUT/OUTPUT AND DATA COMMUNICATIONS.
650	2	4	_aCOMPUTER HARDWARE.
650	2	4	_aSIMULATION AND MODELING.
700	1		_aFilali-Amine, Mamoun. _eeditor.
700	1		_aMichel, Pierre. _eeditor.
700	1		_aVernadat, François. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387245898
830		0	_aIFIP The International Federation for Information Processing, _x1571-5736 ; _v176
856	4	0	_uhttp://dx.doi.org/10.1007/b106318 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SCS
942			_2ddc _cER
999			_c56362 _d56362