Automated Support for Diagnosis and Repair.

The article discusses the use of model checking and artificial intelligence in diagnosing and repairing problems in the software development cycle. The authors describe a four-step framework for a basic train-controller system that includes model checking, elicitation by the software engineer of sys...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 58; no. 2; pp. 65 - 73
Autores principales:	ALRAJEH, DALAL, KRAMER, JEFF, RUSSO, ALESSANDRA, UCHITEL, SEBASTIAN
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2015
Materias:	Computer software quality control Software engineering Computer software development Artificial intelligence Logic machines Machine learning
Acceso en línea:	Ver este registro en EBSCOhost