A deductive reasoning approach for database applications using verification conditions (English)
- New search for: Alam, Md. Imran
- New search for: Halder, Raju
- New search for: Pinto, Jorge Sousa
- New search for: Alam, Md. Imran
- New search for: Halder, Raju
- New search for: Pinto, Jorge Sousa
In:
Journal of Systems and Software
;
175
;
2020
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:A deductive reasoning approach for database applications using verification conditions
-
Contributors:
-
Published in:
-
Publisher:
- New search for: Elsevier Inc.
-
Publication date:2020-12-24
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 175
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
-
Transforming abstract to concrete repairs with a generative approach of repair valuesKretschmer, Roland / Khelladi, Djamel Eddine / Egyed, Alexander et al. | 2020
-
Editorial Board| 2021
-
Product metrics for spreadsheets—A systematic reviewHofer, Birgit / Jannach, Dietmar / Koch, Patrick / Schekotihin, Konstantin / Wotawa, Franz et al. | 2021
-
GEML: A grammar-based evolutionary machine learning approach for design-pattern detectionBarbudo, Rafael / Ramírez, Aurora / Servant, Francisco / Romero, José Raúl et al. | 2021
-
FaaSten your decisions: A classification framework and technology review of function-as-a-Service platformsYussupov, Vladimir / Soldani, Jacopo / Breitenbücher, Uwe / Brogi, Antonio / Leymann, Frank et al. | 2021
-
Adaptive distributed monitors of spatial properties for cyber–physical systemsAudrito, Giorgio / Casadei, Roberto / Damiani, Ferruccio / Stolz, Volker / Viroli, Mirko et al. | 2021
-
ProDSPL: Proactive self-adaptation based on Dynamic Software Product LinesAyala, Inmaculada / Papadopoulos, Alessandro V. / Amor, Mercedes / Fuentes, Lidia et al. | 2021
-
A Kubernetes controller for managing the availability of elastic microservice based stateful applicationsVayghan, Leila Abdollahi / Saied, Mohamed Aymen / Toeroe, Maria / Khendek, Ferhat et al. | 2021
-
Fast and accurate incremental feedback for students’ software tests using selective mutation analysisKazerouni, Ayaan M. / Davis, James C. / Basak, Arinjoy / Shaffer, Clifford A. / Servant, Francisco / Edwards, Stephen H. et al. | 2021
-
A deductive reasoning approach for database applications using verification conditionsAlam, Md. Imran / Halder, Raju / Pinto, Jorge Sousa et al. | 2020
-
Ensemble Effort Estimation using dynamic selectionde A. Cabral, Jose Thiago H. / Oliveira, Adriano L.I. et al. | 2021
-
FollowMe@LS: Electricity price and source aware resource management in geographically distributed heterogeneous datacentersAli, Hashim / Zakarya, Muhammad / Rahman, Izaz Ur / Khan, Ayaz Ali / Buyya, Rajkumar et al. | 2021
-
Blended graphical and textual modelling for UML profiles: A proof-of-concept implementation and experimentAddazi, Lorenzo / Ciccozzi, Federico et al. | 2021
-
A ground-truth dataset and classification model for detecting bots in GitHub issue and PR commentsGolzadeh, Mehdi / Decan, Alexandre / Legay, Damien / Mens, Tom et al. | 2021