Reusable Services from the neuGRID Project for Grid-Based Health Applications
Reuse of Specification Patterns with the B Method
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
Sarbanes-Oxley: What About all the Spreadsheets?
SAS - a specification assistance system
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case