| Título : |
Domain Science and Engineering : A Foundation for Software Development |
| Tipo de documento: |
documento electrónico |
| Autores: |
Bjørner, Dines, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XVIII, 401 p. 44 ilustraciones, 19 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-73484-8 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ciencias de la Computación Ingeniería de software Lógica informática y fundamentos de la programación Teoría de la Computación |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| Resumen: |
En este libro, el autor explica la ingeniería de dominios y la ciencia subyacente, y luego muestra cómo podemos derivar prescripciones de requisitos para sistemas informáticos a partir de descripciones de dominios. Otra motivación es presentar descripciones de dominios, prescripciones de requisitos y especificaciones de diseño de software como cantidades matemáticas. La máxima del autor es que antes de que se pueda diseñar un software debemos comprender sus requisitos, y antes de que se puedan prescribir los requisitos debemos analizar y describir el dominio para el que está destinado el software. Lo hace centrándose en lo que se necesita para analizar y describir dominios. Por dominio entendemos un segmento de dinámica discreta descriptible racionalmente de la actividad humana, de artefactos naturales y artificiales, como por ejemplo el transporte por carretera, ferroviario y aéreo, los puertos de terminales de contenedores, la fabricación, el comercio, la atención médica y la planificación urbana. El libro aborda cuestiones de sistemas aparentemente grandes, no de pequeños algoritmos, y enfatiza las descripciones como cantidades matemáticas formales. Este es el primer tratamiento monográfico completo de la nueva fase de ingeniería de software del desarrollo de software, que precede a la ingeniería de requisitos. Enfatiza un enfoque metodológico al tratar, en profundidad, los principios, técnicas y herramientas de análisis y descripción. Lo hace basando su modelado de dominio en principios filosóficos fundamentales, una visión que es nueva para una monografía de ciencias de la computación. El libro será de valor para los científicos informáticos que se dedican a las especificaciones formales de software. El autor revela que este es un campo de problemas interesantes, la mayoría de los capítulos incluyen indicadores para estudios posteriores y ejercicios extraídos de desafíos prácticos de ingeniería y ciencia. El texto está respaldado por una introducción al lenguaje de especificación formal RSL e índices extensos. |
| Nota de contenido: |
Part I, Setting the Scope -- Concepts -- Philosophy -- Space, Time and Matter -- Logic and Mathematics -- Part II, Domains -- Domains: A Taxonomy: External Qualities -- Domains: An Ontology: Internal Qualities -- Transcendental Deduction -- Domains: A Dynamics Ontology: Perdurants -- Domain Facets -- Part III, Requirements -- Requirements -- Part IV, Closing -- Demos, Simulators, Monitors and Controllers -- Winding Up -- References -- Appendix A: Pipelines Domain: Endurants -- Appendix B: Mereology, A Model -- Appendix C: Four Languages -- Appendix D: An RSL Primer -- Appendix E: Indexes -- List of Figures. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Domain Science and Engineering : A Foundation for Software Development [documento electrónico] / Bjørner, Dines, Autor . - 1 ed. . - [s.l.] : Springer, 2021 . - XVIII, 401 p. 44 ilustraciones, 19 ilustraciones en color. ISBN : 978-3-030-73484-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ciencias de la Computación Ingeniería de software Lógica informática y fundamentos de la programación Teoría de la Computación |
| Índice Dewey: |
004.015 Matemáticas aplicadas a la informática, especialmente lógica matemática y teoría de algoritmos. |
| Resumen: |
En este libro, el autor explica la ingeniería de dominios y la ciencia subyacente, y luego muestra cómo podemos derivar prescripciones de requisitos para sistemas informáticos a partir de descripciones de dominios. Otra motivación es presentar descripciones de dominios, prescripciones de requisitos y especificaciones de diseño de software como cantidades matemáticas. La máxima del autor es que antes de que se pueda diseñar un software debemos comprender sus requisitos, y antes de que se puedan prescribir los requisitos debemos analizar y describir el dominio para el que está destinado el software. Lo hace centrándose en lo que se necesita para analizar y describir dominios. Por dominio entendemos un segmento de dinámica discreta descriptible racionalmente de la actividad humana, de artefactos naturales y artificiales, como por ejemplo el transporte por carretera, ferroviario y aéreo, los puertos de terminales de contenedores, la fabricación, el comercio, la atención médica y la planificación urbana. El libro aborda cuestiones de sistemas aparentemente grandes, no de pequeños algoritmos, y enfatiza las descripciones como cantidades matemáticas formales. Este es el primer tratamiento monográfico completo de la nueva fase de ingeniería de software del desarrollo de software, que precede a la ingeniería de requisitos. Enfatiza un enfoque metodológico al tratar, en profundidad, los principios, técnicas y herramientas de análisis y descripción. Lo hace basando su modelado de dominio en principios filosóficos fundamentales, una visión que es nueva para una monografía de ciencias de la computación. El libro será de valor para los científicos informáticos que se dedican a las especificaciones formales de software. El autor revela que este es un campo de problemas interesantes, la mayoría de los capítulos incluyen indicadores para estudios posteriores y ejercicios extraídos de desafíos prácticos de ingeniería y ciencia. El texto está respaldado por una introducción al lenguaje de especificación formal RSL e índices extensos. |
| Nota de contenido: |
Part I, Setting the Scope -- Concepts -- Philosophy -- Space, Time and Matter -- Logic and Mathematics -- Part II, Domains -- Domains: A Taxonomy: External Qualities -- Domains: An Ontology: Internal Qualities -- Transcendental Deduction -- Domains: A Dynamics Ontology: Perdurants -- Domain Facets -- Part III, Requirements -- Requirements -- Part IV, Closing -- Demos, Simulators, Monitors and Controllers -- Winding Up -- References -- Appendix A: Pipelines Domain: Endurants -- Appendix B: Mereology, A Model -- Appendix C: Four Languages -- Appendix D: An RSL Primer -- Appendix E: Indexes -- List of Figures. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
