01279nam a2200277 i 450099100032510970753620020506125224.0950403s1992 it ||| | ita b10684530-39ule_instEXGIL143537ExLDip.to Filol. Ling. e Lett.itaD'Oria, Anna Grazia216352Le tendenze attuali della poesia e della narrativa :antologia di testi teorici e letterari /a cura di Anna Grazia D'OriaGruppo 93Lecce :Piero Manni,[1992]181 p. ;21 cm.Materiali del Convegno 'Il Gruppo 93 e le tendenze attuali della poesia e della narrativa", tenutosi a Siena, presso la Certosa di Pontignano, nei giorni 28 e 29 febbraio 1993, promosso dal Dipartimento di filologia e critica della letteratura dell'Universitáa degli studi di Siena"AntologiaNarrativaPoesia.b1068453002-04-1428-06-02991000325109707536LE008 LLI V H 1112008000283476le008-E0.00-l- 00000.i1077827528-06-02Tendenze attuali della poesia e della narrativa910186UNISALENTOle00801-01-95ma -itait 3104733nam 22007335 450 99659416990331620240406124740.03-031-57259-910.1007/978-3-031-57259-3(CKB)31435292500041(MiAaPQ)EBC31281879(Au-PeEL)EBL31281879(DE-He213)978-3-031-57259-3(OCoLC)1429288556(EXLCZ)993143529250004120240405d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings /edited by Dirk Beyer, Ana Cavalcanti1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (346 pages)Lecture Notes in Computer Science,1611-3349 ;145733-031-57258-0 From Mechanized Semantics to Verified Compilation: The Clight Semantics of CompCert -- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models -- Probabilistic Runtime Enforcement of Executable BPMN Processes -- Integrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring the Future of Smart Contracts -- Comprehending Object State via Dynamic Class Invariant Learning -- Detection for Large-Scale Online Service Systems Using Multi-Channel Data -- Refinement Verification of OS Services based on a Verified Preemptive Microkernel -- Fuzzy quantitative attack tree analysis -- Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation -- Invariant-based Program Repair -- Can ChatGPT support software verification -- Combining Deductive Verification with Shape Analysis -- First Steps towards Deductive Verification of LLVM IR -- FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) -- Ultimate TestGen: Test Case Generation with Automata-based Software Model Checking (Competition Contribution).This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution. .Lecture Notes in Computer Science,1611-3349 ;14573Software engineeringOperating systems (Computers)Computer scienceMicroprogrammingComputer systemsNatural language processing (Computer science)Software EngineeringOperating SystemsTheory of ComputationControl Structures and MicroprogrammingComputer System ImplementationNatural Language Processing (NLP)Software engineering.Operating systems (Computers).Computer science.Microprogramming.Computer systems.Natural language processing (Computer science).Software Engineering.Operating Systems.Theory of Computation.Control Structures and Microprogramming.Computer System Implementation.Natural Language Processing (NLP).005.1Beyer Dirk1351238Cavalcanti Ana1736503MiAaPQMiAaPQMiAaPQBOOK996594169903316Fundamental Approaches to Software Engineering4156357UNISA