001435688 000__ 06063cam\a2200685Mi\4500
001435688 001__ 1435688
001435688 003__ OCoLC
001435688 005__ 20230309003948.0
001435688 006__ m\\\\\o\\d\\\\\\\\
001435688 007__ cr\un\nnnunnun
001435688 008__ 210410s2021\\\\xx\\\\\\o\\\\\000\0\eng\d
001435688 019__ $$a1242406464$$a1243553603$$a1244125586$$a1244624244$$a1249945172
001435688 020__ $$a9783030714727
001435688 020__ $$a3030714721
001435688 020__ $$z9783030714710$$q(print)
001435688 020__ $$z3030714713
001435688 0247_ $$a10.1007/978-3-030-71472-7$$2doi
001435688 035__ $$aSP(OCoLC)1245674195
001435688 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dUAB$$dOCLCO$$dDCT$$dGW5XE$$dYDX$$dOCLCF$$dGZM$$dOCLCO$$dLEATE$$dOCLCO$$dEBLCP$$dOCLCQ
001435688 049__ $$aISEA
001435688 050_4 $$aQA75.5-76.95
001435688 08204 $$a005.1$$223
001435688 1001_ $$aKalenkova, Anna.
001435688 24510 $$aTools and Methods of Program Analysis :$$b5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.
001435688 264_1 $$aCham :$$bSpringer International Publishing AG,$$c2021.
001435688 300__ $$a1 online resource (216 pages).
001435688 336__ $$atext$$btxt$$2rdacontent
001435688 337__ $$acomputer$$bc$$2rdamedia
001435688 338__ $$aonline resource$$bcr$$2rdacarrier
001435688 347__ $$atext file$$bPDF$$2rda
001435688 4901_ $$aCommunications in Computer and Information Science Ser. ;$$vv.1288
001435688 5050_ $$aIntro -- Preface -- Organization -- Contents -- Keynote -- Partial Specifications of Libraries: Applications in Software Engineering -- 1 Introduction -- 2 Problems with External Libraries -- 3 Approach -- 4 Formal Specifications of Libraries -- 5 LibSL: Library Specification Language -- 5.1 General Specification Structure -- 5.2 Semantic Types Descriptions -- 5.3 Automata Description -- 5.4 API Functions Description -- 5.5 Global Objects Section -- 6 Applications -- 6.1 Porting of Software -- 6.2 Enhancements of Static Analysis -- 6.3 Cross-Language Integration
001435688 5058_ $$a6.4 Integration Errors Detection -- 6.5 Specification Mining -- 6.6 Other Applications -- 7 Conclusion -- References -- Full Papers -- Chaotic Time Series Prediction: Run for the Horizon -- 1 Introduction -- 2 Related Works -- 3 Time Series Prediction Problem -- 4 Non-successive Observations -- 5 Prediction Algorithm -- 6 Non-predictable Points -- 7 Quality Assessment -- 8 The Problem of Estimating Clusters' Prognostic Values (Quality Assessment) -- 9 Numerical Results -- 10 Comparison with Published Results -- 11 Conclusions -- References
001435688 5058_ $$aMachine Learning and Value Generation in Software Development: A Survey -- 1 Introduction -- 2 Predicting Programming Effort -- 3 Predicting Risks to the Project -- 4 Predicting Defects -- 5 Discussion -- 6 Conclusion and Future Research -- References -- The Conception of Strings Similarity in Software Engineering -- 1 Introduction -- 2 Data Similarity Conception -- 3 Jaccard Distance-Based NED Approximation -- 3.1 About Triangular Inequality for NED -- 4 Similarity Model Validation -- 4.1 About Data Set -- 4.2 Similarity Metrics Measurement Issue
001435688 5058_ $$a5 Experimental Results of ANED-Based Approximation and Their Discussion -- 6 Conclusion -- References -- Multi-perspective Process Mining with Embedding Configurations into DB-Based Event Logs -- 1 Introduction -- 2 Related Work -- 3 A Database Approach for Representing Event Logs -- 3.1 An Abstract Event Log and an DB-Event Log -- 3.2 Relating DB Event Logs and Abstract Event Logs -- 4 Implementation -- 4.1 Embedding Configurations into DB-Based Event Logs to Obtain Multi-perspective Process Mining -- 5 Conclusion -- References -- On DB-Nets and Their Applications -- 1 Introduction
001435688 5058_ $$a2 The Formalism -- 3 Current and Prospective Applications -- 4 Conclusions -- References -- Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining -- 1 Introduction -- 2 The Financial Information Exchange (FIX) Protocol -- 3 Extracting Event Logs for Process Mining from FIX Messages -- 3.1 Basic Definitions -- 3.2 Extraction of Order-Based Event Logs -- 3.3 Extraction of Order-Book-Based Event Logs -- 3.4 Replay of Order-Book-Based Event Logs -- 4 Conclusions and Future Work -- References -- Time Series Classification Based on Visualization of Recurrence Plots
001435688 506__ $$aAccess limited to authorized users.
001435688 520__ $$aThis book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
001435688 588__ $$aDescription based on print version record.
001435688 650_0 $$aSoftware engineering.
001435688 650_0 $$aArtificial intelligence.
001435688 650_0 $$aComputers.
001435688 650_0 $$aComputer organization.
001435688 650_0 $$aProgramming languages (Electronic computers)
001435688 650_6 $$aGénie logiciel.
001435688 650_6 $$aIntelligence artificielle.
001435688 650_6 $$aOrdinateurs.
001435688 650_6 $$aOrdinateurs$$xConception et construction.
001435688 655_0 $$aElectronic books.
001435688 7001_ $$aLozano, Jose A.
001435688 7001_ $$aYavorskiy, Rostislav.
001435688 7730_ $$tSpringer Nature eBook$$w(OCoLC-LEATE)288477
001435688 77608 $$iPrint version:$$aKalenkova, Anna$$tTools and Methods of Program Analysis$$dCham : Springer International Publishing AG,c2021$$z9783030714710
001435688 830_0 $$aCommunications in computer and information science.
001435688 852__ $$bebk
001435688 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-71472-7$$zOnline Access$$91397441.1
001435688 909CO $$ooai:library.usi.edu:1435688$$pGLOBAL_SET
001435688 980__ $$aBIB
001435688 980__ $$aEBOOK
001435688 982__ $$aEbook
001435688 983__ $$aOnline
001435688 994__ $$a92$$bISE