Software Engineering
| MaSO: A Tool for Aiding the Management of Schedule Overrun |
| A Methodology for Building Safer Software Based Critical Computing Systems |
| A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems Represented Through Black Box Structures |
| Handling Imprecision in Inputs Using Fuzzy Logic to Predict Effort in Software Development |
| Capturing Interactions in Architectural Patterns |
| An Agent-Oriented Approach to Requirements Engineering |
