Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Interpretation of criteria weights in multicriteria decision making
Computers and Industrial Engineering
Requirements Engineering
Composite Systems Decisions (Decision Engineering)
Composite Systems Decisions (Decision Engineering)
Combining global optimization with local selection for efficient QoS-aware service composition
Proceedings of the 18th international conference on World wide web
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Decomposing the Service Composition Problem
ECOWS '10 Proceedings of the 2010 Eighth IEEE European Conference on Web Services
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Identifying Optimal Composite Services by Decomposing the Service Composition Problem
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Automating analysis of qualitative preferences in goal-oriented requirements engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |
To produce an optimal component-based software system for a given application, it is necessary to consider both the required functionality of the system and its stakeholders' preferences over various non-functional properties. We propose a new modular end-to-end framework for component-based system development that combines formal specification and verification of functional requirements with a novel method for representing and reasoning with stakeholders' qualitative preferences over properties of the system. This framework will facilitate the use of formal verification to ensure system correctness while making it easier to identify truly optimal component-based system designs.