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