Domain Science and Engineering / Bjørner, Dines  

Público ISBD Ningún comentario para este registro. Título : Domain Science and Engineering : A Foundation for Software Development Tipo de documento: documento electrónico Autores: Bjørner, Dines, 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. Idioma : Inglés (eng) 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 Clasificación: 004.0151 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. Tipo de medio : Computadora Summary : In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Domain Science and Engineering : A Foundation for Software Development [documento electrónico] / Bjørner, Dines,  . -  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. Idioma : Inglés (eng) 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 Clasificación: 004.0151 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. Tipo de medio : Computadora Summary : In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities. The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities. This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph. The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200