Koleksi

Advanced Search
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software / Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL / Neural Network-based Detection of Self-Admitted Technical Debt: From Performance to Explainability / Verifying and Quantifying Side-channel Resistance of Masked Software Implementations / Developing and Evaluating Objective Termination Criteria for Random Testing / Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving

Detail CantumanCite
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Runtime Fault Detection in Programmed Molecular Systems / Understanding and Analyzing Java Reflection / Domain Analysis and Description Principles, Techniques, and Modelling Languages / Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys / Isolation Modeling and Analysis Based on Mobility / How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Editorial / Runtime Fault Detection in Programmed Molecular Systems / Understanding and Analyzing Java Reflection / Domain Analysis and Description Principles, Techniques, and Modelling Languages / Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys / Isolation Modeling and Analysis Based on Mobility / How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

Detail CantumanCite
Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Farewell Editorial from the Outgoing Editor-in-Chief / Editorial from the Incoming Editor-in-Chief / Oracles for Testing Software Timeliness with Uncertainty / The State of Empirical Evaluation in Static Feature Location / RESTful API Automated Test Case Generation with EvoMaster / An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction / Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling

Bundel Jurnal ACM Transactions on Software Engineering and Methodology : Farewell Editorial from the Outgoing Editor-in-Chief / Editorial from the Incoming Editor-in-Chief / Oracles for Testing Software Timeliness with Uncertainty / The State of Empirical Evaluation in Static Feature Location / RESTful API Automated Test Case Generation with EvoMaster / An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction / Software Effort Interval Prediction via Bayesian Inference and Synthetic Bootstrap Resampling

Detail CantumanCite

Hasil Pencarian

Ditemukan 3 dari pencarian Anda melalui kata kunci: Author : "M. Pezze"
Permintaan membutuhkan 0.77133 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog