Quantized Feedback Control Software Synthesis from System Level Formal Specifications

QuantUM: Quantitative Safety Analysis of UML Models

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