3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.SE2026
The Role Specialization Model (RSM): Coordinating LLM-Based Tools in Agentic Software Development - An Exploratory Case Study
Carlos Alberto Fernández-y-Fernández, Jorge R. Aguilar-Cisneros
The integration of large language models (LLMs) into software development workflows has given rise to a paradigm known as Agentic Software Engineering (SE 3.0), in which autonomous…
cs.SE2014
Integrating formal methods into traditional practices for software development: an overview
Carlos Alberto Fernandez-y-Fernandez
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in Mexico. The article shows only the main results f…
cs.SE2012★ 3 cited
Towards a new metamodel for the Task Flow Model of the Discovery Method
Carlos Alberto Fernandez-y-Fernandez
This paper presents our proposal for the evolution of the metamodel for the Task Algebra in the Task Flow model for the Discovery Method. The original Task Algebra is based on simp…