Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

Bollin, Andreas

doi:10.1109/formalise.2013.6612271

Cited by 2 publications

(2 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Bollin [53] From a theoretical framework concludes that process formalization of the requirement is a problem of transcultural adaptation, analyzes the pros and cons of the same and discloses a refined model for a formal software development process.…”

Section: Author Developmentioning

confidence: 99%

Process and progress of requirement formalization in Software Engineering

M.¹,

A.²

2020

Ingeniare. Rev. chil. ing.

View full text Add to dashboard Cite

Since the middle of the last century was initiated the research in formal methods and was presented proposals and methodologies to apply them in software development. The idea was overcome the diagnosed software crisis through the materialization of the life cycle of this product development. In this article is presented the results of a revision of the literature, about progress and develop the requirement formalization. The conclusion is that both are slow: there is not enough interest in the industry, the academy does not train in formal methods, and there is no sponsorship for this research field, professionals fear mathematics and traditional methodologies of software engineering are still the most used in development teams. Due to the quality efficiency, software security and reliability, it is necessary to reactivate the research and experimentation with all the formal methods, because the hope is that mathematics will be the toll with which the crisis promulgated in the 60s is overcome.

show abstract

Section: Author Developmentioning

confidence: 99%

Process and progress of requirement formalization in Software Engineering

M.¹,

A.²

2020

Ingeniare. Rev. chil. ing.

View full text Add to dashboard Cite

show abstract

“…Al contrario de Barlas et al [37], Wolff [21] utiliza la experiencia en la industria para combinar el desarrollo ágil Scrum con los métodos formales, pero desde una conceptualización teórica; presenta una evaluación y discusión acerca de los beneficios de utilizarlos para formalizar los requisitos. Bollin [38], desde un marco teórico, concluye que el proceso de la formalización de los requisitos es un problema de adaptación transcultural: analiza sus pros y contras, y da a conocer un modelo refinado para un proceso de desarrollo de software formal. Desde la experiencia, Serna y Serna [39] presentan una investigación teórica en la que se concluye que el método formal ha alcanzado significativos avances, lo que vislumbra aplicaciones ambiciosas en el futuro para apoyar rigurosos y coherentes planes de estudios en ciencias computacionales.…”

Section: Trabajos Relacionadosunclassified

Proceso y evolución de los métodos formales en la ingeniería de requisitos

Jiménez

Patiño

2019

rev.ing.univ.Medellin

View full text Add to dashboard Cite

La ingeniería de requisitos se considera la fase más importante del ciclo de vida de los productos de software, porque en ella se especifican las necesidades de los clientes y es la base para la ejecución de las demás fases de la ingeniería de software. Los modelos que actualmente se utilizan para realizar la elicitación de requisitos se han propuesto y documentado de forma amplia, pero se centran solo en las técnicas para colectar información y descuidan la actividad de documentarla de manera adecuada. Además, para estructurar la especificación de requisitos sigue en uso el lenguaje natural como forma de comunicación y comprensión con el cliente. Debido a las ambigüedades que este causa, se dificulta la interpretación; esto conlleva reprocesos en las etapas posteriores del ciclo de vida del software. De acuerdo con ello, es necesario que las organizaciones desarrolladoras de software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la ingeniería de requisitos. De acuerdo a lo anterior, es necesario que las organizaciones que desarrollan software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la Ingeniería de Requisitos.

show abstract

Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem

Cited by 2 publications

References 19 publications

Process and progress of requirement formalization in Software Engineering

Process and progress of requirement formalization in Software Engineering

Proceso y evolución de los métodos formales en la ingeniería de requisitos

Contact Info

Product

Resources

About