A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
A tool stack for implementing Behaviour-Driven Development in Python Language
A topological formal treatment for scenario-based software specification of concurrent real-time systems
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
A transformation approach for collaboration based requirement models
A Transformation--Based Approach for the Design of Parallel/Distributed Scientific Software: the FFT
A Trustability Metric for Code Search based on Developer Karma
A Typical Model Audit Approach: Spreadsheet Audit Methodologies in the City of London
A UI Design Case Study and a Prototype of a Travel Search Engine
A user's view of the SAP - a new software QA tool for Fortran programs
A Validation of the Proposed Component-Based Development Process
A XML Schema Definition based Universal User Interface
About Instruction Sequence Testing
Abstract Machine as a Model of Content Management Information System
Abstract State Machines 1988-1998: Commented ASM Bibliography
ADA and the NASA software environment
Adaptation of Black-Box Software Components
Adaption of space station technology for lunar operations
Adaptive Process Management in Highly Dynamic and Pervasive Scenarios
Addressing Components' Evolvement and Execution Behavior to Measure Component-Based Software Reliability