Dependable Software Engineering. Theories, Tools, and Applications / Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji  

Público ISBD Ningún comentario para este registro. Título : Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 351 p. 74 ilustraciones ISBN/ISSN/DL: 978-3-319-69483-2 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  Ciencias de la Computación  Teoría de las máquinas  Simulación por ordenador  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora  Probabilidad y Estadística en Informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre Ingeniería de Software Confiable: Teorías, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artículos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnología de software. Su atención se centra en el análisis probabilístico y estadístico; sistemas temporizados e híbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. 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 Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Sokolsky, Oleg, ; Wang, Ji,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVIII, 351 p. 74 ilustraciones. ISBN : 978-3-319-69483-2 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  Ciencias de la Computación  Teoría de las máquinas  Simulación por ordenador  Informática  Estadistica matematica  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora  Probabilidad y Estadística en Informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas del Tercer Simposio Internacional sobre Ingeniería de Software Confiable: Teorías, Herramientas y Aplicaciones, SETTA 2017, celebrado en Changsha, China, en octubre de 2017. Los 19 artículos completos presentados junto con 3 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados. de 31 presentaciones. El objetivo del simposio es reunir a investigadores y profesionales internacionales en el campo de la tecnología de software. Su atención se centra en el análisis probabilístico y estadístico; sistemas temporizados e híbridos; análisis de programas; modelado y verificación; formalización; y herramientas. Nota de contenido: Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. 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

Symposium on Real-Time and Hybrid Systems / Jones, Cliff ; Wang, Ji ; Zhan, Naijun  

Público ISBD Ningún comentario para este registro. Título : Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Tipo de documento: documento electrónico Autores: Jones, Cliff, ; Wang, Ji, ; Zhan, Naijun, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 263 p. 68 ilustraciones ISBN/ISSN/DL: 978-3-030-01461-2 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  Compiladores (programas informáticos)  Computadoras digitales electrónicas  Inteligencia artificial  Teoría de la Computación  Compiladores e intérpretes  Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este volumen se publica en honor del 80 cumpleaños del profesor Chaochen Zhou. El Festschrift contiene 13 artículos arbitrados de destacados investigadores que estuvieron entre los participantes de la conferencia de celebración en Changsha, China, que tuvo lugar en octubre de 2017. Los artículos cubren un amplio espectro de temas relacionados con métodos formales para el desarrollo de sistemas informáticos. Los temas incluyen programación probabilística, concurrencia, computación cuántica, ingeniería de dominio, sistemas híbridos y en tiempo real y computación en la nube. Chaochen Zhou es reconocido internacionalmente por sus propias contribuciones y por la amplia influencia que ha tenido a través de sus nombramientos en Oxford (Reino Unido), donde colaboró ​​con el profesor Tony Hoare, Lyngby (Dinamarca), donde trabajó con el profesor Dines Bjørner, UNU-IIST ( Macao), donde pasó de ser investigador principal a ser nombrado director del Instituto, así como en Beijing. Su libro sobre el cálculo de la duración (junto con Michael Hansen) hizo una contribución fundamental a la especificación y el razonamiento sobre sistemas en tiempo real. Las contribuciones de Chaochen Zhou han estado marcadas por su elección como miembro de la Academia de Ciencias de China. Nota de contenido: Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries. 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 Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday [documento electrónico] / Jones, Cliff, ; Wang, Ji, ; Zhan, Naijun,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 263 p. 68 ilustraciones. ISBN : 978-3-030-01461-2 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  Compiladores (programas informáticos)  Computadoras digitales electrónicas  Inteligencia artificial  Teoría de la Computación  Compiladores e intérpretes  Rendimiento y evaluación del sistema Índice Dewey: 40.151 Resumen: Este volumen se publica en honor del 80 cumpleaños del profesor Chaochen Zhou. El Festschrift contiene 13 artículos arbitrados de destacados investigadores que estuvieron entre los participantes de la conferencia de celebración en Changsha, China, que tuvo lugar en octubre de 2017. Los artículos cubren un amplio espectro de temas relacionados con métodos formales para el desarrollo de sistemas informáticos. Los temas incluyen programación probabilística, concurrencia, computación cuántica, ingeniería de dominio, sistemas híbridos y en tiempo real y computación en la nube. Chaochen Zhou es reconocido internacionalmente por sus propias contribuciones y por la amplia influencia que ha tenido a través de sus nombramientos en Oxford (Reino Unido), donde colaboró ​​con el profesor Tony Hoare, Lyngby (Dinamarca), donde trabajó con el profesor Dines Bjørner, UNU-IIST ( Macao), donde pasó de ser investigador principal a ser nombrado director del Instituto, así como en Beijing. Su libro sobre el cálculo de la duración (junto con Michael Hansen) hizo una contribución fundamental a la especificación y el razonamiento sobre sistemas en tiempo real. Las contribuciones de Chaochen Zhou han estado marcadas por su elección como miembro de la Academia de Ciencias de China. Nota de contenido: Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries. 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200