MARC details
| 000 -LEADER |
|---|
| campo de control de longitud fija |
05035nam a22004815i 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| campo de control |
978-0-85729-277-3 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| campo de control |
DE-He213 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20260521092038.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 |
110318s2011 xxk| s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
9780857292773 |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
99780857292773 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
|---|
| Número estándar o código |
10.1007/978-0-85729-277-3 |
| Fuente del número o código |
doi |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
005.1 |
| Información de edición |
23 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Alagar, V.S. |
| Término indicativo de función/relación |
author. |
| 245 10 - MENCIÓN DEL TÍTULO |
|---|
| Título |
Specification of Software Systems |
| Medio |
[electronic resource] / |
| Mención de responsabilidad, etc. |
by V.S. Alagar, K. Periyasamy. |
| 250 ## - MENCION DE EDICION |
|---|
| Mención de edición |
2nd Edition. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
London : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer London : |
| -- |
Imprint: Springer, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2011. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
XXVI, 646 p. |
| Otros detalles físicos |
online resource. |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
text |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
computer |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
online resource |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
|---|
| Tipo de archivo |
text file |
| Formato de codificación |
PDF |
| Fuente |
rda |
| 490 1# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Texts in Computer Science, |
| Número Internacional Normalizado para Publicaciones Seriadas |
1868-0941 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Part I: Specification Fundamentals -- The Role of Specification -- Specification Activities -- Specification Qualities -- Abstraction.-Part II: Formalism Fundamentals -- Formal Systems -- Automata -- Extended Finite State Machine -- Classification of Formal Specification Methods.-Part III: Logic -- Propositional Logic -- Predicate Logic -- Temporal Logic -- Part IV: Mathematical Abstractions for Model-based Specifications -- Set Theory and Relations -- Part V: Property-oriented Specifications -- Algebraic Specification -- Larch -- Calculus of Communicating Systems -- Part VI: Model-based Specifications -- Vienna Development Method -- The Z Notation -- The Object-Z Specification Language -- The B-Method. |
| 520 ## - RESUMEN, ETC. |
|---|
| Sumario, etc. |
Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understanding and expertise in formal methods. Software engineers now have several case studies to learn from, and are able to choose from a large selection of languages and methods, with a rich repertoire of appropriate concepts for their intended applications. This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. This expanded perspective is matched by a considerable amount of new content, included to cater to the growing needs of students and researchers in the area of formal software engineering. Topics related to the integration of formal methods in the software development process are introduced early, and are followed by presentations of principles of abstraction, definitions of formalism, notations of formalism, and a wide variety of detailed specification examples. This additional material is further reflected in the new structure of the second edition, which is now arranged in six parts. Topics and features: Provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading Presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques (NEW) Contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface Covers Object-Z, B-Method, and Calculus of Communicating Systems (NEW) Offers material that can be taught with tool-supported laboratory projects This comprehensive textbook is essential reading for students at all levels in computer science, software engineering, computer engineering, and information systems engineering. Software professionals wishing to familiarize themselves with formal methods will also find this an invaluable reference. Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada. Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
COMPUTER SCIENCE. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
SOFTWARE ENGINEERING. |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LOGIC DESIGN. |
| 650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
COMPUTER SCIENCE. |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
SOFTWARE ENGINEERING. |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS. |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
LOGICS AND MEANINGS OF PROGRAMS. |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
|---|
| Nombre de persona |
Periyasamy, K. |
| Término indicativo de función/relación |
author. |
| 710 2# - ENTRADA AGREGADA--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
SpringerLink (Online service) |
| 773 0# - ASIENTO DE ITEM FUENTE |
|---|
| Título |
Springer eBooks |
| 776 08 - ENTRADA DE FORMULARIO FÍSICO ADICIONAL |
|---|
| Información de relación |
Printed edition: |
| Número Internacional Estándar del Libro |
9780857292766 |
| 830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME |
|---|
| Título uniforme |
Texts in Computer Science, |
| Número Internacional Normalizado para Publicaciones Seriadas |
1868-0941 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
|---|
| Identificador Uniforme de Recurso |
<a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a> |
| Nota pública |
Ver el texto completo en las instalaciones del CICY |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) |
|---|
| Fuente de la clasificación o esquema de estantería |
Clasificación Decimal Dewey |
| Tipo de ítem Koha |
ER |
