Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very high levels of correctness and dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of correctness requires formal modelling and formal analysis. When separation of concerns splits the model into several parts, an important issue is to ensure consistency among these parts. We propose an approach supporting separation of concerns and consistent and incremental modelling of requirements. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Chen, X., Liu, Z., & Mencl, V. (2007). Separation of concerns and consistent integration in requirements modelling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4362 LNCS, pp. 819–831). Springer Verlag. https://doi.org/10.1007/978-3-540-69507-3_71
Mendeley helps you to discover research relevant for your work.