A survey on refinement in formal methods and software engineering

QR Code

A survey on refinement in formal methods and software engineering

In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. Formal methods introduce preciseness, remove ambiguity in specifications, and support the verification of requirements and design properties. Methods and approaches are needed to...

Full description

Bibliographic Details
Main Authors:	Said, Mar Yah @ Mek Yah, Jasser, Muhammed Basheer, Abd Ghani, Abdul Azim, Din, Jamilah
Format:	Article
Language:	English
Published:	The World Academy of Research in Science and Engineering 2019
Online Access:	http://psasir.upm.edu.my/id/eprint/80509/ http://psasir.upm.edu.my/id/eprint/80509/1/FORMAL.pdf

Similar Items

A method of refinement in UML-B
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2015)

Towards employing metrics in measuring the quality of software safety critical systems and managing their development
by: Din, Jamilah, et al.
Published: (2018)

Crowdtesting intermediary tool for managing public service software project
by: Mustapha, Mohd Syahmi, et al.
Published: (2019)

Software requirements prioritization tool using a hybrid technique
by: Din, Jamilah, et al.
Published: (2019)

The measurement of safety criteria in safety critical systems
by: Jasser, Muhammed Basheer, et al.
Published: (2019)

Formalization in digital forensic triage for identification of malicious IoT devices
by: Ibrahim, Mohammed, et al.
Published: (2019)

Usability testing on government agencies web portal: a study on Ministry of Education Malaysia (MOE) web portal
by: Nali @ Rozali, Norhaliza, et al.
Published: (2015)

A methodology to support UML-B model development
by: Jasser, Muhammed Basheer
Published: (2018)

An ontology for software engineering education
by: Thong, Chee Ling, et al.
Published: (2013)

Application of social media among medical practitioner for sharing tacit knowledge: a pilot study
by: Amidi, Asra, et al.
Published: (2017)

A review on classifying and prioritizing user review-based software requirements
by: Salleh, Amran, et al.
Published: (2024)

Formalize the Software Quality Measurement for Heterogeneous Requirements
by: Edwin, Mit, et al.
Published: (2015)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

Requirements engineering problems in 63 software companies in Malaysia
by: Solemon, Badariah, et al.
Published: (2008)

Towards improving NFR elicitation in software development.
by: Too, Chian Wen, et al.
Published: (2013)

Fuzzy delphi method refinement of mobile language learning framework elements for technical and engineering contexts
by: Azwin Arif, Abdul Rahim, et al.
Published: (2019)

PUTRACOM: a formalism of a novel component model
by: Nejati, Faranak, et al.
Published: (2020)

Treatment of waste engine oil using optimized acid/clay refining method
by: Kamal Ariffin, Fathin Nadhirah, et al.
Published: (2019)

A systematic survey of games used for software engineering education
by: Caulfield, C., et al.
Published: (2011)

Recommendation systems for software engineering: A survey from software development life cycle phase perspective
by: Pakdeetrakulwong, Udsanee, et al.
Published: (2014)

A requirement engineering model for big data software
by: Altarturi, Hamza Hussein, et al.
Published: (2017)

Applying evolution programming search based software engineering (SBSE) in selecting the best open source software maintainability metrics
by: Bakar, Abubakar Diwani, et al.
Published: (2012)

A Survey of Query Expansion, Query Suggestion and Query Refinement Techniques
by: Ooi, Jessie, et al.
Published: (2015)

Representing the business perspectives in software requirement
by: Che Pa, Noraini, et al.
Published: (2012)

Metric's thresholds for encoding evolutionary computing representation in software engineering problem
by: Md Sultan, Abu Bakar, et al.
Published: (2015)

Important considerations for agile software development methods governance
by: Gandomani, Taghi Javdani, et al.
Published: (2013)

Mining students` characteristics and effects on university preference choice : a case study of applied marketing in higher education
by: Jasser, Muhammed Basheer, et al.
Published: (2013)

Mining students' characteristics and effects on University preference choice : a case study of applied marketing in higher education.
by: Jasser, Muhammed Basheer, et al.
Published: (2013)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Grain refinement practices in ferritic stainless steel welds
by: Amuda, Muhammed Olawale Hakeem, et al.
Published: (2011)

Constructing a model of risk mitigation for anti software ageing during software maintenance
by: Azman, Thamaratul Izzah, et al.
Published: (2019)

Software engineering traceability method for food ingredient tracing
by: Azram, Nur Adila, et al.
Published: (2011)

Ontology-based Software Engineering-Software Engineering 2.0
by: Dillon, T., et al.
Published: (2008)

Ontology based software engineering - software engineering 2.0
by: Dillon, Tharam S., et al.
Published: (2008)

A software engineering ontology as software engineering knowledge representation
by: Wongthongtham, Pornpit, et al.
Published: (2008)

Assessing the instrument reliability and validity of risk mitigation for anti software ageing model during software maintenance
by: Azman, Thamaratul Izzah, et al.
Published: (2019)

Rescaling constraints, BRST methods, and refined algebraic quantisation
by: Martínez Pascual, Eric
Published: (2012)

A review of requirement engineering: requirement analysis and documentation.
by: Jusoh, Yusmadi Yah, et al.
Published: (2001)

The effect of formal and informal institutions on poverty reduction
by: Bugaje, Idris Bashir, et al.
Published: (2018)

Software engineering ontology for software engineering knowledge management in multi-site software development environment
by: Wongthongtham, Pornpit, et al.
Published: (2007)