Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sandy Beidu"'
Autor:
Sandy Beidu, Joanne M. Atlee
Publikováno v:
From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
Requirement engineers must know how features (units of functionality) interact, in order to resolve undesired interactions. Model checking has been proposed as an effective method for detecting feature interactions. We propose a method for (1) modell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::855a9b3c91c54ff21fe26eff7abc96bd
https://doi.org/10.1007/978-3-030-30985-5_14
https://doi.org/10.1007/978-3-030-30985-5_14
Publikováno v:
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering.
Publikováno v:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Publikováno v:
FormaliSE@ICSE
While there may be general agreement on what it means for a formal method to be usable (e.g., ease of modelling, automated and scalable analysis), there is no consensus in the software-engineering or formal-methods communities on what strategies lead