SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System

QR Code

SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System

The SOFL three-step approach to the construction of formal specifications has been proposed and applied in information systems, but its effectiveness and applicability have not yet been demonstrated in developing safety critical systems. In this paper, we describe an application of the SOFL approach...

Full description

Bibliographic Details
Main Authors:	A Rahman, Mat, Cheah, Wai Shiang, Liu, Shaoying
Format:	Article
Language:	English
Published:	Universiti Malaysia Sarawak 2013
Subjects:	AC Collections. Series. Collected works R Medicine (General)
Online Access:	http://ir.unimas.my/id/eprint/203/ http://ir.unimas.my/id/eprint/203/1/sofl_three-step_approach_to_construct.pdf

Similar Items

Software Agent Negotiation Development: An Experience Report
by: Cheah, Wai Shiang, et al.
Published: (2006)

Fault detection of aircraft engine components using fuzzy unordered rule induction algorithm
by: Htike@Muhammad Yusof, Zaw Zaw, et al.
Published: (2016)

Identification of rotation anomaly of fan disks using random forest model
by: Htike@Muhammad Yusof, Zaw Zaw, et al.
Published: (2016)

Pre-Treatments Of Sago Fiber For Ethanol Fermentation
by: Janggu, U., et al.
Published: (2009)

When BDI Meets Argumentation: The Conceptual Ideal
by: Cheah, Wai Shiang, et al.
Published: (2006)

Treatment of domestic wastewater in Kuching City - ecological sanitation
by: Ling, Teck Yee, et al.
Published: (2006)

The Potential of Extended Aeration System for Sago Effluent Treatment
by: Wahi, Abd Rashid, et al.
Published: (2010)

Effectiveness of Oxidation Ponds in Pig Farm Wastewater Treatment in Sarawak
by: Ling, T. Y., et al.
Published: (2013)

Treatment of vinasse from tequila production using polyglutamic acid
by: Octavio, Carvajal-Zarrabal, et al.
Published: (2011)

Treatment of animal farm wastewater using Ipomoea Aquatica and Llmnocharis Flava
by: Ling, Teck Yee, et al.
Published: (2009)

Short Term Treatment of Shrimp Aquaculture Wastewater using Water Hyacinth (Eichhornia crassipes)
by: Lee, Nyanti, et al.
Published: (2010)

Comparison of Solids and Oxygen demand reduction in Shrimp Culture Wastewater Treatments with and without Water Hyacinth
by: Lee, Nyanti, et al.
Published: (2009)

Dynamic Young's Modulus, Morphological, And Thermal Stability Of 5 Tropical Light Hardwoods Modified By Benzene Diazonium Salt Treatment
by: Islam, M.S., et al.
Published: (2011)

الكتابة بالجاوي ومشكلات قراءتها: القارئ العربي غيرالناط بالماليزية نموذجا = Al-kitabah bi-al-jawi wa-mushkilat qiraataha: al-qari'al-'Arabi ghair al-natiq bi-al-Maliziyah namudzajan
by: Ali, Asem Shehadeh Saleh
Published: (2014)

مقاربات في اللسانيات والأدبيات بين التقليد والتجديد-الجزء الأول
by: Ali, Asem Shehadeh Saleh, et al.
Published: (2015)

مقاربات في اللسانيات والأدبيات بين التقليد والتجديد- (الأدبيات)الجزء الثاني
Published: (2015)

Koleksi pantun halal untuk kanak-kanak dan remaja
by: Hashim, Yumi Zuhanis Has-Yun, et al.
Published: (2015)

خصائص محاضر اللغة العربية الفعال من تصرف المحاضرين والطلبة في الجامعة الإسلامية العالم Characteristics of the effective Arabic language lecturer from the conduct of lecturers and students at the International Islamic University in Malaysia: A comparative study ية بماليزيا: دراسة مقارنة
by: Ali, Asem Shehadeh Saleh, et al.
Published: (2019)

Harmony 404: a society undeciphered
Published: (2017)

Menulis Ulasa Buku untuk Akhbar Majalah & Jurnal Ilmiah
by: Hashim , Roosfa
Published: (2009)

Mohd. Ghazali Abdul Rahman 1938-2007: Dari Mercu Ke Mercu
by: Hashim, Roosfa
Published: (2010)

Said Ibrahim 1923-2001: Mufti Tegas dan Terbilang
by: Hashim, Roosfa
Published: (2009)

HELM based Reinforcement Learning for Goal Localization
by: AlDahoul, Nouar, et al.
Published: (2016)

Smart prayer mat
by: Amir, Ahmed, et al.
Published: (2016)

Development of Omni-directional robotic car with human tracking mechanism
by: A. Rahman, M. Safwan, et al.
Published: (2016)

ANN-based mango external quality grading system
by: A. Aziz, M. Rashdi, et al.
Published: (2017)

التميز المنهجي لدى ابن عاشور في تفسيره
by: Abdo Khaled, Nashwan
Published: (2012)

Development of sonication decellularization prototype to engineer bioscaffolds for regenerative medicine (Final report PRGS)
by: Azhim, Azran
Published: (2019)

إسهام المذهب الإباضي في تحقيق معهود العرب في الخطاب: العقيدة نموذجاً
by: Ali, Asem Shehadeh Saleh, et al.
Published: (2019)

أبحاث المؤتمر العالمي الأول في الإقليم والثقافة والحوكمة في العالم المعاصر
by: Ahmad Safian, Nursafira, et al.
Published: (2019)

Centre for Islamisation: spearheading the Islamisation mission of the University
by: Md. Noon, Hazizan, et al.
Published: (2019)

Ensiklopedia soal jawab agama
by: Abdul Kadir, Mohammad Nidzam, et al.
Published: (2019)

Zikir, doa & wirid di tanah suci
by: Abd Hamid, Mohd Azrul Azlen, et al.
Published: (2020)

Tadabbur surah Yusuf
by: Abd Hamid, Mohd Azrul Azlen, et al.
Published: (2019)

Teacher guide: implementing the CEFR-aligned curriculum: planning and managing learning
by: Abdul Latif @ Bapoo, Lilisuriani
Published: (2019)

MMU e-Bulletin
by: , Sy. Nurleyana Wafa, et al.
Published: (2012)

Sense Differentiation In Electronic And Print Dictionaries: A Comparative Study Of Dictionary Efficacy
by: Tan, Kim Hua
Published: (2007)

Entitle no.3: Interview with Dr. Andra McCartney: “Please Listen”
by: Mohseninia, Pouyan, et al.

Entitle no.4: What Is It Like To Work In A Google Project? "Google day"
by: Mohseninia, Pouyan, et al.

Entitle no.5: Professor Dr. Jon Baggaley, FCM external examiner: Confidence And Competence
by: Mohseninia, Pouyan, et al.