FORMT: Form-based Mutation Testing of Logical Specifications

Four Conceptions of Instruction Sequence Faults

Four Layered Approach to Non-Functional Requirements Analysis

Framework for Clique-based Fusion of Graph Streams in Multi-function System Testing

Framework for Visualizing Model-Driven Software Evolution and its Application

From General Systems to Soft Systems to Soft Computing: Applications for Large and Complex Real World Systems

From Good Practices to Effective Policies for Preventing Errors in Spreadsheets

From Method Fragments to Method Services

From Requirements to code: an Architecture-centric Approach for producing Quality Systems

GANGA: a user-Grid interface for Atlas and LHCb

General Methodology for developing UML models from UI

Generalized Systematic Debugging for Attribute Grammars

Generating a Performance Stochastic Model from UML Specifications

Generating Program Invariants via Interpolation

GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel

Geodetic GPS interferometer design work at the Space Research Centre of the Polish Academy of Science

GMF: A Model Migration Case for the Transformation Tool Contest

Goal-oriented Data Warehouse Quality Measurement

GPRS Based Intranet Remote Administration GIRA

GPS standardization for the needs of time transfer