| Título : |
Present and Ulterior Software Engineering |
| Tipo de documento: |
documento electrónico |
| Autores: |
Mazzara, Manuel, ; Meyer, Bertrand, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
VIII, 225 p. 48 ilustraciones, 18 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-67425-4 |
| 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: |
Ingeniería de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro ofrece una visión general eficaz del estado del arte en ingeniería de software, con una proyección del futuro de la disciplina. Incluye 13 artículos, escritos por investigadores líderes en los respectivos campos, sobre temas importantes como el desarrollo de software basado en modelos, el diseño de lenguajes de programación, los microservicios, la confiabilidad del software, la verificación de modelos y la simulación. Los artículos son versiones editadas y ampliadas de las presentaciones en el simposio PAUSE, que marcó la finalización de 14 años de trabajo en la Cátedra de Ingeniería de Software en ETH Zurich. En este contexto inspirador, algunas de las mentes más brillantes en el campo discutieron extensamente el pasado, el presente y el futuro de la ingeniería de software. Guía a los lectores en un viaje de descubrimiento a través de la disciplina de la ingeniería de software actual, ofreciendo un material único para la reflexión para investigadores y profesionales e inspirando la investigación y el desarrollo futuros. |
| Nota de contenido: |
Engineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers -- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. |
| 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 |
Present and Ulterior Software Engineering [documento electrónico] / Mazzara, Manuel, ; Meyer, Bertrand, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 225 p. 48 ilustraciones, 18 ilustraciones en color. ISBN : 978-3-319-67425-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ingeniería de software Compiladores (programas informáticos) Gestión de software Compiladores e intérpretes |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro ofrece una visión general eficaz del estado del arte en ingeniería de software, con una proyección del futuro de la disciplina. Incluye 13 artículos, escritos por investigadores líderes en los respectivos campos, sobre temas importantes como el desarrollo de software basado en modelos, el diseño de lenguajes de programación, los microservicios, la confiabilidad del software, la verificación de modelos y la simulación. Los artículos son versiones editadas y ampliadas de las presentaciones en el simposio PAUSE, que marcó la finalización de 14 años de trabajo en la Cátedra de Ingeniería de Software en ETH Zurich. En este contexto inspirador, algunas de las mentes más brillantes en el campo discutieron extensamente el pasado, el presente y el futuro de la ingeniería de software. Guía a los lectores en un viaje de descubrimiento a través de la disciplina de la ingeniería de software actual, ofreciendo un material único para la reflexión para investigadores y profesionales e inspirando la investigación y el desarrollo futuros. |
| Nota de contenido: |
Engineering by Software: System Behaviours as Components -- What is a Procedure? -- The Evolution and Ecosystem of the Unified Modeling Language -- A Theory of Networking and its contributions to Software Engineering -- On Language Interfaces -- Moldable Tools for Object-oriented Development -- The Changing Face of Model-Driven Engineering -- Borealis Bounded Model Checker: the Coming of Age Story -- How to make visual modeling more attractive to software developers -- Intrinsic Redundancy for Reliability and Beyond -- Sound Simulation and Co-simulation of Mobile and Autonomous Robots -- Microservices: yesterday, today, and tomorrow -- Microservices: A Language-based Approach. |
| 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 |
|  |
Present and Ulterior Software Engineering
