03732nam 2200493 450 99656587060331620240113030858.0981-9975-84-010.1007/978-981-99-7584-6(MiAaPQ)EBC30876552(Au-PeEL)EBL30876552(DE-He213)978-981-99-7584-6(EXLCZ)992880478810004120240113h20242023 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings /Yi Li and Sofiène Tahar, editorsFirst edition.Singapore :Springer,[2024]©20231 online resource (319 pages)Lecture Notes in Computer Science Series ;Volume 14308Print version: Li, Yi Formal Methods and Software Engineering Singapore : Springer Singapore Pte. Limited,c2023 9789819975839 Includes bibliographical references and index.Invited Talk: Verifying Compiler Optimisations -- Regular Papers: An Idealist’s Approach for Smart Contract Correctness -- Active Inference of EFSMs Without Reset -- Learning Mealy Machines with Local Timers -- Compositional Vulnerability Detection with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like Neural Network Verification -- Certifying Sequential Consistency of Machine Learning Accelerators -- Guided Integration of Formal Verification in Assurance Cases -- Validation-Driven Development -- Incremental Property Directed Reachability -- Proving Local Invariants in ASTDs -- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol -- Early and systematic validation of formal models -- Verifying Neural Networks by Approximating Convex Hulls -- Eager to Stop: Efficient Falsification of Deep Neural Networks -- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning -- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision -- IoT Software Vulnerability Detection Techniques through Large Language Model -- Vulnerability Detection via Typestate-Guided Code Representation Learning.This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.Lecture notes in computer science ;Volume 14308.Formal methods (Computer science)CongressesSoftware engineeringCongressesFormal methods (Computer science)Software engineering004.0151Li YiTahar SofièneMiAaPQMiAaPQMiAaPQBOOK996565870603316Formal Methods and Software Engineering771999UNISA07147nam 22008055 450 99646598360331620200704185459.01-280-38955-997866135674753-642-16129-410.1007/978-3-642-16129-2(CKB)2670000000045143(SSID)ssj0000446633(PQKBManifestationID)11269481(PQKBTitleCode)TC0000446633(PQKBWorkID)10497342(PQKB)11784398(DE-He213)978-3-642-16129-2(MiAaPQ)EBC3065880(PPN)149024797(Association for Computing Machinery)10.5555/1929101(EXLCZ)99267000000004514320100922d2010 u| 0engurnn|008mamaatxtccrModel Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /edited by Dorina C. Petriu, Nicolas Rouquette, Oystein Haugen1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XXI, 422 p. 162 illus.) Programming and Software Engineering ;6395Bibliographic Level Mode of Issuance: Monograph3-642-16128-6 Includes bibliographical references and index.Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing Applications -- Model Driven Orchestration: Design for Service Compatibility -- Embedded Software Development with Projectional Language Workbenches -- Concern-Based (de)composition of Model-Driven Software Development Processes -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling -- Role-Based Generic Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms -- Capturing the Intention of Model Changes -- Selective and Consistent Undoing of Model Changes -- Modeling Features at Runtime -- Metamodel-Based Information Integration at Industrial Scale -- Inferring Meta-models for Runtime System Data from the Clients of Management APIs -- A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering -- A Common Framework for Synchronization in Requirements Modelling Languages -- A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development -- Slicing of UML Models Using Model Transformations -- An Adjustable Transformation from OWL to Ecore -- Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines for the Development of Quality-Driven Model Transformations -- Early Deviation Detection in Modeling Activities of MDE Processes -- Artifact or Process Guidance, an Empirical Study -- Scaling Up Model Driven Engineering – Experience and Lessons Learnt -- Mod4J: A Qualitative Case Study of Model-Driven Software Development -- Modeling Issues: a Survival Guide for a Non-expert Modeler -- Monarch: Model-Based Development of Software Architectures -- Model-to-Metamodel Transformation for the Development of Component-Based Systems -- Architectural Descriptions as Boundary Objects in System and Design Work.The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.Programming and Software Engineering ;6395MODELS'10Software engineeringComputer engineeringProgramming languages (Electronic computers)Computer programmingArchitecture, ComputerSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Software engineering.Computer engineering.Programming languages (Electronic computers).Computer programming.Architecture, Computer.Software Engineering/Programming and Operating Systems.Computer Engineering.Programming Languages, Compilers, Interpreters.Software Engineering.Programming Techniques.Computer System Implementation.005.1Petriu Dorina Cedthttp://id.loc.gov/vocabulary/relators/edtRouquette Nicolasedthttp://id.loc.gov/vocabulary/relators/edtHaugen Oysteinedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465983603316Model Driven Engineering Languages and Systems772687UNISA05133nam 22007455 450 991040968010332120251113180204.03-030-43222-X10.1007/978-3-030-43222-5(CKB)4100000010770673(DE-He213)978-3-030-43222-5(MiAaPQ)EBC6141917(PPN)243222807(EXLCZ)99410000001077067320200312d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierParallel Processing and Applied Mathematics 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II /edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XXIII, 503 p. 164 illus., 90 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;120443-030-43221-1 Includes bibliographical references and index.Workshop on Language-Based Parallel Programming Models (WLPP 2019) -- Workshop on Models Algorithms and Methodologies for Hybrid Parallelism in New HPC Systems -- Workshop on Power and Energy Aspects of Computations (PEAC 2019) -- Special Session on Tools for Energy Efficient Computing -- Workshop on Scheduling for Parallel Computing (SPC 2019) -- Workshop on Applied High Performance Numerical Algorithms for PDEs -- Minisymposium on HPC Applications in Physical Sciences -- Minisymposium on High Performance Computing Interval Methods -- Workshop on Complex Collective Systems.The two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th International Conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019. The 91 regular papers presented in these volumes were selected from 161 submissions. For regular tracks of the conference, 41 papers were selected from 89 submissions. The papers were organized in topical sections named as follows: Part I: numerical algorithms and parallel scientific computing; emerging HPC architectures; performance analysis and scheduling in HPC systems; environments and frameworks for parallel/distributed/cloud computing; applications of parallel computing; parallel non-numerical algorithms; soft computing with applications; special session on GPU computing; special session on parallel matrix factorizations. Part II: workshop on language-based parallel programming models (WLPP 2019); workshop on models algorithms and methodologies for hybrid parallelism in new HPC systems; workshop on power and energy aspects of computations (PEAC 2019); special session on tools for energy efficient computing; workshop on scheduling for parallel computing (SPC 2019); workshop on applied high performance numerical algorithms for PDEs; minisymposium on HPC applications in physical sciences; minisymposium on high performance computing interval methods; workshop on complex collective systems. Chapters "Parallel adaptive cross approximation for the multi-trace formulation of scattering problems" and "A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes" of LNCS 12043 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Theoretical Computer Science and General Issues,2512-2029 ;12044Software engineeringComputer engineeringComputer networksComputer scienceMathematicsOperating systems (Computers)Database managementSoftware EngineeringComputer Engineering and NetworksMathematics of ComputingOperating SystemsDatabase Management SystemSoftware engineering.Computer engineering.Computer networks.Computer scienceMathematics.Operating systems (Computers).Database management.Software Engineering.Computer Engineering and Networks.Mathematics of Computing.Operating Systems.Database Management System.005.1005.1Wyrzykowski Romanedthttp://id.loc.gov/vocabulary/relators/edtDeelman Ewaedthttp://id.loc.gov/vocabulary/relators/edtDongarra Jackedthttp://id.loc.gov/vocabulary/relators/edtKarczewski Konradedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910409680103321Parallel Processing and Applied Mathematics772366UNINA