Towards Increase in Quality by Preprocessed Source Code and Measurement Analysis of Software Applications
Towards maintainer script modernization in FOSS distributions
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
Towards physical laws for software architecture
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Towards the integration of formal specification in the Áncora methodology
Tracing and Explaining Execution of CLP(FD) Programs
Tracing Execution of Software for Design Coverage
Tracing Properties of UML and OCL Models with Maude
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
Transforming Critical Spreadsheets into Web Applications at Zurich Financial
Type-Safe Feature-Oriented Product Lines
UCMExporter: Supporting Scenario Transformations from Use Case Maps
UML 2.0 - Overview and Perspectives in SoC Design
Uncovering the epistemological and ontological assumptions of software designers
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
Understanding Code Patterns - Analysis, Interpretation & Measurement
Understanding need of "Uncertainty Analysis" in the system Design process
Unified Modeling of Complex Real-Time Control Systems