Author of the publication

Requirement progression in problem frames: deriving specifications from requirements

, , and . Requirements Engineering, 12 (2): 77--102 (April 2007)
DOI: http://dx.doi.org/10.1007/s00766-007-0048-y

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refactoring Alloy Specifications, and . Electronic Notes in Theoretical Computer Science, (May 2004)A Refinement Theory for Alloy. Universidade Federal de Pernambuco, (July 2007)Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices., , , , , , , and . Empir. Softw. Eng., 26 (5): 92 (2021)Automatically Checking Feature Model Refactorings., , and . J. Univers. Comput. Sci., 17 (5): 684-711 (2011)Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?, , , , and . IEEE Trans. Software Eng., 49 (3): 1152-1170 (March 2023)An empirical study on configuration-related issues: investigating undeclared and unused identifiers., , , , and . GPCE, page 35-44. ACM, (2015)Evaluating the Code Comprehension of Novices with Eye Tracking., and . SBQS, page 332-341. ACM, (2023)Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)., and . Sci. Comput. Program., (2015)Enhancing conformance checking for contract-based programs., , and . SPLASH (Companion Volume), page 57-58. ACM, (2014)Java reflection API: revealing the dark side of the mirror., , , , and . ESEC/SIGSOFT FSE, page 636-646. ACM, (2019)