Formal Methods of Software Development : Painted into the Corner of High-Integrity Computing?

1993 ◽  
pp. 11-22
Author(s):  
Margaret Tierney
Keyword(s):  
Software Development ◽  
Formal Methods ◽  
High Integrity

A framework for using formal methods in object-oriented software development

1992 ◽  
Vol 3 (2) ◽  
pp. 9-10 ◽  
Author(s):  
Richard Holt ◽  
Dennis deChampeaux
Keyword(s):  
Software Development ◽  
Formal Methods ◽  
Object Oriented

The Practical Application Of Formal Methods To High Integrity Systems

1993 ◽  
pp. 168-176
Author(s):  
Peter Bradley ◽  
Linda Shackleton ◽  
Victoria Stavridou
Keyword(s):  
Formal Methods ◽  
Practical Application ◽  
High Integrity

Applications of Formal Methods, Modeling, and Testing Strategies for Safe Software Development

2018 ◽  
pp. 275-296
Author(s):  
Alessandro Fantechi ◽  
Alessio Ferrari ◽  
Stefania Gnesi
Keyword(s):  
Software Development ◽  
Formal Methods ◽  
Testing Strategies

The Design and Implementation of a Editor that Supports Syntax Highlighting of E-Lotos

2011 ◽  
Vol 225-226 ◽  
pp. 1050-1053
Author(s):  
Xiao Qing Guo ◽  
Yu Lan Zhao ◽  
Chao Ji ◽  
Feng Xian Jiang ◽  
Le Le Feng
Keyword(s):  
Software Development ◽  
System Design ◽  
Formal Methods ◽  
Symbolic Execution ◽  
Formal Description ◽  
Formal Description Technique ◽  
Design And Implementation ◽  
Java Swing ◽  
Description Technique

Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. Generally, Formal methods need the support of formal description technique (FDT). Because the FDL has strict syntax and semantics. It is the realization of the abstract to the concrete, strictly, can be symbolic execution, unambiguous. E-LOTOS formal description is an important technology. This paper describes the design and the implement of the editor that support syntax highlighting of E-LOTOS. The editor is implemented using java Swing and JFlex.

The Role of Formal Methods in Software Development

1987 ◽  
Vol 2 (3) ◽  
pp. 124-134 ◽  
Author(s):  
John McDermid
Keyword(s):  
Software Development ◽  
Formal Methods
Sign in / Sign up

Export Citation Format

Share Document