Towards an architecture for semantic integration of business components

Towards Configuration of applied Web-based information system

Towards declarative diagnosis of constraint programs over finite domains

Towards Electronic Shopping of Composite Product

Towards Evaluating the Quality of a Spreadsheet: The Case of the Analytical Spreadsheet Model

Towards Implementing an Enterprise Groupware-Integrated Human Resources Information System

Towards Improving the Mental Model of Software Developers through Cartographic Visualization

Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics

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