Formal Methods (Formal Verification)
Safety Design for Simulation Models based on Formal Methods
... “lightweight” formal methods (LFMs), and pointed out that FMs “may be the only approach ca- pable of demonstrating the absence of undesirable system behav- ior” ...with formal methods con- ...
5
Using software specification methods for measurement instruments: Part II - formal methods
... Using formal methods for specification purposes, one can obtain a clear understanding of user's problems, especially the aspects of functional behaviour, and therefore produce a correct specification ...
13
Volume 69: Formal Methods for Interactive Systems 2013
... in formal methods from using ...the formal user interface specification through point-and-click ...of formal verification tools when developing device user ...
9
Integrating Formal Methods in XP—A Conceptual Solution
... Formal methods can be used at any stage of product development process to improve the software quality and efficiency using mathematical models for analysis and ...of formal methods into ...
12
Introductory Programming Course: From Classics to Formal Methods
... of formal methods, proofs and complexity analysis of algorithms, not only at an interme- diate course level, but also in the beginning undergradu- ate level, has clearly been specified in [7] who argues for ...
6
Volume 45: Formal Methods for Interactive Systems 2011
... Formal methods have seldom been used to analyse attentional mechanisms. Recently Su, Bowman, Barnard and Wyble [SBBW09] have used process algebraic modelling to explore the temporal attentional limitation ...
19
Formal Methods for Commercial Applications Issues vs Solutions
... advantages, formal methods are still not widely used by commercial software ...promote formal methods for commercial software ...of formal methods for commercial applications and ...
8
The Use of Formal Methods in the Analysis of Trust (Position Paper)
... Formal methods are often associated with applications with some critical aspect with severe consequences of ...of formal techniques to deal with trust issues is not solely based on risk aversion – ...
7
Volume 69: Formal Methods for Interactive Systems 2013
... on formal meth- ods to analyze human computer interaction from a cognitive perspective ...ploit formal task and domain models in a prescriptive way to produce user interfaces [Pat00] and SwingStates [AB08] ...
13
Volume 22: Formal Methods for Interactive Systems 2009
... Abstract: This paper presents a range of approaches to the analysis and develop- ment of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a ...
18
Volume 69: Formal Methods for Interactive Systems 2013
... of formal methods as a means to reduce the amount of paperwork and enable the submission of more succinct and rigorous ...a formal representation that describes the common characteristics and ...
13
Volume 45: Formal Methods for Interactive Systems 2011
... The safety of Satellite Based Augmentation Systems (SBAS) depends on many different forms of evidence, including but not limited to risk assessments, architectural descriptions, develop- ment standards, test data, ...
19
Volume 22: Formal Methods for Interactive Systems 2009
... of formal methods appears incapable of coping with the verification demand introduced by pervasive systems, because reasoning about such systems requires com- binations of multiple dimensions such as ...
16
Volume 45: Formal Methods for Interactive Systems 2011
... using formal methods such as this paper demonstrates; whatever software develop- ment process is employed, it evidently results in acceptable functionality, as the devices we have examined are widely ...
16
Volume 45: Formal Methods for Interactive Systems 2011
... In HCI, models of human cognition are used in different ways and for various purposes. One approach, computational cognitive models [RY01], draws from cognitive science and is applied to test and improve usability of ...
6
Volume 45: Formal Methods for Interactive Systems 2011
... It is a widely-accepted idea to specify syntax in a well-defined language. We extend that idea to include formalising interaction properties and features, in order to provide a flexibly-defined, de- pendable user ...
17
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
New Opportunities for Integrated Formal Methods
... integrated formal methods to improve the practice of dependability ...integrated formal methods, (ii) collecting evidence on the effectiveness of integrated formal methods in ...
18
Formal Methods in Requirements Phase of SDLC
... cycle. Formal methods are one of the feasible solutions to the above stated problems of current IT ...industries. Formal methods reduce the number of errors in the delivered product and are a ...
8
Formal Methods for Business Processes: A Survey
... some formal methods of verifying the business process description for properties such as soundness, variability, the business compliance, process termination, compatibility between the various web services, ...
6