Search Results - "Formal Methods"

A survey on refinement in formal methods and software engineering by Said, Mar Yah @ Mek Yah, Jasser, Muhammed Basheer, Abd Ghani, Abdul Azim, Din, Jamilah

“…In software engineering, formal methods allow the design, modelling and verification of hardware and software systems. …”
Get full text
Get full text

On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces by Benford, Steve, Calder, Muffy, Rodden, Tom, Sevegnani, Michele

Subjects: Get full text

Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system by Mohamad, Radziah, Abang Jawawi, Dayang Norhayati, Deris, Safaai, Mamat, Rosbi

“…One major area of research addressing software reliability aspect is called formal method, which attempts to prove the correctness of programs with respect to system specifications. …”
Get full text
Get full text

Knowledge Management in Planning and Control at Rolls-Royce by Clarke, Timothy David

“…This dissertation intends to investigate the formal methods of knowledge management that may be used to organise the knowledge required within planning and control in R-R. …”
Get full text

Use of personal reflexive modelling in challenging conceptualisations of cultural heritage by Gibbons, Leisa

“…Future research in this area would look towards building and testing formal methods that deploy the reflexive modelling technique and use of the MRkM.…”
Get full text

UPPAAL model for validation of the software development process by Atirah Shahira, Mahadi

“…In order to validate the process of software development it is important to use formal methods. Proving properties whether it is operational or quality ones is crucial to avoid errors and possible accidents that can cost human lives. …”
Get full text
Get full text

FOTool: Modelling Indigenous Community Cultures in Sarawak by Mit, Edwin, Ng, Bong Ding, Cheah, Wai Shiang

“…FOTool integrates the rigour of formal methods and the ease of use of OO techniques. The idea of FOTool is to provide an easy interface by allowing the application developer to develop the software model by using the object-models, while the verification of the models is carried out by using formal models. …”
Get full text
Get full text

Explaining the impact of information technology capabilities and organizational acceleration on performance of banking sector by Shababi, Hooman, Ziari, Haniyeh

“…Both content and formal methods were used for the validity of this questionnaire, and we analyzed its reliability with Cronbach's alpha that the overall reliability is equal to 0.906. …”
Get full text
Get full text

Exploration of the dendritic cell algorithm with the duration calculus by Gu, Feng, Greensmith, Julie, Aickelin, Uwe

“…To assess such capability, formal methods in the research of real-time systems can be employed. …”
Get full text

Novel approach for secure cover file of hidden data in the unused area within EXE file using computation between cryptography and steganography by Naji, Ahmed Wathik, Zaidan, B.B., Hameed, Shihab A., O-Khalifa, Othman

“…In addition, there are no formal methods to be followed to discover the hidden data. …”
Get full text
Get full text

Towards a decision support system for health promotion in nursing by Caelli, K., Downie, Jill, Caelli, T.

“…Specifically, the research explored how interview data can be interpreted in terms of Concept Networks and Bayesian Networks, both of which provide formal methods for describing the dependencies between factors or variables in the context of decision-making in health promotion.Background. …”
Get full text

The role of formative assessment in the Malaysian English language classroom: A case study / Adam Prakash Abdullah by Abdullah, Adam Prakash

“…Teachers choose more formal methods of assessment, particularly those that involve writing because it is more practical to carry out. …”
Get full text

A survey on the use of "Oh My English" program in ESL lessons: perspectives of SMK (P) Sultan Abu Bakar, Muar ESL learners./ Muhammad Arddri Ghazali by Ghazali, Muhammad Arddri

“…Besides that, the snippets of the show have had almost one million YouTube views and the sitcom had garnered 50,000 Facebook fans and the informal teaching methods employed by the media to help students with English are affirmed were often more effective than the formal methods employed in schools. Hence, with all of these compliments and support from the society, the intention to investigate more on the discernment of using "Oh My English" program in English lesson from ESL learners should be carried out, so that, its effectiveness towards the students will be proven. …”
Get full text

The role of the user within the medical device design and development process: medical device manufacturers' perspectives by Money, Arthur G., Barnett, Julie, Kuljis, Jasna, Craven, Michael P., Martin, Jennifer L., Young, Terry

“…The findings reveal that despite standards agencies and academic literature offering strong support for the employment formal methods, manufacturers are still hesitant due to a range of factors including: perceived barriers to obtaining ethical approval; the speed at which such activity may be carried out; the belief that there is no need given the 'all-knowing' nature of senior health care staff and clinical champions; a belief that effective results are achievable by consulting a minimal number of champions. …”
Get full text

Transport system management under extreme weather risks: Views to project appraisal, asset value protection and risk-aware system management by Leviakangas, Pekka, Michaelides, S.

“…In this respect, new approaches and ways of thinking in preserving asset's residual value, return periods, sustainability and equity and formal methods supplementing cost-benefit analysis are put forward. …”
Get full text

A unified trust model for common criteria recognition arrangement for product acceptance by Mat Isa, Mohd Anuar

“…In this work, the thesis has modeled and verified the proposed solutions in minimizing the trust problem using a process of relation algebra and formal methods. Precedent methods such as Bayes probability, Dempster-Shaffer theory and subjective logic are referred to. …”
Get full text
Get full text

Coevolution framework to support object-oriented model changes using Coloured Petri Net patterns / Bassam Atieh M. Rajabi by Bassam Atieh , M. Rajabi

“…These approaches can be classified into direct, transformational, formal semantics, or knowledge representation approaches. Formal methods such as Coloured Petri Nets (CPNs) are widely used in detecting and handling coevolution between software artifacts. …”
Get full text
Get full text
Get full text

Formalizing voting protocol in process algebra by Ban, Ainita, Shukur, Zarina

“…In order to gain confidence and trust among people to implement electronic voting system, a formal method is chosen. Formal method has been proven successfully in verifying properties. …”
Get full text

Performance evaluation of monotone's netsync protocol by Hu, Kwong Liik

“…There is no formal study about the implementation of netsync in Monotone and no formal method to evaluate its performance. From thence, we have conducted study on the architectural design of netsync and its performance evaluation in local area network (LAN). …”
Get full text
Get full text

The formal specification for the inventory system using Z language by Bakri, Siti Halimah, Harun, Hanis, Alzoubi, Amera, Ibrahim, Rosziati

“…Formal methods use mathematical notations to precisely express requirements specification. …”
Get full text