ijsea - Tumblr blog

ijsea · 5 years

Text

Current Issue

July 2024, Volume 15, Number 4

User Interface and Navigation System for an Electric Vehicle for the Disabled

Rodrigo Oliver Delgado Arcega, Julio Cesar Robles, Fabio Abel Gómez Becerra. Ma. de Jesús Arjona Ulloa, Tecnológico Nacional de México, Mexico

Economic Model to Determine the Lowest Price Limit of Fixed Price Contracts in Software Engineering

David KuhlenI, Andreas Speck2 and Dennis Pfisterer3, IU International University of Applied Sciences, Germany 2Christian-Albrechts-Universitat zu Kiel,Germany, 3Duale Hochschule Baden-Wurttemberg, Germany

Evaluating the Impact of Environmental Factors on Corrosion Rates in Offshore Oil and Gas Pipelines: Insights from the Levantine Basin

Rawanne Farsakouri, Beirut Arab University, Lebanon

May 2024, Volume 15, Number 3

Predictive Software Engineering: Empowering Business Success with Tailored Software Solutions

Boris Kontsevoi, Intetics Inc., USA

Psychological Antecedents to Emergence of Team Autonomy in Agile Scrum Teams

Ravikiran Kalluri, Old Dominion University, USA

March 2024, Volume 15, Number 2

A Suite of Metrics for UML Behavioral Diagrams based on Complexity Perspectives

Ann Wambui King’ori, Geoffrey Muchiri Muketha and John Gichuki Ndia, Murang’a University of Technology, Kenya

January 2024, Volume 15, Number 1

An Intelligent Apitesting: Unleashing the Power of AI Rohit Khankhoje, Independent Researcher Avon, USA

Robotic Process Automation (RPA) Towards Automation Testing Rohit Khankhoje, Independent Researcher Avon, USA

Agile, User-Centered Design and Quality in Software Processes for Mobile Application Development Teaching

Manuel Ignacio Castillo López, Ana Libia Eslava Cervantes, Gustavo de la Cruz Martínez and Jorge Luis Ortega Arjona, Universidad Nacional Autónoma de México, Mexico

Analyzing Aircraft Landing Decision Making Through Fuzzy Logic Approach: A Comparative StudyFull Text Sarah A. Ibrahim, Khirallah s. Elfarjani, Mrwan BenIdris, University of Benghazi, Libya

Redusharptor: A Tool to Simplify Developer-Written C# Unit Tests

David Weber and Arpit Christi, Weber State University, USA

July 2023, Volume 14, Number 4

Transforming Software Requirements into Test Cases via Model Transformation

Nader Kesserwan1, Jameela Al-Jaroodi1, Nader Mohamed2 and Imad Jawhar3, 1Robert Morris University, USA,2Pennsylvania Western University, USA, 3AlMaaref University, Lebanon

May 2023, Volume 14, Number 3

Agile Software Architecture in Global Software Development Environment: Systematic Literature Mapping

Thiago Gomes, and Marcelo Marinho, Federal Rural University of Pernambuco, Brazil

A Metrics-Based Model for Estimating the Maintenance Effort of Python Software

Catherine Wambui Mukunga, John Gichuki Ndia and Geoffrey Mariga Wambugu, Murang’a University of Technology, Murang’a Kenya

The Effect of Time Pressure During COVID-19 on Software Quality

Asmaa Hassan1,2 and Omer Alrwais1, 1King Saud University, Saudi Arabia, 2King Khalid University, Saudi Arabia

March 2023, Volume 14, Number 2

Digital Community Currency Usability From the User’s Eyes: Cases of Sarafu and Maendeleo Trading Credit (MTCR.)

Alago Sabina, Solomon Ogara, Michael Oloko and Richard Kiaka, Jaramogi Oginga Odinga University of Science and Technology, Kenya

January 2023, Volume 14, Number 1

Education, Migration and Sustainability-Human Socioeconomic Development and Changing Technological Trends

Pawankumar Sharma University of the Cumberlands, KY USA

A New Complexity Metric for UML Sequence Diagrams

Nevy Kimani Maina, Geoffrey Muchiri Muketha and Geoffrey Mariga Wambugu, Murang'a University of Technology, Kenya

Adventure and Quiz Learning Game Based on a Virtual Tour of a Video Game Museum

Mark Muhhin, Daniel Nael, Raimond-Hendrik Tunnel, Ulrich Norbisrath, University of Tartu, Tartu, Estonia

November 2022, Volume 13, Number 6

From the Art of Software Testing to Test-as-a-Service in Cloud Computing

Janete Amaral, Alberto S. Lima, José Neuman de Souza, Lincoln S. Rocha, MDCC, Universidade Federal do Ceará, Fortaleza/CE – Brasil

Impact of Artificial Intelligence on the Automation of Digital Health System

Mehmood Ali Mohammed1, Murtuza Ali Mohammed2 and Vazeer Ali Mohammed2, 1University of the Cumberlands, USA, 2Lewis University, USA

An Improved Repository Structure to Identify, Select and Integrate Components in Component-based Development

Muhammad Khamis Dauda, Reda M Salama and Rizwan Qureshi, King Abdulaziz University, Saudi Arabia

September 2022, Volume 13, Number 5

Effect of Sociability and Curiosity of Senior Developers in Building Agile Scrum Team Competency

Ravi Kalluri, Old Dominion University, USA

Threats and Opportunities with AI-based Cyber Security Intrusion Detection: A Review

Bibhu Dash, Meraj Farheen Ansari, Pawankumar Sharma and Azad Ali, University of the Cumberlands, USA

DOOML: A New Database & Object-Oriented Modeling Language for Database-Driven Web Application Design and Development

Thijs Otter, Inholland University of Applied Sciences, Netherlands

July 2022, Volume 13, Number 4

Federated Learning for Privacy-Preserving: A Review of PII Data Analysis in Fintech

Bibhu Dash, Pawankumar Sharma and Azad Ali, University of the Cumberlands, USA

Smart ULT Management for Ultra-Large-Scale Software

Ning Luo and Linlin Zhang, Intel Asia-Pacific Research & Development Ltd, China

May 2022, Volume 13, Number 3

Software Build Automation Tools a Comparative Study between Maven, Gradle, Bazel and Ant

Mridula Prakash, Department of Chief Technology Officer, L&T Technology Services, India

Inherent Quality Metrics for Continuous Software Quality Enhancement

Ning Luo and Linlin Zhang, Intel Asia-Pacific Research & Development Ltd, China

A Systematic Literature Review on Security Indicators for Open-Source Enterprise Resource Planning Software

Jane Wanjiru Njuki, Geoffrey Muchiri Muketha and John Gichuki Ndia, Murang’a University of Technology, Kenya

Devops Adoption in Information Systems Projects; A Systematic Literature Review

J. A. V. M. K. Jayakody1, 2 and W. M. J. I. Wijayanayake2, 1Faculty of Applied Sciences Uva Wellassa University, Sri Lanka,

2University of Kelaniya, Sri Lanka

Complexity Metrics for Statechart Diagrams

Ann Wambui King’ori1, 2, Geoffrey Muchiri Muketha1 and Elyjoy Muthoni Micheni3, 1Murang’a University, Kenya,

2Nkabune Technical Training Institute, Kenya, 3Technical University of Kenya

March 2022, Volume 13, Number 2

Determining the Risky Software Projects using Artificial Neural Networks

Etkin Sakucoglu1, Laman Valizada1, Ayse Buharali Olcaysoy2 and Oya Kalipsiz1, 1Yildiz Technical University, Turkey, 2Strategy and Transformation Department, LC Waikiki, Turkey

Enhanced Software Design for Boosted Continuous Software Delivery

Ning Luo and Yue Xiong, Intel Asia-Pacific Research & Development Ltd, China

January 2022, Volume 13, Number 1

Hybrid Practices in Global Software Development: A Systematic Literature Review

Rafael Camara, Iury Monte, Annelyelthon Alves and Marcelo Marinho, Federal Rural University of Pernambuco, Brazil

Study on Technical Focuses and Sampling Coverage Strategy of Airborne Software Reviews Jinghua Sun1, Samuel Edwards2, Nic Connelly3, Andrew Bridge4 and Lei Zhang1, 1COMAC Shanghai Aircraft Design and Research Institute, China, 2Defence Aviation Safety Authority, Australia, 3RMIT University, Australia, 4European Union Aviation Safety Agency, Germany

November 2021, Volume 12, Number 6

Embedding Performance Testing in Agile Software Model

Suresh Kannan Duraisamy, Bryce Bass and Sai Mukkavilli, Georgia Southwestern State University, USA

September 2021, Volume 12, Number 5

Product Quality Evaluation Method (PQEM): To Understand the Evolution of Quality Through the Iterations of a Software Product

Mariana Falco and Gabriela Robiolo, Universidad Austral, Argentina

A Framework for Aspectual Requirements Validation: an Experimental Study Abdelsalam M. Maatuk1, Sohil F. Alshareef1 and Tawfig M. Abdelaziz2, 1University of Benghazi, Libya, 2Libyan International Medial University, Libya

Properties of a Feature in Code-Assets: An Exploratory Study Armaya’u Zango Umar1 and Jaejoon Lee2, 1Al-Qalam University Katsina, Nigeria, 2University of East Anglia, UK

July 2021, Volume 12, Number 4

Enhancing Delphi Method with Algorithmic Estimates for Software Effort Estimation: An Experimental Study

Tharwon Arnuphaptrairong, Chulalongkorn University, Thailand

May 2021, Volume 12, Number 2/3

A Holistic Self-Adaptive Software Model Shatha Alfar and Said Ghoul, Research Laboratory on Bio-inspired Software Engineering Philadelphia University, Jordan

Embedding Quality into Software Product Line Variability Artifacts

Mworia Daniel, Nderu Lawrence and Kimwele Michael, Jommo Kenyatta University of Agriculture and Technology, Kenya

Modeling and Verification of ERP Functional Requirements based on Colored Petri Net Nafisa Osman and Abd-Elkader Sahraoui, Sudan University of science and technology, Sudan & LAAS-CNRS, France Université de Toulouse, France

Predefined Project Scope Changes and its Causes for Project Success Theyab Althiyabi and Rizwan Qureshi, King Abdul-Aziz University, Saudi Arabia

January 2021, Volume 12, Number 1

Generating Software Product Line Model by Resolving Code Smells in the Products’ Source Code Sami Ouali, University of Technology and Applied Sciences, Oman

E-Loox, A Hybrid Learning Management System Bilal Gonen and Badri Jimale, University of Cincinnati, USA

November 2020, Volume 11, Number 6

Stated Preference Data & Alogit

Mina Hassanvand, University of Calgary, Canada

Learning-based Orchestrator for Intelligent Software-defined Networking Controllers

Imene Elloumi Zitouna, University of Tunis El Manar, Tunisia

A Data Extraction Algorithm from Open Source Software Project Repositories for Building Duration Estimation Models: Case Study of Github

Donatien K. Moulla1, 2, Alain Abran3 and Kolyang4, 1Faculty of Mines and Petroleum Industries, University of Maroua, Cameroon, 2LaRI Lab, University of Maroua, Cameroon, 3École de Technologie Supérieure, Canada, 4The Higher Teachers’ Training College, University of Maroua, Cameroon

September 2020, Volume 11, Number 5

Secure Descartes: A Security Extension to Descartes Specification Language

Venkata N Inukollu1 and Joseph E Urban2, 1Purdue University, USA, 2Arizona State University, USA

Iterative and Incremental Development Analysis Study of Vocational Career Information Systems

Isyaku Maigari Ibrahim, Ogwueleka Francisca Nonyelum and Isah Rambo Saidu, Nigerian Defense Academy, Nigeria

MASRML - A Domain-specific Modeling Language for Multi-agent Systems Requirements

Gilleanes Thorwald Araujo Guedes1, Iderli Pereira de Souza Filho1, Lukas Filipe Gaedicke1, Giovane D’Ávila Mendonça1, Rosa Maria Vicari2 and Carlos Brusius2, 1Pampa Federal University, Brazil, 2Federal University of Rio Grande do Sul, Brazil

July 2020, Volume 11, Number 4

An Ad-hoc Social Network Generation Approach

Maurice Tchoupé Tchendji1,2, Martin Xavier Tchembé2 and Armelle Linda Maténé Kakeu2, 1LIRIMA - FUCHSIA team, 2University of Dschang, Cameroon

How do Agile Software Startups deal with uncertainties by Covid-19 pandemic?

Rafael da Camara1,2, Marcelo Marinho1, Suzana Sampaio1 and Saulo Cadete2, 1Federal Rural University of Pernambuco, Brazil, 2Di2win, Brazil

May 2020, Volume 11, Number 3

Programmer Productivity Enhancement Through Controlled Natural Language Input

Howard Dittmer and Xiaoping Jia,School of Computing, College of Computing and Digital Media, DePaul University, Chicago, Illinois, U.S.A.

Towards Auditability Requirements Specification Using An Agent-Based Approach

Denis J. S. de Albuquerque1 , Vanessa Tavares Nunes1 , Claudia Cappelli2 and Célia Ghedini Ralha1 ,1Department of Computer Science, University of Brasilia, Brazil 2 Informatics Graduate Program, Federal University of Rio de Janeiro, Brazil

How (Un)Happiness Impacts On Software Engineers In Agile Teams?

Luís Felipe Amorim, Marcelo Marinho and Suzana Sampaio, Department of Computer Science (DC), Federal Rural University of Pernambuco (UFRPE),Recife, Brazil

The Proposed Implementation Of Rfid Based Attendance System

Rizwan Qureshi, Department of Information Technology, Faculty of Computing and Information Technology, King Abdul-Aziz University, Jeddah 80213, Saudi Arabia

Ensemble Regression Models For Software Development Effort Estimation: A Comparative Study

Halcyon D. P. Carvalho, Marília N. C. A. Lima, Wylliams B. Santos and Roberta A. de A.Fagunde, Department of Computer Engineering, University of Pernambuco, Brazil

Factors That Affect The Requirements Adherence To Business In Agile Projects: An Industrial Cross-Case Analysis

Helena Bastos1 , Alexandre Vasconcelos1 , Wylliams Santos2 and Juliana Dantas3 ,1Universidade Federal de Pernambuco, Recife, Brazil, 2Universidade de Pernambuco, Recife, Brazil, 3Instituto Federal de Educação Ciência e Tecnologia da Paraíba, Brazil

It Project Showstopper Framework: The View Of Practitioners

Godfred Yaw Koi-Akrofi, Department of IT Studies, University of Professional Studies, Accra

March 2020, Volume 11, Number 2

Essential Activities For Secure Software Development

Mamdouh Alenezi1 and Sadiq Almuairfi2 1College of Computer and Information Science, Prince Sultan University, Riyadh, Saudi Arabia 2Information Technology Centre, Prince Sultan University, Riyadh, Saudi Arabia

January 2020, Volume 11, Number 1

Proposing Automated Regression Suite Using Open Source Tools for A Health Care Solution

Anjali Rawat and Shahid Ali, AGI Institute, New Zealand

Quality Assessment Model of the Adaptive Guidance

Hamid Khemissa1 and Mourad Oussalah2, 1USTHB: University of Science and Technology Houari Boumediene, Algeria and 2Nantes University, France

An Application of Physics Experiments of High School by using Augmented Reality

Hussain Mohammed Abu-Dalbouh, Samah Mohammed AlSulaim, Shaden Abdulaziz AlDera, Shahd Ebrahim Alqaan, Leen Muteb Alharbi and Maha Abdullah AlKeraida, Qassim University, Kingdom of Saudi Arabia

On the Relationship between Software Complexity and Security

Mamdouh Alenezi and Mohammad Zarour, Prince Sultan University, Saudi Arabia

Structural Complexity Attribute Classification Framework (SCACF) for Sassy Cascading Style Sheets

John Gichuki Ndia1, Geoffrey Muchiri Muketha1 and Kelvin Kabeti Omieno2, 1Murang’a University of Technology, Kenya and 2Kaimosi Friends University College, Kenya

November 2019, Volume 10, Number 6

An Analysis of Software Requirements Specification Characteristics In Regulated Environments

Johnny Marques and Sarasuaty Yelisetty, Aeronautics Institute of Technology, Brazil

Towards Cross-browser Incompatibilities Detection: Asystematic Literature Review

Willian Massami Watanabe, Fagner Christian Paes and Daiany Silva, Universidade Tecnologica Federal Do Parana, Brazil

September 2019, Volume 10, Number 5

A Grounded Theory of the Requirements Engineering Process

Layla Alfawzan1 and Alphonso Bellamy2, 1,2Eastern Michigan University, USA

Understanding the Characteristics, Benefits and Challenges of Agile it Project Management: A Literature Based Perspective Godfred Yaw Koi-Akrofi1, Joyce Koi-Akrofi2 and Henry Akwetey Matey1, 1University of Professional Studies, Ghana and 2PMO Department, Vodafone, Ghana

Data Virtualization for Decision Making in Big Data Manoj Muniswamaiah, Tilak Agerwala and Charles Tappert, Pace University, USA

I.T. Project Success: Practical Frameworks Based on Key Project Control Variables Godfred Yaw Koi-Akrofi, Eleanor Afful and Henry Akwetey Matey, University of Professional Studies, Ghana

Best Practices for Improving User Interface Design Pradip Peter Dey, Bhaskar Raj Sinha, Mohammad Amin, Hassan Badkoobehi, Department of Engineering and Computing National University, USA

July 2019, Volume 10, Number 4

Analysis of Gamification Elements to Explore Misinformation Sharing Based on U&G Theory: A Software Engineering Perspective

Malik Malki and Amin Shaqrah, College of Computer Science & Engineering in Yanbu- Taibah University, Saudi Arabia

Introducing Refined Agile Model (RAM) in the Context of Bangladesh'S Software Development Environment Concentrating on the Improvement of Requirement Engineering Process

Nirjhor Anjum1 and Anwarul Kabir2, 1REVE Systems, Bangladesh and 2American International University, Bangladesh

A Literature Survey of Cognitive Complexity Metrics for Statechart Diagrams Ann Wambui King’ori1, 2, Geoffrey Muchiri Muketha1 and Elyjoy Muthoni Micheni3, 1Murang' a University of Technology, Kenya, 2Nkabune Technical Training Institute, Kenya and 3The Technical University of Kenya, Kenya

May 2019, Volume 10, Number 3

Broke-Implement Agile Method of Mobile App Development

Leena Bhatia1 and Bindu Jain2, 1S.S. Jain Subodh P.G. College, India and 2University of Rajasthan, India

Software Requirement Change Effort Estimation Model Prototype Tool for Software Development Phase Jalal Shah1, Nazri Kama2, Nur Azaliah A Bakar2, Zuhaibuddin Bhutto1 and Sohrab Khan1, 1University of Engineering & Technology Khuzdar, Pakistan and 2Universiti Teknologi Malaysia, Malaysia

A Survey of Cascading Style Sheets Complexity Metrics John Gichuki Ndia1,2, Geoffrey Muchiri Muketha2 and Kelvin Kabeti Omieno3, 1Masinde Muliro University of Science and Technology, Kenya, 2Murang’a University of Technology, Kenya and 3Kaimosi Friends University College, Kenya

Holistic Evaluation of XML Queries with Structural Preferences on an Annotated Strong Dataguide Maurice TCHOUPÉ TCHENDJI, Adolphe Gaius NKUEFONE, and Thomas TÉBOUGANG TCHENDJI, University of Dschang, Cameroon

Metric-Based Framework for Testing & Evaluation of Service-Oriented System Salisu Garba, Sule Lamido University, Nigeria

Developing and Implementing A Web-Based Recycling System for Protecting the Green Environment Dalal Saeed Al-Omairi, Wejdan Hamad AlNasheri, Waad Yahya Al-Qarni, Ibrahim Almarashdeh, Mutasem k. Alsmadi,Muneerah Alshabanah and Daniah Alrajhi, Imam Abdurrahman Bin Faisal University, Saudi Arabia

March 2019, Volume 10, Number 2

Evaluation of Models to Implement the ISO 9001 Process Approach

Nuha El-Khalili, University of Petra, Jordan

Mobile Application Development Methodologies Adopted in Omani Market: A Comparative Study Serein Al-Ratrout1, Omar Husain Tarawneh1, Moath HusniAltarawneh2 and Mejhem Yosef Altarawneh2,1Al zahra College for Women, Oman and 2The World Islamic Sciences and Education University, Jordan

Requirements Variability Specification for Data Intensive Software Eman Muslah and Said Ghoul, Philadelphia University, Jordan

Converting A Subset of LTL Formula to Buchi Automata Bilal Kanso and Ali Kansou, Lebanese University, Beirut

Bio-Inspired Requirements Variability Modeling with use Case Esraa Abdel-Ghani and Said Ghoul, Philadelphia University, Jordan

Size Metrics for Service-Oriented Architecture Samson Wanjala Munialo1, Geoffrey Muchiri Muketha2 and Kelvin Kabeti Omieno3, 1Meru University of Science and technology, Kenya, 2Murang’a University, Kenya and 3Kaimosi Friends University College, Kenya

January 2019, Volume 10, Number 1

A Reliable and an Efficient Web Testing System Kamran Ali and Xia Xiaoling, Donghua University, China

An Iterative Hybrid Agile Methodology for Developing Archiving Systems Khaled Ebrahim Almajed,Walaa Medhat and Tarek El-Shishtawy, Benha University, Egypt

Applying Continuous Integration for Increasing the Maintenance Quality and Efficiency of Web App Sen-Tarng Lai, Shih Chien University, Taiwan

Agile Project Management in Non-Software Sectors During Turbulent Times Nabeel T. Alsohybe1 and Nashwan Sabrah2, 1Sana’a University, Sana’a, Yemen and 2Lebanese International University, Sana’a, Yemen

0 notes

ijsea · 5 years

Text

Top 10 Cited Papers Software Engineering & Applications Research Articles From 2017 Issue

http://www.airccse.org/journal/ijsea/vol8.html

International Journal of Software Engineering & Applications (IJSEA)

ISSN : 0975 - 9018 ( Online ); 0976-2221 ( Print )

http://www.airccse.org/journal/ijsea/ijsea.html

Citation Count – 04

Factors on Software Effort Estimation

Simon WU Iok Kuan

Faculty of Business Administration, University of Macao, Macau, China

ABSTRACT

Software effort estimation is an important process of system development life cycle, as it may affect the success of software projects if project designers estimate the projects inaccurately. In the past of few decades, various effort prediction models have been proposed by academicians and practitioners. Traditional estimation techniques include Lines of Codes (LOC), Function Point Analysis (FPA) method and Mark II Function Points (Mark II FP) which have proven unsatisfactory for predicting effort of all types of software. In this study, the author proposed a regression model to predict the effort required to design small and medium scale application software. To develop such a model, the author used 60 completed software projects developed by a software company in Macau. From the projects, the author extracted factors and applied them to a regression model. A prediction of software effort with accuracy of MMRE = 8% was constructed.

KEYWORDS

Effort Estimation, Software Projects, Software Applications, System Development Life Cycle.

For More Details : http://aircconline.com/ijsea/V8N1/8117ijsea03.pdf

Volume Link:

http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] Fu, Ya-fang, Liu, Xiao-dong, Yang, Ren-nong, Du, Yi-lin and Li Yan-jie (2010), “A Software Size Estimation Method Based on Improved FPA”, Second World Congress on Software Engineering,Vol. 2, pp228-233.

[2] Hastings, T. E. & Sajeev, A. S. M. (2001), “A Vector-Based Approach to Software Size Measurement and Effort Estimation”, IEEE Transactions on Software Engineering, Vol. 27, No. 4, pp.337-350.

[3] Norris, K. P. (1971), “The Accuracy of Project Cost and Duration Estimates in Industrial R&D”, R&D Management, Vol. 2, No. 1, pp.25-36.

[4] Murmann, Philipp A. (1994), “Expected Development Time Reductions in the German Mechanical Engineering Industry”, Journal of Product innovation Management, Vol. 11, pp.236-252.

[5] David Consulting Group (2012), “Project Estimating”, DCG Corporate Office, Paoli, 2007: http:davidconsultinggroup.com/training/estimation.aspx (January, 2017)

[6] Boehm, Barry (1976), “Software Engineering”, IEEE Transactions on Computers, Vol. C-25, Issue 12, pp1226-1241.

[7] Dreger, J. B. (1989), “Function Point Analysis”, Englewood Cliffs, NJ:Prentice-Hall.

[8] Smith, Randy K., Hale, Joanne E. & Parrish, Allen S. (2001), “An Empirical Study Using Task Assignment Patterns to Improve the Accuracy of Software Effort Estimation”, IEEE Transactions on Software Engineering, Vol. 27, No. 3, pp.264- 271.

[9] Sataphthy, Shashank Mouli, Kumar, Mukesh & Rath, Santanu Kumar (2013), “Class Point Approach for Software Effort Estimation Using Soft Computing Techniques, International Conference on Advances in Computing, Communications and Informatics(ICACCI), p178-183.

[10] Tariq, Sidra, Usman, Muhammad, Wong, Raymond, Zhuang, Yan & Fong, Simon (2015), “On Learning Software Effort Estimation”, 3rd International Symposium and Business Intelligence, P79- 84.

[11] Bhandari, Sangeeta (2016), “FCM Based Conceptual Framework for Software Effort Estimation”, International Conference on Computing for Sustainable Global Development, pp2585-2588.

[12] Moharreri, Kayhan, Sapre, Alhad Vinayak, Ramanathan, Jayashree & Ramnath, Rajiv (2016), “CostEffective Supervised Learning Models for Software Effort Estimation in Agile Environments”, IEEE 40th Annual Computer Software and Applications Conference, p135-140.

[13] Mukhopadhyay, Tridas & Kekre, Sunder. (1992), “Software Effort Models for Early Estimation of Process Control Applications”, IEEE Transactions on Software Engineering, Vol. 18, No. 10, pp.915- 924.

[14] Boehm, Barry W. (1995), “Cost Models for Future Software Life Cycle Processes: COCOMO 2.0,” Anals of Software Engineering Special Volume on Software Process and Product Measurement, Science Publisher, Amsterdam, Netherlands, 1(3), p45-60.

[15] Srinivasan, Krishnamoorthy & Fisher, Douglas (1995), “Machine Learning Approaches to Estimating Software Development Effort”, IEEE Transactions on Software Engineering, Vol. 21, No. 2, pp126- 137.

[16] Strike, Kevin, Emam, Khaled EI & Madhavji, Nazim (2001), “Software Cost Estimation with Incomplete Data”, IEEE Transactions on Software Engineering, Vol. 27, No. 10, pp215-223.

[17] Putnam, Lawrence H. (1978), “A General Empirical Solution to the Macro Software Sizing and Estimating Problem”, IEEE Transactions on Software Engineering, Vol. SE-4, No. 4, pp345-361.

[18] Boehm, Barry W. (1981), “Software Engineering Economics”, Englewood Cliffs, NJ:Prentice-Hall.

[19] Subramanian, Girish H. & Breslawski, Steven (1995), “An Empirical Analysis of Software Effort Estimate Alternations”, Journal of Systems Software, Vol. 31, pp135-141.

[20] Boehm, Barry W. (1984), “Software Engineering Economics”, IEEE Transactions on Software Engineering”, Vol. 10, pp4-21.

[21] Agrawal, Priya & Kumar, Shraddha (2016), “Early Phase Software Effort Estimation Model”, Symposium on Colossal Data Analysis and Networking, pp1-8.

[22] Albrecht, Allen. J. (1979), “Measuring Application Development Productivity”, Proceedings of the IBM Applications Development Symposium, pp83-92.

[23] Albrecht, Allen J. & Gaffney. John E. (1983), “Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation”, IEEE Transactions on Software Engineering, Vol. 9, No.6, pp639-648.

[24] Hu, Qing, Plant, Robert & Hertz, David (1998), “Software Cost Estimation Using Economic Production Models”, Journal of Management Information Systems, Vol. 15, No. 1, pp143-163.

[25] Bock D. B., & Klepper R. (1992). FP S: A Simplified Function Point Counting Method, “The Journal of Systems Software”, 18:245 254.

[26] Kemerer, Chris F. (1993). “Reliability of Function Points Measurement: A Field Experiment”, Communications of the ACM, 36(2):85 97.

[27] Lokan, Chris J. (2000). “An Empirical Analysis of Function Point Adjustment Factors”, Journal of Information and Software Technology, vol. 42, pp649-660.

[28] Jeffery, J., Low, G. & Barnes, C. (1993), “Comparison of Function Point Counting Techniques”, IEEE Transactions on Software Engineering, Vol. 19, No. 5, pp529- 532.

[29] Misra, A. K. & Chaudhary, B. D. (1991), “An Interactive Structured Program Development Tool”, IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems, 3, 1-5.

[30] Kendall, K. E. & Kendall, J. E. (2005), “System Analysis and Design”, 6/e, Prentice- Hall.

[31] Brooks, F. (1975), “The Mythical Man-Month.” Addison-Wesley.

[32] Zhang, Xiaoni & Windsor, John (2003). “An Empirical Analysis of Software Volatility and Related Factors”, Industrial Management & Data Systems, Vol. 103, No. 4, pp275-281.

[33] Kemerer, C. F. & Slaughter, S. (1997). “Determinants of Software Maintenance Profiles: An Empirical Investigation”, Journal of Software Maintenance, Vol. 9, pp235-251.

[34] Krishnan, Mayuram S. (1998). “The Role of Team Factors in Software Cost and Quality”, Information Technology & People, Vol. 11(1), pp20-35.

[35] MacDonell, S. G., Shepperd, M. J. & Sallis, P. (1997), “Metrics for Database Systems: An Empirical Study”, Proceedings of the 4th International Software Metrics Symposium(Metrics 1997).

[36] MacDonell, S. G. (1994). “Comparative Review of Functional Complexity Assessment Methods for Effort Estimation”, Software Engineering Journal, pp107- 116.

Citation Count – 03

A Brief Program Robustness Survey

Ayman M. Abdalla, Mohammad M. Abdallah and Mosa I. Salah

Faculty of Science and I.T, Al-Zaytoonah University of Jordan,

Amman, Jordan

ABSTRACT

Program Robustness is now more important than before, because of the role software programs play in our life. Many papers defined it, measured it, and put it into context. In this paper, we explore the different definitions of program robustness and different types of techniques used to achieve or measure it. There are many papers about robustness. We chose the papers that clearly discuss program or software robustness. These papers stated that program (or software) robustness indicates the absence of ungraceful failures. There are different types of techniques used to create or measure a robust program. However, there is still a wide space for research in this area.

Keywords:

Robustness, Robustness measurement, Dependability, Correctness.

For More Details: http://aircconline.com/ijsea/V8N1/8117ijsea01.pdf

Volume Link: http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] IEEE Standard Glossary of Software Engineering Terminology, 1990.

[2] J. C. Laprie, J. Arlat, C. Beounes, and K. Kanoun, "Definition and analysis of hardware- and software-fault-tolerant architectures," Computer, vol. 23, pp. 39-51, 1990.

[3] A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," Dependable and Secure Computing, IEEE Transactions on, vol. 1, pp. 11-33, 2004.

[4] W. S. Jawadekar, Software Engineering: Principles and Practice: Mcgraw Hill Higher Education, 2004.

[5] J. C. Laprie, "Dependable computing: concepts, challenges, directions," in Computer Software and Applications Conference, 2004. COMPSAC 2004.Proceedings of the 28th Annual International, 2004, p. 242 vol.1.

[6] R. S. Pressman, Software Engineering: A Practitioner's Approach, Seventh edition ed.: McGraw Hill Higher Education, 2009.

[7] I. Sommerville, Software Engineering: Addison-Wesley, 2006.

[8] D. M. John, I. Anthony, and O. Kazuhira, Software reliability: measurement, prediction, application: McGraw-Hill, Inc., 1987.

[9] L. L. Pullum, Software fault tolerance techniques and implementation: Artech House, Inc., 2001.

[10] D. G. Steven, "Robustness in Complex Systems," presented at the Proceedings of the Eighth Workshop on Hot Topics in Operating Systems, 2001.

[11] G. M. Weinberg. (1983) Kill That Code! Infosystems.48-49.

[12] D. John and Philip J. Koopman, Jr., "Robust Software - No More Excuses," presented at the Proceedings of the 2002 International Conference on Dependable Systems and Networks, 2002.

[13] D. Frank, Z. Nickolai, K. Frans, M. David, res, and M. Robert, "Event-driven programming for robust software," presented at the Proceedings of the 10th workshop on ACM SIGOPS European workshop, Saint-Emilion, France, 2002.

[14] Y. Bi, J. Yuan, and Y. Jin, "Beyond the Interconnections: Split Manufacturing in RF Designs," Electronics, vol. 4, p. 541, 2015.

[15] Y. Bi, X. S. Hu, Y. Jin, M. Niemier, K. Shamsi, and X. Yin, "Enhancing Hardware Security with Emerging Transistor Technologies," presented at the Proceedings of the 26th edition on Great Lakes Symposium on VLSI, Boston, Massachusetts, USA, 2016.

[16] Y. Bi, K. Shamsi, J.-S.Yuan, P.-E.Gaillardon, G. D. Micheli, X. Yin, X.S. Hu, M. Niemier,

Y. Jin, "Emerging Technology-Based Design of Primitives for Hardware Security," J. Emerg. Technol. Comput. Syst., vol. 13, pp. 1-19, 2016.

[17] M. Rebaudengo, M. S. Reorda, M. Torchiano, and M. Violante, "Soft-Error Detection through Software Fault-Tolerance Techniques," in IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, 1999.

[18] R. L. Michael, H. Zubin, K. S. S. Sam, and C. Xia, "An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering," presented at the Proceedings of the 14th International Symposium on Software Reliability Engineering, 2003.

[19] N. H. Michael and T. H. Vance, "Robust Software," IEEE Internet Computing, vol. 6, pp. 80-82, 2002.

[20] M. Dix and H. D. Hofmann, "Automated software robustness testing - static and adaptive test case design methods," in Euromicro Conference, 2002.Proceedings.28th, 2002, pp. 62- 66.

[21] N. H. Michael, T. H. Vance, and G. Rosa Laura Zavala, "Robust software via agent-based redundancy," presented at the Proceedings of the second international joint conference on Autonomous agents and multiagent systems, Melbourne, Australia, 2003.

[22] T. Rajesh and N. H. Michael, "Multiagent Reputation Management to Achieve Robust Software Using Redundancy," presented at the Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005.

[23] V. T. Holderfield and M. N. Huhns, "A Foundational Analysis of Software Robustness Using Redundant Agent Collaboration," in Agent Technologies, Infrastructures, Tools, and Applications for E-Services.vol. 2592/2003, ed Berlin / Heidelberg: Springer, 2003, pp. 355- 369.

[24] R. Laddaga. (1999, May/June) Creating Robust Software through Self-Adaptation.IEEE Intelligent systems.26-30.

[25] M. K. Mieczyslaw, B. Kenneth, and A. E. Yonet, "Control Theory-Based Foundations of Self-Controlling Software," vol. 14, ed: IEEE Educational Activities Department, 1999, pp. 37-45.

[26] C. Petitpierre and A. Eliëns, "Active Objects Provide Robust Event-Driven Applications," in SERP'02, Las Vegas, 2002, pp. 253-259.

[27] G. C. Philip, "Software design guidelines for event-driven programming," Journal of Systems and Software, vol. 41, pp. 79-91, 1998.

[28] B. P. Miller, D. Koski, C. P. Lee, V. Maganty, R. Murthy, A. Natarajan, J. Steidl, "Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services," Report: University of Wisconsin, 1995.

[29] M. Schmid and F. Hill, "Data Generation Techniques for Automated Software Robustness Testing," in Proceedings of the International Conference on Testing Computer Software, 1999, pp. 14-18.

[30] J. P. DeVale, P. J. Koopman, and D. J. Guttendorf, "The Ballista Software Robustness Testing Service," presented at the Tesing Computer Software Coference, 1999.

[31] P. Koopman. (2002, 2nd September). The Ballista Project: COTS Software Robustness Testing. Available: http://www.ece.cmu.edu/~koopman/ballista/index.html

[32] K. Kanoun, H. Madeira, and J. Arlat, "A Framework for Dependability Benchmarking," presented at the The International Conference on Dependable Systems and Networks, Washington, D.C., USA, 2002.

[33] A. B. Brown and P. Shum, "Measuring Resiliency of IT Systems," presented at the SIGDeB Workshop, 2005.

[34] A. B. Brown, J. Hellerstein, M. Hogstrom, T. Lau, S. Lightstone, P. Shum, M. Peterson, "Benchmarking Autonomic Capabilities: Promises and Pitfalls," in International Conference on Autonomic Computing (ICAC'04), Los Alamitos, CA, USA, 2004, pp. 266-267.

[35] H. Zuse, A Framework of Software Measurement: Walter de Gruyter, 1998.

[36] N. E. Fenton and S. L. Pfleeger, Software Metrics, A Rigorous and Practical Approach, 2 ed.: PWS Publishing Company, 1997.

[37] ISO/IEC 15939: Systems and software engineering -- Measurement process, ISO/IEC, 2007.

[38] K. Kaur, K. Minhas, N. Mehan, and N. Kakkar, "Static and Dynamic Complexity Analysis of Software Metrics," Empirical Software Engineering, vol. 56, pp. 159-161, 2009.

[39] D. M. Jones, The New C Standard: A Cultural and Economic Commentary, 1st edition ed.: Addison-Wesley Professional, 2003.

[40] International Standard ISO/IEC 9899, 1999.

[41] D. M. Jones, The New C Standard: An Economic and Cultural Commentary, 2002.

[42] C programming language coding guidelines, www.lrdev.com, 1998.

[43] M. Arup and P. S. Daniel, "Measuring Software Dependability by Robustness Benchmarking," vol. 23, ed: IEEE Press, 1997, pp. 366-378.

[44] B. Eslamnour and S. Ali, "Measuring robustness of computing systems," Simulation Modelling Practice and Theory, vol. 17, pp. 1457-1467, 2009.

[45] H. Arne, R. Razvan, and E. Rolf, "Methods for multi-dimensional robustness optimization in complex embedded systems," presented at the Proceedings of the 7th ACM & IEEE international conference on Embedded software, Salzburg, Austria, 2007.

[46] M. Abdallah, M. Munro, and K. Gallagher, "Certifying software robustness using program slicing," in 2010 IEEE International Conference on Software Maintenance, Timisoara, Romania, 2010, pp. 1-2.

Citation Count – 02

Culture Effect on Requirements Elicitation Practice in

Developing Countries

Ayman Sadig1 and Abd-El-Kader Sahraoui2 1Ahfad University for Women and SUST Khartoum Sudan

2LAAS-CNRS, Université de Toulouse, CNRS, U2J, Toulouse, France

ABSTRACT

Requirement elicitation is a very important step into developing any new application. This paper will examine the culture effect on requirement elicitation in developing countries.

This is a unique research that will look at requirement elicitation process in 10 different parts of the world including Arab word, India, China, Africa and South America. The focus is how the culture affects (RE) and makes every place has its own practice of RE. The data were collect through surveys and direct interviews. The results show astonishing culture effect on RE.

The conclusion is that culture effects deeply the technique gets chosen for requirement elicitation. If you are doing RE in Thailand, it will be very different from RE in Arab world. For example in Thailand respect for leader is critical and any questioning of manager methods will create a problem while in Arab world decision tree is favourite RE technique because visual are liked much more than documents.

KEYWORDS

Culture impact, requirement elicitation.

For More Details:http://aircconline.com/ijsea/V8N1/8117ijsea05.pdf

Volume Link: http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] Lee, S.hyun. & Kim Mi Na, (2008) “This is my paper”, ABC Transactions on ECE, Vol. 10, No. 5, pp120-122.

[2] Gizem, Aksahya & Ayese, Ozcan (2009) Coomunications & Networks, Network Books, ABC Publishers.

[3] Sadiq .M and Mohd .S (2009), Article in an International journal, “Elicitationand Prioritization of Software Requirements”. Internation Journal of RecentTrends in Engineering, Vol.2, No.3, pp. 138-142.

[4] Bergey, John, et al. Why Reengineering Projects Fail. No. CMU/SEI-99-TR-010. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 1999.

[5] Goguen, J. A., Linde, C. (1993): Techniques for Requirements Elicitation, International Symposium on Requirements Engineering, pp. 152-164, January 4-6, San Diego, CA.

[6] Robertson, S., Robertson, J. (1999) Mastering the Requirements Process, Addison Wesley: Great Britain.

[7] Iqbal, Tabbassum, and Mohammad Suaib. "Requirement Elicitation Technique:-A Review Paper." Int. J. Comput. Math. Sci 3.9 (2014).

[8] HOFSTEDE G (1980) Culture’s Consequences: International Differences in Work- Related Values. Sage, Newbury Park, CA.

[9] SCHEIN EH (1985) Organisational Culture and Leadership. Jossey-Bass, San Francisco, CA.

[10] LYTLE AL, BRETT JM, BARSNESS ZI, TINSLEY CH and JANSSENS M (1999) A paradigm for confirmatory cross-cultural research in organizational behavior. Research in Organizational Behavior 17, 167–214, https:// lirias.kuleuven.be/handle/123456789/31199.

[11] Kluckhohn, K (1954) Culture and behavior. In G. Lindsey (ED.) handbook of social psychology

[12] TRIANDIS HC (1995) Individualism & Collectivism. Westview Press, Boulder, CO.

[13] ROKEACH M (1973) The Nature of Human Values. Free Press, New York.

[14] KARAHANNA E, EVARISTO JR and SRITE M (2005) Levels of culture and individual behavior: an integrative perspective. Journal of Global Information Management 13(2), 1–20

[15] Fernández, Daniel Méndez, and Stefan Wagner. "Naming the pain in requirements engineering: A design for a global family of surveys and first results from Germany." Information and Software Technology 57 (2015): 616-643.

[16] Davis, Gordon B. "Strategies for information requirements determination."IBM systems journal 21.1 (1982): 4-30.

[17] Rouibah, Kamel. "Social usage of instant messaging by individuals outside the workplace in Kuwait: A structural equation model." Information Technology & People 21.1 (2008): 34-68.

[18] Byrd, Terry Anthony, Kathy L. Cossick, and Robert W. Zmud. "A synthesis of research on requirements analysis and knowledge acquisition techniques."MIS quarterly (1992): 117-138.

[19] Arnott, David, Waraporn Jirachiefpattana, and Peter O'Donnell. "Executive information systems development in an emerging economy." Decision Support Systems 42.4 (2007): 2078-2084.

[20] Kontio, Jyrki, Laura Lehtola, and Johanna Bragge. "Using the focus group method in software engineering: obtaining practitioner and user experiences."Empirical Software Engineering, 2004. ISESE'04. Proceedings. 2004 International Symposium on. IEEE, 2004.

[21] Agarwal, Ritu, Atish P. Sinha, and Mohan Tanniru. "The role of prior experience and task characteristics in object-oriented modeling: an empirical study." International journal of human-computer studies 45.6 (1996): 639-667.

[22] Liu, Lin, et al. "Understanding chinese characteristics of requirements engineering." 2009 17th IEEE International Requirements Engineering Conference. IEEE, 2009.

[23] Rouibah, Kamel, and Sulaiman Al-Rafee. "Requirement engineering elicitation methods: A Kuwaiti empirical study about familiarity, usage and perceived value." Information management & computer security 17.3 (2009): 192-217.

[24] Liu, Lin, et al. "Understanding chinese characteristics of requirements engineering." 2009 17th IEEE International Requirements Engineering Conference. IEEE, 2009.

[25] Fernández, Daniel Méndez, and Stefan Wagner. "Naming the pain in requirements engineering: A design for a global family of surveys and first results from Germany." Information and Software Technology 57 (2015): 616-643.

[26] Winschiers-Theophilus, Heike, et al. "Determining requirements within an indigenous knowledge system of African rural communities." Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists. ACM, 2010.

[27] Mursu, Anja, et al. "Information systems development in a developing country: Theoretical analysis of special requirements in Nigeria and Africa."System Sciences, 2000. Proceedings of the 33rd Annual Hawaii International Conference on. IEEE, 2000.

[28] Anwar, Fares, and Rozilawati Razali. "A practical guide to requirements elicitation techniques selection-An empirical study." Middle-East Journal of Scientific Research 11.8 (2012): 1059-1067.

[29] HELLIWELL J, LAYARD R and SACHS J (2013) World happiness report 2013, United Nations.

[30] HOFSTEDE G andHOFSTEDE GJ (2005) Cultures and Organisations: Software of the Mind. McGraw-Hill, New York.

[31] Thanasankit, Theerasak, and Brian Corbitt. "Cultural context and its impact on requirements elicitation in Thailand." EJISDC: The Electronic Journal on Information Systems in Developing Countries 1 (2000): 2.

[32] Komin, S. (1990). Psychology of the Thai People: Values and Behavioral Patterns. Bangkok, Thailand: NIDA (National Institute of Development Administration).

[33] Khan¹, Shadab, Aruna B. Dulloo, and Meghna Verma. "Systematic review of requirement elicitation techniques." (2014).

[34] Sadig, Ayman. "Requirements Engineering Practice in Developing Countries: Elicitation and Traceability Processes." Proceedings of the International Conference on Software Engineering Research and Practice (SERP). The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), 2016.

[35] Wiegers, Karl, and Joy Beatty. Software requirements. Pearson Education, 2013

Citation Count – 02

A User Story Quality Measurement Model for Reducing Agile

Software Development Risk

Sen-Tarng Lai

Department of Information Technology and Management, Shih Chien University, Taipei, Taiwan

ABSTRACT

In Mobile communications age, the IT environment and IT technology update rapidly. The requirements change is the software project must face challenge. Able to overcome the impact of requirements change, software development risks can be effectively reduced. Agile software development uses the Iterative and Incremental Development (IID) process and focuses on the workable software and client communication. Agile software development is a very suitable development method for handling the requirements change in software development process. In agile development, user stories are the important documents for the client communication and criteria of acceptance test. However, the agile development doesn’t pay attention to the formal requirements analysis and artifacts tracability to cause the potential risks of software change management. In this paper, analyzing and collecting the critical quality factors of user stories, and proposes the User Story Quality Measurement (USQM) model. Applied USQM model, the requirements quality of agile development can be enhanced and risks of requirement changes can be reduced.

KEYWORDS

Agile development, user story, software project, quality measurement, USQM.

For More Details : http://aircconline.com/ijsea/V8N2/8217ijsea05.pdf

Volume Link : http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] S. A. Bohner and R. S. Arnold, 1996. Software Change Impact Analysis, IEEE Computer Society Press, CA, pp. 1-26.

[2] S. A. Bohner, 2002. Software Change Impacts: An Evolving Perspective, Proc. of IEEE Intl Conf. on Software Maintenance, pp. 263-271.

[3] B. W. Boehm, 1991. Software risk management: Principles and practices, IEEE Software, 8(1), 1991, pp. 32-41.

[4] A. Cockburn, 2002. Agile Software Development, Addison-Wesley.

[5] M. Cohn and D. Ford, 2003. Introducing an Agile Process to an Organization, IEEE Computer, vol. 36 no. 6 pp. 74-78, June 2003.

[6] V. Szalvay, “An Introduction to Agile Software Development,” Danube Technologies Inc., 2004.

[7] C. Larman and V. R. Basili, 2003. Iterative and Incremental Development: A Brief History, IEEE Computer, June 2003.

[8] C. Larman, 2004. Agile and Iterative Development: A Manager's Guide, Boston: Addison Wesley.

[9] S. R. Schach, 2010. Object-Oriented Software Engineering, McGraw-Hill Companies.

[10] J. L. Eveleens and C. Verhoef, 2010. The Rise and Fall of the Chaos Report Figures,” IEEE Software, vol. 27, no. 1, pp. 30-36.

[11] The Standish group, 2009. “New Standish Group report shows more project failing and less successful projects,” April 23, 2009.

(http://www.standishgroup.com/newsroom/chaos_2009.php)

[12] B. W. Boehm, 1989. “Tutorial: Software Risk Management,” IEEE CS Press, Los Alamitos, Calif.

[13] R. Fairley,1994. “Risk management for Software Projects,” IEEE Software, vol. 11, no. 3, pp. 57-67.

[14] R. S. Pressman, 2010. Software Engineering: A Practitioner’s Approach, McGraw- Hill, New York, 2010.

[15] David S. Frankel, 2003. Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley & Sons.

[16] Mike Cohn, 2004. User Stories Applied: For Agile Software Development, Addison- Wesley Professional; 1 edition.

[17] Ron Jeffries, 2001. “Essential XP: Card, Conversation, Confirmation,” Posted on: August 30, 2001. (http://xprogramming.com/index.php)

[18] Bill Wake, 2003. “INVEST in Good Stories, and SMART Tasks,” Posted on August 17, 2003, (http://xp123.com/articles/invest-in-good-stories-and-smart-tasks/)

[19] Bill Wake, 2012. “Independent Stories in the INVEST Model,” Posted on: February 8, 2012, (http://xp123.com/articles/independent-stories-in-the-invest-model/)

[20] T. J. McCabe, 1976. A Complexity Measure, IEEE Trans. On Software Eng., Vol. 2, No 4, pp.308-320.

[21] M. H. Halstead, 1977, Elements of Software Science, North-Holland, New York.

[22] Ivar Jacobson and Pan-Wei Ng, 2004, Aspect-Oriented Software Development with Use Cases, Addison-Wesley Boston, 2004.

[23] Ralph Young, 2001, Effective Requirements Practices, Addison-Wesley, Boston, 2001.

[24] S. D. Conte, H. E. Dunsmore and V. Y. Shen, 1986. Software Engineering Metrics and Models, Benjamin/Cummings, Menlo Park.

[25] N. E. Fenton, 1991, Software Metrics - A Rigorous Approach, Chapman & Hall.

[26] D. Galin, 2004. Software Quality Assurance – From theory to implementation, Pearson Education Limited, England.

Citation Count – 19

A Survey of Verification Tools Based on Hoare Logic

Nahid A. Ali

College of Computer Science & Information Technology, Sudan University of Science & Technology, Khartoum, Sudan

ABSTRACT

The quality and the correctness of software has a great concern in computer systems. Formal verification tools can used to provide a confidence that a software design is free from certain errors. This paper surveys tools that accomplish automatic software verification to detect programming errors or prove their absence. The two tools considered are tools that based on Hoare logic namely, the KeY-Hoare and Hoare Advanced Homework Assistant (HAHA). A detailed example on these tools is provided, underlining their differences when applied to practical problems.

KEYWORDS

Hoare Logic, Software Verification, Formal Verification Tools, KeY-Hoare Tool, Hoare Advanced Homework Assistant Tool

For More Details : http://aircconline.com/ijsea/V8N2/8217ijsea06.pdf

Volume Link : http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] D'silva, Vijay and Kroening, Daniel and Weissenbacher, Georg, "A survey of automated techniques for formal software verification." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 27(7), pp.1165- 1178, 2008.

[2] C. A. R. Hoare, "An Axiomatic Basis for Computer Programming," Communications of the ACM, vol. 12, no. 10, pp. 576 - 580, 1969.

[3] R. W. Floyd, "Assigning Meanings to Programs," Mathematical Aspects of Computer Science, vol. 19, no. 1, pp. 19-32, 1967.

[4] Mili , Ali ; Tchier, Fairouz ;, Software Testing: Concepts and Operations, Hoboken, New Jersey: John Wiley & Sons, 2015.

[5] "Isabelle," [Online]. Available: http://www.cl.cam.ac.uk/research/hvg/Isabelle/.

[6] S. Owre, J. Rushby and N. Shankar, "PVS: A Prototype Verification System," in 11th International Conference on Automated Deduction (CADE), vol. 607, Springer- Verlag, 1992, pp. 748-752.

[7] "Symbolic Model Verifier," [Online]. Available: http://www.cs.cmu.edu/~modelcheck/smv.html.

[8] J. Winkler, "The Frege Program Prover FPP," in Internationales Wissenschaftliches Kolloquium, vol. 42, 1997, pp. 116-121.

[9] D. Crocker, "Perfect Developer: A Tool for Object-Oriented Formal Specification and Refinement," Tools Exhibition Notes at Formal Methods Europe, 2003.

[10] H¨ahnle , Reiner; Bubel, Richard, "A Hoare-Style Calculus with Explicit State Updates," Formal Methods in Computer Science Education(FORMED), pp. 49-60, 2008.

[11] "Hoare Advanced Homework Assistant (HAHA)," [Online]. Available: http://haha.mimuw.edu.pl/.

[12] T. Sznuk and A. Schubert, "Tool Support for Teaching Hoare Logic," in Software Engineering and Formal Methods, Springer, 2014, pp. 332-346.

[13] "Key- Hoare System," [Online]. Available: http://www.key- project.org/download/hoare/.

[14] L. de Moura and N. Bjørner, "Z3: An efficient SMT solver," in Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2008, pp. 337- 340.

[15] C. Barrett, C. L. Conway, M. Deters, L. Hadarean, D. Jovanovi´c, T. King, A. Reynolds and C. Tinelli, "CVC4," in Computer Aided Verification, Springer, 2011, pp. 171-177.

[16] Feinerer, Ingo and Salzer, Gernot , A comparison of tools for teaching formal software verification, Formal Aspects of Computing, vol. 21(3), pp. 293–301, 2009.

Citation Count – 18

The Impact of Software Complexity on Cost and Quality - A Comparative Analysis Between Open Source and Proprietary Software

Anh Nguyen-Duc IDI, NTNU, Norway

ABSTRACT

Early prediction of software quality is important for better software planning and controlling. In early development phases, design complexity metrics are considered as useful indicators of software testing effort and some quality attributes. Although many studies investigate the relationship between design complexity and cost and quality, it is unclear what we have learned beyond the scope of individual studies. This paper presented a systematic review on the influence of software complexity metrics on quality attributes. We aggregated Spearman correlation coefficients from 59 different data sets from 57 primary studies by a tailored meta-analysis approach. We found that fault proneness and maintainability are most frequently investigated attributes. Chidamber & Kemerer metric suite is most frequently used but not all of them are good quality attribute indicators. Moreover, the impact of these metrics is not different in proprietary and open source projects. The result provides some implications for building quality model across project type.

KEYWORDS

Design Complexity, Software Engineering, Open source software, Systematic literature review

For More Details : http://aircconline.com/ijsea/V8N2/8217ijsea02.pdf

Volume Link : http://www.airccse.org/journal/ijsea/vol8.html

REFERENCES

[1] T. DeMarco, “A metric of estimation quality,” Proceedings of the May 16-19, 1983, national computer conference, Anaheim, California: ACM, 1983, pp. 753-756.

[2] R.B. Grady, Practical Software Metrics for Project Management and Process Improvement, Hewlett-Packard Professional Books, Prentice Hall, New Jersey,1992.

[3] C. Catal and B. Diri, “A systematic review of software fault prediction studies,” Expert Systems with Applications, vol. 36, 2009, pp. 7346-7354.

[4] O. Gomez, H. Oktaba, M. Piattini, and F. Garci¬a, “A systematic review measurement in software engineering: State-of-the-art in measures”, 1st International Conference on Software and Data Technologies (ICSOFT), 2006, pp. 224-231.

[5] E. Arisholm, L. Briand, and E. Johannessen, “A systematic and comprehensive investigation of methods to build and evaluate fault prediction models,” Journal of Systems and Software, vol. 83, 2010, pp. 2-17.

[6] C. Bellini, R. Pereira, and J. Becker, “Measurement in software engineering: From the roadmap to the crossroads,” International Journal of Software Engineering and Knowledge Engineering, vol. 18, 2008, pp. 37-64.

[7] IEEE, IEEE Standard Glossary of Software Engineering Terminology, report IEEE Std 610.12- 1990, IEEE, 1990.

[8] L. Briand, J. Wuest, S. Ikonomovski, and H. Lounis, “A Comprehensive Investigation of Quality Factors in Object-Oriented Designs: An Industrial Case Study” Technical Report ISERN-98-29, International conference on Software Engineering, 1998.

[9] K. El Emam, W. Melo, and J. Machado, “The prediction of faulty classes using object-oriented design metrics,” Journal of Systems and Software, vol. 56, 2001, pp. 63-75.

[10] B. A. Kitchenham, “Guidelines for performing Systematic Literature Reviews in Software Engineering”, Ver 2.3, Keele University, EBSE Technical Report, 2007

[11] L.M. Pickard, B.A. Kitchenham, and P.W. Jones, “Combining empirical results in software engineering,” Journal on Information and Software Technology, vol. 40, Dec. 1998, pp 811-821

[12] M. Ciolkowski, “Aggregation of Empirical Evidence,” Empirical Software Engineering Issues. Critical Assessment and Future Directions, Springer Berlin / Heidelberg, 2007, p. 20

[13] LV. Hedges, I. Olkin, Statistical Methods for Meta-analysis. Orlando, FL: Academic Press, 1995.

[14] H. Cooper, L. Hedges, “Research synthesis as a scientific enterprise”, Handbook of research synthesis (pp. 3-14). New York: Russell Sage, 1994.

[15] J. E. Hannay, T. Dybå, E. Arisholm, D. I. K. Sjøberg, “The Effectiveness of Pair- Programming: A Meta-Analysis”, Journal on Information and Software Technology 55(7):1110-1122, 2009.

[16] M. Ciolkowski, “What do we know about perspective-based reading? An approach for quantitative aggregation in software engineering”, 3rd IEEE International Symposium on Empirical Software Engineering and Measurement, 2009, pp. 133- 144.

[17] ISO, “International standard ISO/IEC 9126. Information technology: Software product evaluation: Quality characteristics and guidelines for their use.” 1991

[18] S.R. Chidamber and C.F. Kemerer, “Towards a metrics suite for object oriented design,” SIGPLAN Not., vol. 26, 1991, pp. 197-211.

[19] J. M. Scotto, W. Pedrycz, B. Russo, M. Stefanovic, and G. Succi, “Identification of defect-prone classes in telecommunication software systems using design metrics,” Information Sciences, vol. 176, 2006, pp. 3711-3734.

[20] R. Subramanyam and M. Krishnan, “Empirical analysis of CK metrics for object- oriented design complexity: Implications for software defects,” IEEE Transactions on Software Engineering, vol. 29, 2003, pp. 297-310.

[21] Y. Zhou and H. Leung, “Empirical analysis of object-oriented design metrics for predicting high and low severity faults,” IEEE Transactions on Software Engineering, vol. 32, 2006, pp. 771-789.

[22] L. Briand, W. Melo, and J. Wurst, “Assessing the applicability of fault-proneness models across object-oriented software projects,” IEEE Transactions on Software Engineering, vol. 28, 2002, pp. 706-720.

[23] G. Succi, W. Pedrycz, M. Stefanovic, and J. Miller, “Practical assessment of the models for identification of defect-prone classes in object-oriented commercial systems using design metrics,” Journal of Systems and Software, vol. 65, 2003, pp. 1-12.

[24] T. Saracevic, “Evaluation of evaluation in information retrieval”, 18th annual international ACM SIGIR conference on Research and development in information retrieval, Seattle, Washington, United States, 1995, pp. 138-146.

[25] Paulson, J.W.; Succi, G.; Eberlein, A., "An empirical study of open-source and closed-source software products”, IEEE Transactions on Software Engineering, vol.30, no.4, pp. 246- 256, April 2004.

[26] A. Bachmann and A. Bernstein, “Software process data quality and characteristics: a historical view on open and closed source projects,” Joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Amsterdam, The Netherlands: ACM, 2009, pp. 119- 128.

[27] J. Cohen, Statistical Power Analysis for the Behavioral Sciences (2nd Edition), 2nd ed. Routledge Academic, January 1988.

[28] J. Devore, Probability and Statistics for Engineering and the Sciences, 7th Ed. Thomson Brooks, 2008.

[29] N. D. Anh, “The impact of software design complexity on cost and quality”, Master thesis, [Available ONLINE] http://www.bth.se/fou/cuppsats.nsf/$$Search

International Journal of Software Engineering & Applications (IJSEA)

ISSN : 0975 - 9018 ( Online ); 0976-2221 ( Print )

http://www.airccse.org/journal/ijsea/ijsea.html

0 notes