Formal Methods
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
Using software specification methods for measurement instruments: Part II - formal methods
... of formal specifications are not yet that ...that formal specification may reduce the overall cost of software ...of formal specification can reduce the overall life-cycle ...However, formal ...
13
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
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
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
Impalpable constraints: Framing requirements for formal methods
... regulations. Formal methods for verification and validation can be used to show that specifications are consistent and ...such methods. Towards improving access to formal methods, we ...
10
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
Volume 22: Formal Methods for Interactive Systems 2009
... for formal (particularly verification) ap- ...art formal methods are capable of coping with the verification demand introduced by pervasive systems, and to point out their ...
16
Safety Design for Simulation Models based on Formal Methods
... Control theory researchers have been using DEVS models to for- malize discrete event systems for a long time. Despite such systems are one of the main targets of Software Engineers, the DEVS for- malism lacks tools ...
5
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 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 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
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
Formal Methods in Requirements Phase of SDLC
... Formal methods can be applied at various phases of development process such as at requirement specification phase (eliciting, articulating and representing requirements), software design phase, ...
8
New Opportunities for Integrated Formal Methods
... By formal methods, we refer to the use of formal ...both formal syntax and formal semantics ...of formal semantics [14, ...
31
New Opportunities for Integrated Formal Methods
... By formal methods, we refer to the use of formal ...both formal syntax and formal semantics ...Integrated formal methods (iFMs) allow the coordinated application of ...
18
Why Formal Methods Are Considered for Safety Critical Systems?
... of formal analysis of UML diagrams with formal approaches ...the formal methods can be used for safety properties of real time critical application such as ...
8
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