A web based tool for formal technical asynchronous review

Download
2002
Yanbaş, Esen
There is no doubt that in today's world, where the popularity of software grows and the products become obsolete in a short time, only those software organizations that consistently produce high quality can succeed. This situation has revealed the contribution of effective usage of verification techniques to organizational success. If the existing verification techniques are redefined to meet today's work environment realities and/or sophisticated automated tools are introduced to support their application, the effectiveness of these techniques can be increased to a great extent. This study focuses on the development and implementation of an automated tool that will support the formal technical asynchronous review. We also discuss the need for review techniques with their costs and benefits, identify requirements for automation, compare available tools with respect to the requirements and present initial experimental results of using our tool.

Suggestions

An Automated tool for requirements verification
Tekin, Yaşar; Demirörs, Onur; Department of Information Systems (2004)
In today̕s world, only those software organizations that consistently produce high quality products can succeed. This situation enforces the effective usage of defect prevention and detection techniques. One of the most effective defect detection techniques used in software development life cycle is verification of software requirements applied at the end of the requirements engineering phase. If the existing verification techniques can be automated to meet today̕s work environment needs, the effectiveness ...
A Software Development Process Model for Cloud by Combining Traditional Approaches
Hacaloglu, Tuna; Eren, Pekin Erhan; Mishra, Deepti; Mishra, Alok (2015-10-30)
Even though cloud computing is a technological paradigm that has been adopted more and more in various domains, there are few studies investigating the software development lifecycle in cloud computing applications and there is still not a comprehensive software development process model developed for cloud computing yet. Due to the nature of cloud computing that is completely different from the traditional software development, there is a need of suggesting process models to perform the software developmen...
A secure model for efficient live migration of containers
Mavus, Zeynep; Angın, Pelin (2019-09-01)
Cloud services have become increasingly widespread in the past decade due to their ability to reduce the complexity and the cost of managing computers and networks. Cloud applications are run in virtualized environments such as virtual machines and containers to be able to allocate resources in an inexpensive manner. Both of these approaches require effective resource utilization, for which an important enabling technology is live migration, which involves moving a service from one host to another with the ...
A method for product defectiveness prediction by using process enactment data in a small software organization
Sivrioğlu, Damla; Demirörs, Onur; Tarhan, Ayça; Department of Information Systems (2012)
As a part of the quality management, product defectiveness prediction is vital for small software organizations as for instutional ones. Although for defect prediction there have been conducted a lot of studies, process enactment data cannot be used because of the difficulty of collection. Additionally, there is no proposed approach known in general for the analysis of process enactment data in software engineering. In this study, we developed a method to show the applicability of process enactment data for...
A unification model and tool support for software functional size measurement methods
Efe, Pınar; Demirörs, Onur; Department of Information Systems (2006)
Software size estimation/measurement has been the objective of a lot of research in the software engineering community due to the need of reliable size estimates. FSM Methods have become widely used in software project management to measure the functional size of software since its first publication, late 1970s. Although all FSM methods measure the functional size by quantifying the FURs, each method defined its own measurement process and metric. Therefore, a piece of software has several functional sizes ...
Citation Formats
E. Yanbaş, “A web based tool for formal technical asynchronous review,” M.S. - Master of Science, Middle East Technical University, 2002.