000 03893nam a22003975i 4500
001 295074
003 MX-SnUAN
005 20170705134232.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540315391
_99783540315391
024 7 _a10.1007/b137793
_2doi
035 _avtls000347762
039 9 _a201509031115
_bVLOAD
_c201405070508
_dVLOAD
_y201402070939
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.C643
100 1 _aPrinz, Andreas.
_eeditor.
_9329212
245 1 0 _aSDL 2005: Model Driven :
_b12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings /
_cedited by Andreas Prinz, Rick Reed, Jeanne Reed.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _axI, 361 páginas Also available online.
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3530
500 _aSpringer eBooks
505 0 _aLanguage Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.
520 _aThis book constitutes the refereed proceedings of the 12th International SDL Forum, SDL 2005, held in Grimstad, Norway. The 16 revised full and 8 short papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on language issues, engineering issues, message sequence charts, applications and tools, model driven architecture, test and validation, and code generation. Thus all aspects of system design using system design languages are addressed.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aReed, Rick.
_eeditor.
_9329213
700 1 _aReed, Jeanne.
_eeditor.
_9329214
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540266129
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b137793
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c295074
_d295074