000 03411nam a22003735i 4500
001 281652
003 MX-SnUAN
005 20160429154114.0
007 cr nn 008mamaa
008 150903s2009 xxu| o |||| 0|eng d
020 _a9780387876580
_99780387876580
024 7 _a10.1007/9780387876580
_2doi
035 _avtls000333179
039 9 _a201509030213
_bVLOAD
_c201404122359
_dVLOAD
_c201404092138
_dVLOAD
_y201402041104
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
100 1 _aZhang, Liang-Jie.
_eeditor.
_9307521
245 1 0 _aHigh Assurance Services Computing /
_cedited by Liang-Jie Zhang, Raymond Paul, Jing Dong.
264 1 _aBoston, MA :
_bSpringer US,
_c2009.
300 _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
500 _aSpringer eBooks
505 0 _aTranslucent Replication for Service Level Assurance -- Trustworthiness Assessment Framework for Net-Centric Systems -- A Trust Monitoring Architecture for Service-Based Software -- Human Interoperability Enterprise for High-Assurance Systems -- Service Composition Quality Evaluation in SPICE Platform -- High-Assurance Service Systems -- A Graph Grammar Approach to Behavior Verification of Web Services -- A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems -- Towards A Dependable Software Paradigm for Service-Oriented Computing -- Developing Dependable Systems by Maximizing Component Diversity -- High Assurance BPEL Process Models -- Specifying Enterprise Web-Oriented Architecture -- Designing an SOA for P2P On-Demand Video Delivery -- A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.
520 _aHigh Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R&D laboratories and academia are included, along with unreported results from the “hands-on” experiences of software professionals in the respective domains. Designed for practitioners and researchers working for industrial organizations and government agencies, High Assurance Services Computing is also suitable for advanced-level students in computer science and engineering.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aPaul, Raymond.
_eeditor.
_9307522
700 1 _aDong, Jing.
_eeditor.
_9307523
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9780387876573
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-87658-0
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c281652
_d281652