A Case Study in Formalizing UML Software Models of Safety Critical Systems
DOI: 10.5176/978-981-08-7466-7_se-48
Authors: Sophine Clachar and Emanuel S. Grant
A Methodology of Analysing External Input for Improving Flexibility of Static Execution Time Analysis
DOI: 10.5176/978-981-08-7466-7_se-44
Authors: Yun-Kwan Kim, Won Shin, Tae-Wan Kim and Chun-Hyon Chang
A Multi-Process Quality Model
DOI: 10.5176/2251-2217_SEA29
Authors: Aedah Abd Rahman, Shamsul Sahibuddin and Suhaimi Ibrahim
A refactoring model for developing efficient Refactoring Tools
DOI: 10.5176/978-981-08-7466-7_se-03
Authors: Mahua Banerjee, Dhanbad, Chiranjeev Kumar, Sushil Ranjan Roy and Ranchi
A Theoretical Evaluation of Automated Aspect-Oriented Program Testing Approaches
DOI: 10.5176/978-981-08-7466-7_se-09
Authors: Reza Meimandi Parizi and Abdul Azim Abdul Ghani
A transformation process of a business oriented meta-model to a service oriented meta-model
DOI: 10.5176/978-981-08-7466-7_se-53
Authors: Bengoud Kenza, Benmoussa Rachid, Saib Sara
Algorithms for testing cryptographic S-BOXes Dynamic criteria
DOI: 10.5176/2251-2217_SEA12.37
Authors: Nikolai Stoianov, Emil Altimirski
An Accelerating 3D Image Reconstruction System Based on the Level-of-Detail Algorithm
DOI: 10.5176/2251-2217_SEA13.14
Authors: Tsung-Yu Lee, Ren-Guey Lee, Sheng-Chung Tien, Robert Lin and Wei-Hua Su
Updating…