formal system development methods
Formal Methods for Commercial Applications Issues vs Solutions
... of formal methods. The vast number of software development tools and methodologies place their focus on long term cost ...that formal methods provide real benefits in this area, ...
8
Formal Methods as Specification and Verification Tools Towards Stable Software Solutions
... Formal Methods could provide mathematical models for specifying and verifying designs- hardware or ...on, formal methods had more acceptance in hardware than ...of development and also ...
9
Design and Analysis of Mobile Operating System Security Architecture using Formal Methods
... The development of the operational semantics and the type systems for DEX byte- code follows closely the framework set up in Barthe et ...type system for JVM to its DEX counterpart is complicated slightly ...
230
Formal Methods of Software Development in the 2000’s- A case study of Nigeria
... a system development process [5].It reduces the overall development cost and time since errors that will occur after the system development have been corrected at an earlier ...through ...
7
New Opportunities for Integrated Formal Methods
... incremental system design when being used as a prototyping technique, as formal test-driven development, or by crafting module assertions prior to ...example, formal or model-based post-facto ...
18
Mural: A formal development support system
... of formal methods can be explored more ...a formal language be- cause it has a precise ...limited. Methods like VDM respond to this observation by offering ways of decomposing a design into ...
431
New Opportunities for Integrated Formal Methods
... control system and embedded software development ...a system in a specific operational context [104]. By formal methods, we refer to the use of formal ...describe system ...
31
Human-centered design of a personal health record system for metabolic syndrome management based on the ISO 9241-210:2010 standard
... the development of a PHR-S for the manage- ment of MS according to the principles and recommendations of the ISO 9241-210 ...standard. Methods: The proposed PHR-S was developed using a formal ...
17
Reasoning of Safety-Critical Medical Devices using Formal Methods.
... of formal method based modeling and analysis techniques was fully justified for the CARA system, as several errors were detected in the specifications ...CARA system, a much better understanding of ...
86
Formal Methods in Requirements Phase of SDLC
... software system is rapidly raising due to the inclusion of properties like security and ...software development complicates with the raising complexity of the software ...result, formal ...
8
Integrating Formal Methods Tools : A Case Study
... different formal methods tools by performing a case study in which we will create a framework for generating loop invariants for Java ...of formal methods tools in ...by formal ...
50
The implementation of an environmental management system in the not for profit sector
... Hillary’s (2004) use of the term ‘surprises’ as a category of the dis-benefits that the development of an EMS may generate is an apt descriptor for some aspects of the project. Examples of such ‘surprises’ emerged ...
32
Volume 30: Graph and Model Transformation 2010
... (Yorktown Heights, USA) the new conference series TAPSOFT (Theory and Practice of Software Development). It was held with great success at TU-Berlin in 1985 bringing together several pioneers from theoretical and ...
7
The role of formal specification in rule based real time AI (extended abstract)
... The paper describes the use of formal methods in the development of AI interpreters and relates formal methods at this level to work in knowledge representation.. The role of formal spec[r] ...
13
Integrating Formal Methods in XP—A Conceptual Solution
... Till date formal methods couldn’t be effectively used in industry based product engineering but it has potential of widespread effectiveness for application development in different doma[r] ...
12
Developing core outcome sets for clinical trials: issues to consider
... the development, application and promotion of COS, derived using rigorous consensus methods, for effective- ness ...the development of relevant resources, both applied and meth- odological, to ...
8
Verification of Telecommunication Protocols Based on Formal Methods
... Abstract: This article is devoted to the development method for verification and detecting errors that can occur in the operation of protocols for information exchange. The various steps of verification of ...
10
Timed Automata Based Model Checking of a Multi Agent System: A Case Study
... An agent is a computer system that is capable of autonomous actions on behalf of its user or owner [2]. Agents are coarse-grained computational systems, each making use of significant computational resources [3]. ...
9
Feed forward neural networks and genetic algorithms for automated financial time series modelling
... Formal and applied methods are investigated for combining feed-forward Neural Networks and Genetic Algorithms (GAs) into a single adaptive/learning system for automated time series forec[r] ...
208
Methods of ECG Signal transmission system development
... wireless system of Holter ECG monitoring designed for home use by patients who are prescribed daily monitoring of the cardiovascular system in order to diagnose arrhythmias and cardiac ...the system ...
5