AN EFFECTIVE VERIFICATION AND VALIDATION STRATEGY FOR SAFETY-CRITICAL EMBEDDED SYSTEMS PROJECT PLANNINGMEASURES IN CMMI MANAGING S/W DESIGN CHANGES USING C.R. DESIGNER SIMULATION-BASED APPLICATION SOFTWARE DEVELOPMENT IN TIME-TRIGGERED COMMUNICATION SYSTEMS A PARADIGM FOR THE APPLICATION OF CLOUD COMPUTING IN MOBILE INTELLIGENT TUTORING SYSTEMS THE REMOVAL OF NUMERICAL DRIFT FROM SCIENTIFIC MODELS DEVELOPMENT OF AN ARABIC HANDWRITING LEARNING EDUCATIONAL SYSTEM STRUCTURAL VALIDATION OF SOFTWARE PRODUCT LINE VARIANTS: A GRAPH TRANSFORMATIONS BASED APPROACH A TAXONOMY OF PERFORMANCE ASSURANCE METHODOLOGIES AND ITS APPLICATION IN HIGH PERFORMANCE COMPUTER ARCHITECTURES