Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
A web based tool for formal technical asynchronous review
Download
119491.pdf
Date
2002
Author
Yanbaş, Esen
Metadata
Show full item record
Item Usage Stats
154
views
0
downloads
Cite This
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.
Subject Keywords
Formal technical asynchronous review
,
Formal technical review
,
Software process improvement
,
Automated support
URI
https://hdl.handle.net/11511/13225
Collections
Graduate School of Informatics, Thesis
Suggestions
OpenMETU
Core
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
E. Yanbaş, “A web based tool for formal technical asynchronous review,” M.S. - Master of Science, Middle East Technical University, 2002.