cam a22 5 4500 317151614 CHVBK 20201018165205.0 m d cr |n |||||||| 140625s2014 gw |||| s 0 0|eng d 978-3-642-54804-8 978-3-642-54803-1 (print) 10.1007/978-3-642-54804-8 doi (SERSOL)ssj0001187200 (NEBIS)010157896 (IDSSG)000655712 (WaSeSS)ssj0001187200 WaSeSS QA76.758 UMZ bicssc COM051230 bisacsh 005.1 23 DEAGI02A19A4728F57540C1258014005BDFC9 iCapture Gnesi Stefania editor Fundamental Approaches to Software Engineering [Elektronische Daten] 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings edited by Stefania Gnesi, Arend Rensink Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2014 1 online resource (XVI, 432 p. 103 illus.) online resource text file PDF rda Lecture Notes in Computer Science 0302-9743 8411 Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented Relational Model Finding -- Splitting Models Using Information Retrieval and Model Crawling Techniques -- Sound Merging and Differencing for Class Diagrams -- Heterogeneous and Asynchronous Networks of Timed Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities -- Modularizing Early Architectural Assumptions in Scenario-Based Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces -- An Online Validator for Provenance: Algorithmic Design, Testing and API -- Comparator: A Tool for Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework -- Data Flow Coverage for Circus-Based Testing. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing. PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ger (ETHUDK)000013765 ethudk SOFTWARE ENGINEERING ger (ETHUDK)000043018 ethudk SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ger (ETHUDK)000013733 ethudk THEORETISCHE INFORMATIK ger (ETHUDK)000052054 ethudk THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk Computer science Software engineering Logic design Online-Ressource gnd-carrier Konferenzschrift Grenoble 2014 gnd-content u SOFTWARE ENGINEERING ger 004*04*04 nebis E1 u PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME ger 004*04*03*22 nebis E1 u SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME) ger 004*03*01 nebis E1 u THEORETISCHE INFORMATIK ger 004*06 nebis E1 u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u GÉNIE LOGICIEL fre 004*04*04 nebis E1 u SOFTWARE ENGINEERING eng 004*04*04 nebis E1 u PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES fre 004*04*03*22 nebis E1 u PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS eng 004*04*03*22 nebis E1 u ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES) fre 004*03*01 nebis E1 u SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS) eng 004*03*01 nebis E1 u INFORMATIQUE THÉORIQUE fre 004*06 nebis E1 u THEORETICAL COMPUTER SCIENCE eng 004*06 nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 Rensink Arend editor SpringerLink (Online service) Printed edition 9783642548031 https://link.springer.com/10.1007/978-3-642-54804-8 Uni Basel: Volltext https://link.springer.com/openurl?genre=book&isbn=978-3-642-54803-1 Uni Bern: Volltext BK020853 XK020053 XK020000 BK020053 XK020053 XK020000 Springer Computer Science eBooks 2014 English/International E-Books von 360MarcUpdates SpringerLINK Lecture Notes in Computer Science Contemporary (1997-2014) EText nebis ED Computer Science (Springer-11645) nebis ER E01-Springer201406 nebis ER ebphzh eb-Springer idsuzh U2 Update201606 idsuzh U2 E65-Springer201606 nebis ER noalma ids I 094 E01-20140818 096 E01-20140818 UPHZHEBO UPHZH-201606 Kongress = Congrès 2014 Grenoble NEBIS UPHZH UPHZH ULONL IDSSG HSG HSG ONL HONL000655712 IDSBB A145 A145 145VT IDSBB B405 B405 405VT IDSBB 100 1- Gnesi Stefania editor IDSBB 490 1- Lecture Notes in Computer Science 0302-9743 8411 IDSBB 700 1- Rensink Arend editor IDSBB 710 2- SpringerLink (Online service) IDSBB 776 08 Printed edition 9783642548031 IDSBB 856 40 https://link.springer.com/10.1007/978-3-642-54804-8 Uni Basel: Volltext IDSBB 856 40 https://link.springer.com/openurl?genre=book&isbn=978-3-642-54803-1 Uni Bern: Volltext NEBIS 490 -- Lecture notes in computer science Advanced research in computing and software science (ARCoSS) 8411 NEBIS 700 1- Gnesi Stefania NEBIS 711 2- Conference on Fundamental Approaches to Software Engineering (DE-588)1092052399 NEBIS 711 2- European Joint Conferences on Theory and Practice of Software (DE-588)1092051732 NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9783642548031 Online via SFX Volltext IDSSG 490 0- Lecture Notes in Computer Science 8411 IDSSG 700 1- Gnesi Stefania IDSSG 700 1- Rensink Arend IDSSG 856 4- https://doi.org/10.1007/978-3-642-54804-8 Full text for the University of St. Gallen SWISSBIB 043363555