A deductive reasoning approach for database applications using verification conditions (Englisch)
- Neue Suche nach: Alam, Md. Imran
- Neue Suche nach: Halder, Raju
- Neue Suche nach: Pinto, Jorge Sousa
- Neue Suche nach: Alam, Md. Imran
- Neue Suche nach: Halder, Raju
- Neue Suche nach: Pinto, Jorge Sousa
In:
Journal of Systems and Software
;
175
;
2020
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:A deductive reasoning approach for database applications using verification conditions
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Elsevier Inc.
-
Erscheinungsdatum:24.12.2020
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 175
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
-
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
-
Transforming abstract to concrete repairs with a generative approach of repair valuesKretschmer, Roland / Khelladi, Djamel Eddine / Egyed, Alexander et al. | 2020
-
Editorial Board| 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
-
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
-
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
-
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
-
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
-
A deductive reasoning approach for database applications using verification conditionsAlam, Md. Imran / Halder, Raju / Pinto, Jorge Sousa et al. | 2020