Rapid Application Development Using Software Factories

Rapid Spreadsheet Reshaping with Excelsior: multiple drastic changes to content and layout are easy when you represent enough structure

Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach

Reasoning from a schema and from an analog in software code reuse

Recommended Practices for Spreadsheet Testing

Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification

Refactoring Composite to Visitor and Inverse Transformation in Java

Refinement for Probabilistic Systems with Nondeterminism

Refining interfaces: the case of the B method

Relational Constraint Driven Test Case Synthesis for Web Applications

Reliability and flexibility of the IRAS on-board software

Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)

Required Behavior of Sequence Diagrams: Semantics and Conformance

Requirements and the baseline plan

Requirements Engineering Methods: A Classification Framework and Research Challenges

Requirements for Automated Assessment of Spreadsheet Maintainability

Requirements on reliability models, and their consequences

Responsibility Modeling for the Sociotechnical Risk Analysis of Coalitions of Systems

Reusable Services from the neuGRID Project for Grid-Based Health Applications

Reuse of Specification Patterns with the B Method