Performance Evaluation of Software using Formal Methods

Jide Akinsola (2019). Breast Cancer Predictive Analytics Using Supervised Machine Learning Techniques.
Jide Akinsola,Awodele,; Oludele,Sunday Idowu,Kuyoro,O Shade (2020). SQL Injection Attacks Predictive Analytics Using Supervised Machine Learning Techniques.
José Almeida,Maria Frade,Jorge Pinto,Simão Melo De Sousa (2011). Generating Verification Conditions.
A Anwaar,Q Junaid,R Raihan,S Arjuna,Z Andrej,Jonc (2016). Big data for development: applications and techniques.
G Balbo (2007). Introduction to Generalized Stochastic Petri Nets.
S Balsamo,Andrea Marin,A (2007). Queuing Networks.
Venezia Mestre,Italy (2007). Erratum.
M Bernardo,J Hillston (2007). Formal Methods for Performance Evaluation. 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems.
M Bernardo (2007). Erratum.
Jonathan Bowen,Victoria Stavridou (1993). Safety-critical systems, formal methods and standards.
J Bowen,M Hinchey (1995). Seven More Myths of Formal Methods.
Allan Clark,Stephen Gilmore,Jane Hillston,Mirco Tribastone (2007). Stochastic Process Algebras.
Osisanwo F.Y,Akinsola J.E.T,Hinmikaiye J. O (2017). Supervised Machine Learning Algorithms: Classification and Comparison.
Kristin Giammarco,G Xie,C Whitcomb (2012). A Formal Method for Assessing Architecture Model and Design Maturity Using Domain-independent Patterns.
Karen Scrivener,François Avet,Franco Zunino,Julien Ston (2010). More sustainable constructions using limestone calcined clay cement (LC³).
J Akinsola,S Kuyoro,O Awodele,F Kasali (2019). Performance Evaluation of Supervised Machine Learning Algorithms Using Multi-Criteria Decision Making Techniques.
R Kling (1994). Systems Safety, Normal Accidents and Social Vulnerability.
Sadettin Ugurlu,David Mcdonald,Shan He (2007). Machine Learning Applications in Drug Discovery.
Axel Lamsweerde (2000). Formal specification.
Jure Leskovec,Anand Rajaraman,Jeffrey Ullman (2014). Mining of Massive Datasets.
S Melo De Sousa (2011). Rigorous Software Development: An introduction.
M Michael Collins (1998). Formal Methods.
Srivas Miller (1995). Formal Verification of the AAMP5 Microprocessor.
B Mona,M Amit,D Meenu (2010). Formal Methods: Benefits, Challenges and Future Direction.
E Rechtin (1992). The art of systems architecting.
Matthew Rodano,Kristin Giammarco (2013). A Formal Method for Evaluation of a Modeled System Architecture.
J Rushby (1995). Formal Methods and their Role in the Certification of Critical Systems -SRI.
Connie Smith (2007). Introduction to Software Performance Engineering: Origins and Outstanding Problems.
W Stewart (2007). Performance Modelling and Markov Chains.

Download References

Funding

No external funding was declared for this work.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

No ethics committee approval was required for this article type.

Data Availability

Not applicable for this article.

How to Cite This Article

Akinsola, Jide E. T.. 2020. \u201cPerformance Evaluation of Software using Formal Methods\u201d. Global Journal of Computer Science and Technology - C: Software & Data Engineering GJCST-C Volume 20 (GJCST Volume 20 Issue C1).

More Citation Formats

Select Citation Style:

Download Citation

GJCST Volume 20 Issue C1

Explore Journals Explore Volume Read This Issue

Journal Specifications

Crossref Journal DOI 10.17406/gjcst

Print ISSN 0975-4350

e-ISSN 0975-4172

Keywords

Not Found

Classification

GJCST-C Classification D.2.m

Submission ReceivedDecember 10, 2019
Peer Review Double Blind
Handling Editor
Accepted January 2, 2020
Published January 15, 2020

Version of record

v1.2

Issue date

July 16, 2020

Language

Experiance in AR

Explore published articles in an immersive Augmented Reality environment. Our platform converts research papers into interactive 3D books, allowing readers to view and interact with content using AR and VR compatible devices.

View in VR

Read in 3D

Your published article is automatically converted into a realistic 3D book. Flip through pages and read research papers in a more engaging and interactive format.

View in 3D

Article Matrices

Total Views: 4927

Total Downloads: 1194

2026 Trends

Our website is actively being updated, and changes may occur frequently. Please clear your browser cache if needed. For feedback or error reporting, please email [email protected]