The role of induction in (semi-)automated software life-cycles. Hernández-Orallo, J. & Ramírez-Quintana, M. J. In 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pages 283–295, 2000. bibtex @inproceedings{DBLP:conf/wflp/Hernandez-OralloR00,
author = {Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Mar{\'{\i}}a Alpuente},
title = {The role of induction in (semi-)automated software life-cycles},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {283--295},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Hernandez-OralloR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"rv8b6aQX8RhYs8K5g","bibbaseid":"hernndezorallo-ramrezquintana-theroleofinductioninsemiautomatedsoftwarelifecycles-2000","authorIDs":[],"author_short":["Hernández-Orallo, J.","Ramírez-Quintana, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["José"],"propositions":[],"lastnames":["Hernández-Orallo"],"suffixes":[]},{"firstnames":["M.","José"],"propositions":[],"lastnames":["Ramírez-Quintana"],"suffixes":[]}],"editor":[{"firstnames":["María"],"propositions":[],"lastnames":["Alpuente"],"suffixes":[]}],"title":"The role of induction in (semi-)automated software life-cycles","booktitle":"9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000","pages":"283–295","year":"2000","timestamp":"Tue, 30 Nov 2004 09:20:36 +0100","biburl":"https://dblp.org/rec/conf/wflp/Hernandez-OralloR00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wflp/Hernandez-OralloR00,\n author = {Jos{\\'{e}} Hern{\\'{a}}ndez{-}Orallo and\n M. Jos{\\'{e}} Ram{\\'{\\i}}rez{-}Quintana},\n editor = {Mar{\\'{\\i}}a Alpuente},\n title = {The role of induction in (semi-)automated software life-cycles},\n booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,\n Benicassim, Spain, September 28-30, 2000},\n pages = {283--295},\n year = {2000},\n timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},\n biburl = {https://dblp.org/rec/conf/wflp/Hernandez-OralloR00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hernández-Orallo, J.","Ramírez-Quintana, M. J."],"editor_short":["Alpuente, M."],"key":"DBLP:conf/wflp/Hernandez-OralloR00","id":"DBLP:conf/wflp/Hernandez-OralloR00","bibbaseid":"hernndezorallo-ramrezquintana-theroleofinductioninsemiautomatedsoftwarelifecycles-2000","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/search/publ/api?format=bib&h=1000&q=author:José_R._Álvarez:|author:Margarita_Bachiller:|author:Margarita_Bachiller_Mayoral:|author:Enrique_J._Carmona:|author:José_Manuel_Cuadra_Troncoso:|author:José_Luis_Fernández-Vindel:|author:Carolina_Mañoso:|author:Rafael_Martínez-Tomás:|author:Félix_de_la_Paz:|author:Angel_Pérez_de_Madrid:|author:Mariano_Rincón:|author:Miguel_Romero_0003:|author:Miguel_Romero_Hortelano:","creationDate":"2020-09-24T15:30:18.299Z","downloads":0,"keywords":[],"search_terms":["role","induction","semi","automated","software","life","cycles","hernández-orallo","ramírez-quintana"],"title":"The role of induction in (semi-)automated software life-cycles","year":2000,"dataSources":["jY3Qd7SvX7QP2zSXh"]}