-
Effective Delegation and Leadership in Software Management
Authors:
Star Dawood Mirkhan,
Skala Kamaran Omer,
Hussein Mohammed Ali,
Mahmood Yashar Hamza,
Tarik Ahmed Rashid,
Poornima Nedunchezhian
Abstract:
Delegation and leadership are critical components of software management, as they play a crucial role in determining the success of the software development process. This study examined the relationship between delegation and leadership in software management and the impact of these factors on project outcomes. Results showed that effective delegation and transformational leadership styles can imp…
▽ More
Delegation and leadership are critical components of software management, as they play a crucial role in determining the success of the software development process. This study examined the relationship between delegation and leadership in software management and the impact of these factors on project outcomes. Results showed that effective delegation and transformational leadership styles can improve workflow, enhance team motivation and productivity, and ultimately lead to successful software development projects. The findings of this study have important implications for software management practices, as they suggest that organizations and software managers should prioritize the development of effective delegation and leadership practices to ensure the success of their software development initiatives. Further research is needed to explore the complex interplay between delegation and leadership in software management and to identify best practices for improving these processes.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
A Comprehensive Study on Automated Testing with the Software Lifecycle
Authors:
Hussein Mohammed Ali,
Mahmood Yashar Hamza,
Tarik Ahmed Rashid
Abstract:
The software development lifecycle depends heavily on the testing process, which is an essential part of finding issues and reviewing the quality of software. Software testing can be done in two ways: manually and automatically. With an emphasis on its primary function within the software lifecycle, the relevance of testing in general, and the advantages that come with it, this article aims to giv…
▽ More
The software development lifecycle depends heavily on the testing process, which is an essential part of finding issues and reviewing the quality of software. Software testing can be done in two ways: manually and automatically. With an emphasis on its primary function within the software lifecycle, the relevance of testing in general, and the advantages that come with it, this article aims to give a thorough review of automated testing. Finding time- and cost-effective methods for software testing. The research examines how automated testing makes it easier to evaluate software quality, how it saves time as compared to manual testing, and how it differs from each of them in terms of benefits and drawbacks. The process of testing software applications is simplified, customized to certain testing situations, and can be successfully carried out by using automated testing tools.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Implicit Progressive-Iterative Approximation for Curve and Surface Reconstruction
Authors:
Yusuf Fatihu Hamza,
Hongwei Lin,
Zihao Li
Abstract:
Implicit curve and surface reconstruction attracts the attention of many researchers and gains a wide range of applications, due to its ability to describe objects with complicated geometry and topology. However, extra zero-level sets or spurious sheets arise in the reconstruction process makes the reconstruction result challenging to be interpreted and damage the final result. In this paper, we p…
▽ More
Implicit curve and surface reconstruction attracts the attention of many researchers and gains a wide range of applications, due to its ability to describe objects with complicated geometry and topology. However, extra zero-level sets or spurious sheets arise in the reconstruction process makes the reconstruction result challenging to be interpreted and damage the final result. In this paper, we proposed an implicit curve and surface reconstruction method based on the progressive-iterative approximation method, named implicit progressive-iterative approximation (I-PIA). The proposed method elegantly eliminates the spurious sheets naturally without requiring any explicit minimization procedure, thus reducing the computational cost greatly and providing high-quality reconstruction results. Numerical examples are provided to demonstrate the efficiency and effectiveness of the proposed method.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
A Recent Survey on the Applications of Genetic Programming in Image Processing
Authors:
Asifullah Khan,
Aqsa Saeed Qureshi,
Noorul Wahab,
Mutawara Hussain,
Muhammad Yousaf Hamza
Abstract:
Genetic Programming (GP) has been primarily used to tackle optimization, classification, and feature selection related tasks. The widespread use of GP is due to its flexible and comprehensible tree-type structure. Similarly, research is also gaining momentum in the field of Image Processing, because of its promising results over vast areas of applications ranging from medical Image Processing to m…
▽ More
Genetic Programming (GP) has been primarily used to tackle optimization, classification, and feature selection related tasks. The widespread use of GP is due to its flexible and comprehensible tree-type structure. Similarly, research is also gaining momentum in the field of Image Processing, because of its promising results over vast areas of applications ranging from medical Image Processing to multispectral imaging. Image Processing is mainly involved in applications such as computer vision, pattern recognition, image compression, storage, and medical diagnostics. This universal nature of images and their associated algorithm, i.e., complexities, gave an impetus to the exploration of GP. GP has thus been used in different ways for Image Processing since its inception. Many interesting GP techniques have been developed and employed in the field of Image Processing, and consequently, we aim to provide the research community an extensive view of these techniques. This survey thus presents the diverse applications of GP in Image Processing and provides useful resources for further research. Also, the comparison of different parameters used in different applications of Image Processing is summarized in tabular form. Moreover, analysis of the different parameters used in Image Processing related tasks is carried-out to save the time needed in the future for evaluating the parameters of GP. As more advancement is made in GP methodologies, its success in solving complex tasks, not only in Image Processing but also in other fields, may increase. Additionally, guidelines are provided for applying GP in Image Processing related tasks, the pros and cons of GP techniques are discussed, and some future directions are also set.
△ Less
Submitted 25 June, 2020; v1 submitted 18 January, 2019;
originally announced January 2019.
-
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
Authors:
Chih-Hong Cheng,
Frederik Diehl,
Yassine Hamza,
Gereon Hinz,
Georg Nührenberg,
Markus Rickert,
Harald Ruess,
Michael Troung-Le
Abstract:
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingredients in existing certification standards. We apply the concept in a concrete case study in designing a high-way ANN-based motion predictor to guarantee safety properties such as impossibility for the ego vehicle to sugg…
▽ More
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingredients in existing certification standards. We apply the concept in a concrete case study in designing a high-way ANN-based motion predictor to guarantee safety properties such as impossibility for the ego vehicle to suggest moving to the right lane if there exists another vehicle on its right.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
Automated Analysis of Multi-View Software Architectures
Authors:
Chih-Hong Cheng,
Yassine Hamza,
Harald Ruess
Abstract:
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and verification techniques of multi-view architecture in very early phases of the software development lifecycle. The main contribution of this paper therefore is the construction of a single formal model (in Promela) for…
▽ More
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and verification techniques of multi-view architecture in very early phases of the software development lifecycle. The main contribution of this paper therefore is the construction of a single formal model (in Promela) for certain stylized, and widely used, multi-view architectures by suitably interpreting and fusing sub-models from different UML diagrams. Possible counter-examples produced by model checking are fed back as test scenarios for debugging the multi-view architectural model. We have implemented this algorithm as a plug-in for the Enterprise Architect development tool, and successfully used SPIN model checking for debugging some industrial architectural multi-view models by identifying a number of undesirable corner cases.
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
Structural Synthesis for GXW Specifications
Authors:
Chih-Hong Cheng,
Yassine Hamza,
Harald Ruess
Abstract:
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a weak-until operator we are able to specify a number of diverse programmable logic control (PLC) problems, which we have compiled from industrial training sets. For GXW controller specifications, we develop a novel approa…
▽ More
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a weak-until operator we are able to specify a number of diverse programmable logic control (PLC) problems, which we have compiled from industrial training sets. For GXW controller specifications, we develop a novel approach for synthesizing a set of synchronously communicating actor-based controllers. This synthesis algorithm proceeds by means of recursing over the structure of GXW specifications, and generates a set of dedicated and synchronously communicating sub-controllers according to the formula structure. In a subsequent step, 2QBF constraint solving identifies and tries to resolve potential conflicts between individual GXW specifications. This structural approach to GXW synthesis supports traceability between requirements and the generated control code as mandated by certification regimes for safety-critical software. Synthesis for GXW specifications is in PSPACE compared to 2EXPTIME-completeness of full-fledged LTL synthesis. Indeed our experimental results suggest that GXW synthesis scales well to industrial-sized control synthesis problems with 20 input and output ports and beyond.
△ Less
Submitted 6 July, 2016; v1 submitted 4 May, 2016;
originally announced May 2016.