{"product_id":"fundamentals-of-software-engineering-9783031870538","title":"Fundamentals of Software Engineering","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- Improved Gas Optimization of Smart Contracts.\u003c\/p\u003e\u003cp\u003e.- Distributing Quantum Circuits Using Formal Methods.\u003c\/p\u003e\u003cp\u003e.- Automated Test Generation: Taxonomy and Tool Applications.\u003c\/p\u003e\u003cp\u003e.- Finding Universally Quantified Heap Invariants by Horn Clause Transformations.\u003c\/p\u003e\u003cp\u003e.- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines.\u003c\/p\u003e\u003cp\u003e.- Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning.\u003c\/p\u003e\u003cp\u003e.- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.\u003c\/p\u003e\u003cp\u003e.- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.\u003c\/p\u003e\u003cp\u003e.- On time-sensitive control closure for secure information flow.\u003c\/p\u003e\u003cp\u003e.- Automatic Generation of Loop Invariants in Dafny with Large Language Models.\u003c\/p\u003e\u003cp\u003e.- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline.\u003c\/p\u003e\u003cp\u003e.- Formally Verified Verifiable Group Generators.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195460706647,"sku":"9783031870538","price":108.3,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/fundamentals-of-software-engineering-9783031870538","provider":"Book Curl","version":"1.0","type":"link"}