Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns

Sohail, Faheem; Zubairi, Farooq; Sabir, Nabeel; Zafar, Nazir Ahmad

doi:10.1109/iccms.2009.83

Cited by 4 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Faheem, Farooq, Nabal and Nazir [12] designed a verifiable and reusable data access layer using formal methods and design patterns. They applied formal methods to the data access layer which resulted in a more verifiable recipes for solving data access layer design problems.…”

Section: Recent Applications Of Formal Methodsmentioning

confidence: 99%

“…In a research paper, Nassima, Olivier, Marc and Xavier in 2010 [12] addressed the issue of the development of correctby-construction components for GeneAuto, a qualifiable automatic code generator that transforms Simulink, State flow and Scicos models to MISRA C code for safety critical system. The approach combined classical development process, formal specification and verification using proof assistants and eventually derived formal specifications from classical user and tools requirement, formally implemented and verified the correctness of some components of the code generator.…”

Section: Recent Applications Of Formal Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Evaluation of Formal Method Usage amongst Babcock University Students in Nigeria

A.¹,

A.²,

A.³

et al. 2016

CAE

View full text Add to dashboard Cite

The knowledge of Formal Methods involves techniques and tools that are based on mathematics but most students tend to have poor approach in applying these techniques during software systems developmental processes despite all the potentials that using formal methods possess in designing systems that are error free, robust and more reliable. This study was conducted to evaluate formal methods usability among students and to enable them understand how important it is to embrace this technique in building highly reliable systems and for the academia to work more on bridging the gap between research and industries so as to promote the use of formal methods in software engineering companies. In this paper, the benefits that Formal Methods has to offer in the area of Software Development was explored including present challenges affecting their usability, the present level of awareness and usage amongst students of computer science who have acute interest in software engineering was also evaluated. The research was done quantitatively using a pilot study of students selected conveniently from Babcock University, Ilisan, Nigeria Computer Science students. A usability evaluation model was used in designing the measuring tool focusing on awareness, learnability, ease of use and willingness to use formal methods in their Research works and they were evaluated using descriptive statistical method. The measuring tool was analyzed using Statistical Package for Social Sciences (SPSS) version 21.0. Reliability test was done and found to be 0.906 which indicated a high internal consistency. The result of the analysis shows that if formal methods is easy to learn, then students will find it easy to use and the willingness to use it for their projects will be there. If they are willing to use it, then learnability and ease of use will also be high. Conclusion and Recommendations were also given at the end of the Research analysis.

show abstract

Section: Recent Applications Of Formal Methodsmentioning

confidence: 99%

Section: Recent Applications Of Formal Methodsmentioning

confidence: 99%