Pubbl/distr/stampa	[Place of publication not identified], : IEEE Computer Society Press, 1997
Disciplina	620/.0028
Soggetto topico	Engineering - Congresses - Methodology Computer software - Congresses - Development Engineering & Applied Sciences Engineering - General
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996204369303316

Autore	Ogata Kazuhiro
Edizione	[1st ed. 2024.]
Pubbl/distr/stampa	Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024
Descrizione fisica	1 online resource (421 pages)
Disciplina	004.0151
Altri autori (Persone)	MeryDominique SunMeng LiuShaoying
Collana	Lecture Notes in Computer Science
Soggetto topico	Computer science Computer programming Software engineering Compilers (Computer programs) Application software Natural language processing (Computer science) Theory of Computation Programming Techniques Software Engineering Compilers and Interpreters Computer and Information Systems Applications Natural Language Processing (NLP)
ISBN	9789819606177 9819606179
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	-- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. -- Repairing Event-B Models through Quantifier Elimination. -- Tuning Trains Speed in Railway Scheduling. -- The Bright Side of Timed Opacity. -- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. -- Efficient State Estimation of Discrete-Timed Automata. -- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. -- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. -- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. -- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. -- Deciding the synthesis problem for hybrid games through bisimulation. -- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. -- Differential Property Monitoring for Backdoor Detection. -- MemSpate: Memory Usage Protocol Guided Fuzzing. -- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters – A Coq Formal Verification. -- Observability of Boolean Control Networks: New Definition and Verification Algorithm. -- Formalizing Potential Flows using the HOL Light Theorem Prover. -- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. -- Efficient SMT-Based Model Checking for HyperTWTL. -- A Tableau-based Approach to Model Checking Linear Temporal Properties. -- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. -- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.
Record Nr.	UNINA-9910913777303321

Edizione	[1st ed. 2016.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica	1 online resource (XVII, 486 p. 144 illus.)
Disciplina	004.0151
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer programming Programming languages (Electronic computers) Computer logic Mathematical logic Computer communication systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks
ISBN	3-319-47846-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Abstraction, refinement and evolution -- Formal specification and modeling -- Program analysis -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal methods for self-adaptive systems -- Formal methods for object-oriented systems -- Formal methods for component-based systems -- Tool development, integration and experiments involving verified systems -- Formal model-based development and code generation. .
Record Nr.	UNISA-996465297503316

Autore	Dohi Tadashi
Pubbl/distr/stampa	Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022
Descrizione fisica	1 electronic resource (218 p.)
Soggetto topico	Technology: general issues History of engineering & technology
Soggetto non controllato	fuzzy automata coalgebra fuzzy language bisimulation composition test data generation genetic algorithm specification-based testing regression testing mutation testing eventual property model checking Maude textual question answering visual question answering metamorphic testing metamorphic relations quality assessment software rejuvenation checkpointing optimal rejuvenation-trigger timing steady-state system availability phase expansion human-error factors petri net concurrent software systems model-checking data-flows software reliability model maximum likelihood estimation EM algorithm non-homogeneous Poisson process generalized failure count data moth flame optimization island-based model feature selection software defect prediction software reliability search-based test case generation branch coverage object-oriented deep learning long short-term memory project similarity and clustering cross-project prediction Nervos CKB consensus protocol UPPAAL
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNINA-9910576884903321