Articles
- Trustworthy Assembly of Components using the B Refinement
- Computation Independent Representation of the Problem Domain in MDA
- Integrating Human Judgment and Data Analysis to Identify Factors Influencing Software Development Productivity
- A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams