Industrial Deployment of System Engineering Methods / (Registro nro. 306250)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 03798nam a22003735i 4500 |
001 - NÚMERO DE CONTROL | |
campo de control | 306250 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | MX-SnUAN |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20160429160025.0 |
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | cr nn 008mamaa |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 150903s2013 gw | o |||| 0|eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9783642331701 |
-- | 9783642331701 |
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
Número estándar o código | 10.1007/9783642331701 |
Fuente del número o código | doi |
035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
Número de control de sistema | vtls000360147 |
039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
Nivel de reglas en descripción bibliográfica | 201509031007 |
Nivel de esfuerzo utilizado para asignar no-encabezamientos de materia en puntos de acceso | VLOAD |
Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201405070255 |
Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
-- | 201402201426 |
-- | staff |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | MX-SnUAN |
Lengua de catalogación | spa |
Centro/agencia transcriptor | MX-SnUAN |
Normas de descripción | rda |
050 #4 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
Número de clasificación | QA76.758 |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Romanovsky, Alexander. |
Término indicativo de función/relación | editor. |
9 (RLIN) | 328872 |
245 10 - MENCIÓN DE TÍTULO | |
Título | Industrial Deployment of System Engineering Methods / |
Mención de responsabilidad, etc. | edited by Alexander Romanovsky, Martyn Thomas. |
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
Producción, publicación, distribución, fabricación y copyright | Berlin, Heidelberg : |
Nombre del de productor, editor, distribuidor, fabricante | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Fecha de producción, publicación, distribución, fabricación o copyright | 2013. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | x, 259 páginas 43 ilustraciones, 36 ilustraciones en color. |
Otras características físicas | recurso en línea. |
336 ## - TIPO DE CONTENIDO | |
Término de tipo de contenido | texto |
Código de tipo de contenido | txt |
Fuente | rdacontent |
337 ## - TIPO DE MEDIO | |
Nombre/término del tipo de medio | computadora |
Código del tipo de medio | c |
Fuente | rdamedia |
338 ## - TIPO DE SOPORTE | |
Nombre/término del tipo de soporte | recurso en línea |
Código del tipo de soporte | cr |
Fuente | rdacarrier |
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
Tipo de archivo | archivo de texto |
Formato de codificación | |
Fuente | rda |
500 ## - NOTA GENERAL | |
Nota general | Springer eBooks |
505 0# - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | Introduction -- DEPLOY Integrated Project -- Experience of Deployment in the Automotive Industry -- Improving Railway Data Validation with ProB -- Deployment in the Space Sector -- Business Information Sector -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods -- Experiences Developing Event-B in an Industrial Microprocessor Development -- Industrial Deployment of Formal Methods: Trends and Challenges -- Introducing Formal Methods into Existing Industrial Practices Tooling -- Technology Transfer -- After and Outside DEPLOY: the DEPLOY Ecosystems -- Industrial Software Engineering and Formal Methods.- App. A An Introduction to the Event-B Modelling Method -- App. B Evidence-Based Assistance for the Adoption of Formal Methods in Industry. |
520 ## - SUMARIO, ETC. | |
Sumario, etc. | A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators. |
590 ## - NOTA LOCAL (RLIN) | |
Nota local | Para consulta fuera de la UANL se requiere clave de acceso remoto. |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Thomas, Martyn. |
Término indicativo de función/relación | editor. |
9 (RLIN) | 345451 |
710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Servicio en línea) |
9 (RLIN) | 299170 |
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
Información de relación/Frase instructiva de referencia | Edición impresa: |
Número Internacional Estándar del Libro | 9783642331695 |
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | <a href="http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-33170-1">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-33170-1</a> |
Nota pública | Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Recurso en línea |
No hay ítems disponibles.