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

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.	UNINA-9910484339303321

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

Edizione	[First edition.]
Pubbl/distr/stampa	Cham, Switzerland : , : Springer, , [2023]
Descrizione fisica	1 online resource (155 pages)
Disciplina	004.0151
Collana	Lecture Notes in Computer Science Series
Soggetto topico	Formal methods (Computer science) Object-oriented methods (Computer science)
ISBN	9783031294761 9783031294754
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Model Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic.
Record Nr.	UNISA-996517752003316

Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica	1 online resource (IX, 364 p. 174 illus., 64 illus. in color.)
Disciplina	004.0151
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Computer engineering Computer networks Artificial intelligence Computer science Software Engineering Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Theory of Computation
ISBN	3-030-41418-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection.
Record Nr.	UNISA-996418206303316