Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
Review and Analysis of The Issues of Unified Modeling Language for Visualizing, Specifying, Constructing and Documenting the Artifacts of a Software-Intensive System
Revisiting the Core Ontology and Problem in Requirements Engineering
Revisiting the Panko-Halverson Taxonomy of Spreadsheet Errors
Rigorous design of tracers: an experiment for constraint logic programming
Risk Assessment For Spreadsheet Developments: Choosing Which Models to Audit
Risk Assessment Techniques and Survey Method for COTS Components
ROOT Status and Future Developments
Rule-based Test Generation with Mind Maps
Runtime Adaptability driven by Negotiable Quality Requirements