2019/10/11 by Maria Spichkova, Heinz Schmidt, Spichkova, Maria +1
Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Engineering Techniques and Practices
paper · pdf · doi:10.48550/arxiv.1910.05008
openalex publication_date 2019/10/11 · openalex created_date 2022/07/19 · openalex updated_date 2026/07/28
In this paper we present a formal framework for analysis and optimisation of\nthe requirements specifications of systems developed to apply in several\ncountries. As different countries typically have different regulations/laws as\nwell as different cultural restrictions, the corresponding specific\nrequirements might differ in each particular case. Our framework provides a\nbasis for (1) systematic and formal analysis of the diversity and\ninterdependencies within the sets of the requirements, to avoid non-compliance,\ncontradictions and redundancies; (2) corresponding systematic process for\nchange management in the case of global system development.\n