Tackling the testing migration problem with SAT-Solvers
Tailored business solutions by workflow technologies
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Teaching Spreadsheets: Curriculum Design Principles
TellTable Spreadsheet Audit: from Technical Possibility to Operating Prototype
Temporal Analysis of Literary and Programming Prose
Test Case Generation using Mutation Operators and Fault Classification
Testing by C++ template metaprograms
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
The analysis of the IFPUG method sensitivity
The Application and Extension of Retrograde Software Analysis
The artifacts of component-based development
The Athena Data Dictionary and Description Language
The Athena Startup Kit
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
The CCD/Transit Instrument (CTI) data-analysis system
The Community Authorization Service: Status and Future
The contribution of IFSI (Istituto di Fisica dello Spazio Interplanetario) to the ISO project