Autor Larsen, Kim Guldstrand
|
|
Documentos disponibles escritos por este autor (4)
Hacer una sugerencia Refinar búsqueda24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / Larsen, Kim Guldstrand ; Willemse, Tim
TÃtulo : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Larsen, Kim Guldstrand, ; Willemse, Tim, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 161 p. 156 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-27008-7 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: Compiladores (programas informáticos) IngenierÃa de software Ciencias de la Computación Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Modelado por computadora Ãndice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2019, celebrada en Ãmsterdam, PaÃses Bajos, en agosto de 2019. Los 9 artÃculos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a cientÃficos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Veriï¬cation of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & veriï¬cation in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Veriï¬cation for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Veriï¬cation of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. 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 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings [documento electrónico] / Larsen, Kim Guldstrand, ; Willemse, Tim, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 161 p. 156 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-27008-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) IngenierÃa de software Ciencias de la Computación Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Modelado por computadora Ãndice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas de la 24.ª Conferencia Internacional sobre Métodos Formales para Sistemas CrÃticos Industriales, FMICS 2019, celebrada en Ãmsterdam, PaÃses Bajos, en agosto de 2019. Los 9 artÃculos habituales presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 15 presentaciones. La conferencia también contó con charlas invitadas de Jaco van de Pol (Universidad de Aarhus y Universidad de Twente), junto con CONCUR, y Holger Hermanns (Universität des Saarlandes) y una sesión especial sobre métodos formales (comerciales) en la industria. El objetivo de la serie de conferencias FMICS es proporcionar un foro para investigadores interesados ​​en el desarrollo y aplicación de métodos formales en la industria. En particular, FMICS reúne a cientÃficos e ingenieros activos en el área de métodos formales e interesados ​​en intercambiar sus experiencias en el uso industrial de estos métodos. La serie de conferencias FMICS también se esfuerza por promover la investigación y el desarrollo para la mejora de métodos y herramientas formales para aplicaciones industriales. Nota de contenido: Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Veriï¬cation of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & veriï¬cation in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Veriï¬cation for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Veriï¬cation of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. 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
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 471 p. 106 ilustraciones ISBN/ISSN/DL: 978-3-030-72016-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 Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Lógica en IA Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . 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 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 471 p. 106 ilustraciones.
ISBN : 978-3-030-72016-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 Informática Red de computadoras Microprogramación Programación lógica TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Lógica en IA Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . 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
TÃtulo : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Tipo de documento: documento electrónico Autores: Groote, Jan Friso, ; Larsen, Kim Guldstrand, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XXI, 465 p. 91 ilustraciones ISBN/ISSN/DL: 978-3-030-72013-1 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 Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). 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 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II [documento electrónico] / Groote, Jan Friso, ; Larsen, Kim Guldstrand, . - 1 ed. . - [s.l.] : Springer, 2021 . - XXI, 465 p. 91 ilustraciones.
ISBN : 978-3-030-72013-1
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 Informática Red de computadoras Microprogramación IngenierÃa de software TeorÃa de la Computación IngenierÃa Informática y Redes Estructuras de control y microprogramación Ãndice Dewey: 40.151 Resumen: Este conjunto de dos volúmenes de acceso abierto constituye las actas de la 27.ª Conferencia Internacional sobre Herramientas y Algoritmos para la Construcción y Análisis de Sistemas, TACAS 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre TeorÃa y práctica del software, ETAPS 2021. Se planeó que la conferencia se llevara a cabo en Luxemburgo y cambió a un formato en lÃnea debido a la pandemia de COVID-19. El total de 41 artÃculos completos presentados en las actas fue cuidadosamente revisado y seleccionado entre 141 presentaciones. El volumen también contiene 7 documentos de herramientas; 6 artÃculos de demostración de herramientas, 9 artÃculos de competencia SV-Comp. Los artÃculos están organizados en secciones temáticas de la siguiente manera: Parte I: TeorÃa de juegos; Verificación SMT; Probabilidades; Sistemas Temporizados; Redes neuronales; Análisis de la Comunicación en Red. Parte II: Técnicas de verificación (no SMT); Estudios de caso; Generación/Validación de Pruebas; Papeles para herramientas; Documentos de demostración de herramientas; Documentos del concurso de herramientas SV-Comp. Nota de contenido: Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). 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
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
