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 …
research directions suggested by emerging software needs. First, we overview the state of …
Requirements engineering in the year 00: A research perspective
A Van Lamsweerde - Proceedings of the 22nd international conference …, 2000 - dl.acm.org
Requirements engineering (RE) is concerned with the identification of the goals to be
achieved by the envisioned system, the operationalization of such goals into services and …
achieved by the envisioned system, the operationalization of such goals into services and …
Formal specification: a roadmap
A Lamsweerde - Proceedings of the Conference on the Future of …, 2000 - dl.acm.org
Formal specifications have been a focus of software engineering research for many years
and have been applied in a wide variety of settings. Their industrial use is still limited but has …
and have been applied in a wide variety of settings. Their industrial use is still limited but has …
Testing with model checkers: a survey
About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …
cases we take a look at the results in this field of research. Model checkers are formal …
Requirements interaction management
WN Robinson, SD Pawlowski, V Volkov - ACM Computing Surveys …, 2003 - dl.acm.org
Requirements interaction management (RIM) is the set of activities directed toward the
discovery, management, and disposition of critical relationships among sets of requirements …
discovery, management, and disposition of critical relationships among sets of requirements …
Test-suite reduction for model based tests: Effects on test quality and implications for testing
MPE Heimdahl, D George - Proceedings. 19th International …, 2004 - ieeexplore.ieee.org
Model checking techniques can be successfully employed as a test case generation
technique to generate tests from formal models. The number of tests cases produced …
technique to generate tests from formal models. The number of tests cases produced …
Current and future 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 …
research directions suggested by emerging software needs. First, we overview the state of …
Attribute grammar-based language extensions for Java
E Van Wyk, L Krishnan, D Bodin… - European Conference on …, 2007 - Springer
This paper describes the ableJ extensible language framework, a tool that allows one to
create new domain-adapted languages by importing domain-specific language extensions …
create new domain-adapted languages by importing domain-specific language extensions …
Auto-generating test sequences using model checkers: A case study
Use of model-checking approaches for test generation from requirement models have been
proposed by several researchers. These approaches leverage the witness (or counter …
proposed by several researchers. These approaches leverage the witness (or counter …
Proving the shalls: Early validation of requirements through formal methods
SP Miller, AC Tribble, MW Whalen… - International Journal on …, 2006 - Springer
Incomplete, inaccurate, ambiguous, and vola-tile requirements have plagued the software
industry since its inception. The convergence of model-based development and formal …
industry since its inception. The convergence of model-based development and formal …