Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2015
Symbolic model checking of product-line requirements using SAT-based methods
ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 1Pages 189–199Product line (PL) engineering promotes the development of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models of PLs allows for early detection ...
- research-articleNovember 2014
Variable-specific resolutions for feature interactions
FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software EngineeringPages 553–563https://doi.org/10.1145/2635868.2635927Systems assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The feature-interaction problem states that the number of potential interactions is ...
- ArticleNovember 2009
State-Space Coverage Estimation
ASE '09: Proceedings of the 24th IEEE/ACM International Conference on Automated Software EngineeringPages 459–467https://doi.org/10.1109/ASE.2009.24Software model checking is the process of systematically exploring a program's state space to find hard-to-discover errors. Because of the exponential size of the state space, an exhaustive search of the state space is often impossible given the memory ...
- ArticleMay 2007
Research Directions in Requirements Engineering
In this paper, we review current requirements engineering (RE) research and identify future research directions suggested by emerging software needs. First, we overview the state of the art in RE research. The research is considered with respect to ...
- research-articleMay 2006
RE 05: Engineering Successful Products
At the Requirements Engineering conference series, researchers and practitioners exchange experiences, discuss problems, and propose solutions. The theme of RE 05--Engineering Successful Products--reflects the understanding that high-quality ...
- ArticleMarch 1995
Integrating requirements analysis and safety analysis
Summary form only given. In developing software for safety critical systems, it is necessary to carry out both requirements analysis and safety analysis. During requirements analysis, the behavioural and functional requirements of the system's software ...
- doctoral_thesisJanuary 1992
Automated analysis of software requirements
Many software errors are due to the correct implementation of incorrectly specified requirements. For example, software designers may fail to make their assumptions explicit or may state inconsistent or ambiguous requirements. The best review process is ...