Cs-Se
Archimedes, the Free Monte Carlo simulator
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net
Minimal TestCase Generation for Object-Oriented Software with State Charts
Proof Hints for Event-B
Conceptual Level Design of Semi-structured Database System: Graph-semantic Based Approach
Towards Refinement Strategy Planning for Event-B
Black-Box Verification for GUI Applications
Mahotas: Open source software for scriptable computer vision
The Boost.Build System
Revisiting Timed Specification Theories: A Linear-Time Perspective
Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versioning in Ontology
An Approach For Integration Testing In Online Retail Applications
Defect Management Using Depth of Inspection and the Inspection Performance Metric
Data management and analysis with WRF and SFIRE
A Framework for Enhancing Performance and Handling Run-Time Uncertainty in Self-Adaptive Systems
GQM+Strategies: A Comprehensive Methodology for Aligning Business Strategies with Software Measurement
Empirically Driven Design of Software Development Processes for Wireless Internet Services
Sequencing Participatory Action Research and i* Modeling Framework in Capturing Multiple Roles Requirements
Simulation-Based Risk Reduction for Planning Inspections
Systematic Task Allocation Evaluation in Distributed Software Development
Providing Traceability for Neuroimaging Analyses
When Agile Is Not Good Enough: an initial attempt at understanding how to make the right decision
