Formalizing typical crosscutting concerns
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