Detalles MARC
000 -CABECERA |
Longitud fija campo de control |
02298nam a2200277ui 4500 |
001 - NÚMERO DE CONTROL |
Número de control |
GW0401118133 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
Identificador del número de control |
OSt |
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
Códigos de información de longitud fija |
090217s2007 deud f 001 0 eng d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
Número Internacional Normalizado para Libros (ISBN) |
3-540-72911-9 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador |
UCA-ESI |
Centro transcriptor |
UCA |
245 00 - MENCIÓN DE TÍTULO |
Título |
Test and analysis of web services / |
Mención de responsabilidad, etc. |
Luciano Baresi, Elisabetta Di Nitto (eds.) |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
Lugar de publicación, distribución, etc. |
Berlín : |
Nombre del editor, distribuidor, etc. |
Springer, |
Fecha de publicación, distribución, etc. |
2007 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
X, 476 p. : |
Otras características físicas |
gráf. ; |
Dimensiones |
24 cm |
500 ## - NOTA GENERAL |
Nota general |
Índice |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC |
Nota de bibliografía, etc. |
Bibliografía |
520 ## - NOTA DE SUMARIO |
Sumario, etc, |
The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration. The highly dynamic characteristics of service-oriented applications means their validation is a continuous process that often runs in parallel with execution. It is not possible to clearly distinguish between the predeployment validation of a system and its use, nor is it possible to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment as well. Baresi and Di Nitto have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account these inherent intricacies. A complete picture of what validating service-oriented architectures means today |
520 ## - NOTA DE SUMARIO |
Sumario, etc, |
Índice: From the contents Part I: Analysis: Specifiying and Monitoring Service Flows: Making Web Services Process-Aware (van der Aalst, Pesic.- Analyzing Conversations: Realzability, Synchronizability, and Verification (Bultan, Fu, Su.- WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography (Foster, Uchitel, Magee, Kramer).- Model Checking with Abstraction for Web Services (Sharygina, Kröning).- Part II: Testing: Unit Testing BPEL Compositions (Lübke).- A Model-Driven Approach to Discovery, Testing, and Monitoring of Web Services (Lohmann, Mariani, Heckel).- Web Services Regre... Etc. |
650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento inicial |
Servicios Web |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
Nombre de persona |
Baresi, Luciano |
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
Nombre de persona |
Nitto, Elisabetta di |
909 ## - No. registro Millennium |
-- |
esi |
-- |
- |
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
Suprimir del OPAC |
No |
998 ## - CONTROL LOCAL DE INFORMACIÓN (RLIN) |
Iniciales de operador, IOP (RLIN) |
0 |
Iniciales de catalogador, INC (RLIN) |
090217 |
Primera fecha, PF (RLIN) |
m |
-- |
a |
-- |
- |
-- |
0 |
907 0# - CÓDIGO DE CATALOGADOR |
Catalogador/a |
ejc |
Biblioteca, fecha |
esi090217 |
907 ## - CÓDIGO DE CATALOGADOR |
Catalogador/a |
84ds2 |