TY - GEN
T1 - Specifying and separating concerns from requirements to design
T2 - Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005
AU - Kassab, Mohamad
AU - Constantinides, Constantinos
AU - Ormandjieva, Olga
PY - 2005
Y1 - 2005
N2 - Oriented Software Development (AOSD) aims at providing a systematic support for the identification, separation, representation (through proper modeling and documentation), and composition of crosscutting concerns as well as mechanisms that can make them traceable throughout software development. In this paper, we discuss a sequence of systematic activities towards an early consideration of specifying and separating crosscutting functional requirements (FRs) and nonfunctional requirements (NFRs). This approach would make it possible to identify and resolve conflicts between NFRs earlier in the development cycle and can promote traceability of broadly scoped requirements throughout system development, maintenance and evolution. We provide a formalism for FRs by specifying their pre- and postconditions using first-order predicate logic. Measures of conflictiveness and interdependency are proposed to assess the effort required for the composition of the requirements. A new measure of cohesiveness of the use-case model is proposed based on the crosscutting modeling approach.
AB - Oriented Software Development (AOSD) aims at providing a systematic support for the identification, separation, representation (through proper modeling and documentation), and composition of crosscutting concerns as well as mechanisms that can make them traceable throughout software development. In this paper, we discuss a sequence of systematic activities towards an early consideration of specifying and separating crosscutting functional requirements (FRs) and nonfunctional requirements (NFRs). This approach would make it possible to identify and resolve conflicts between NFRs earlier in the development cycle and can promote traceability of broadly scoped requirements throughout system development, maintenance and evolution. We provide a formalism for FRs by specifying their pre- and postconditions using first-order predicate logic. Measures of conflictiveness and interdependency are proposed to assess the effort required for the composition of the requirements. A new measure of cohesiveness of the use-case model is proposed based on the crosscutting modeling approach.
UR - http://www.scopus.com/inward/record.url?scp=33244465564&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33244465564&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:33244465564
SN - 0889864756
T3 - Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005
SP - 18
EP - 27
BT - Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005
A2 - Hamza, M.H.
Y2 - 20 June 2005 through 24 June 2005
ER -