Context: Formal Methods in Software Engineering

2005 ◽  
pp. 5-12
Author(s):  
Heinrich Rust
Keyword(s):  
Software Engineering ◽  
Formal Methods

scholarly journals Software engineering and formal methods: SEFM 2019 special section

2021 ◽  
Vol 20 (2) ◽  
pp. 291-292
Author(s):  
Peter Csaba Ölveczky ◽  
Gwen Salaün
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Special Section

scholarly journals Software engineering and formal methods

2008 ◽  
Vol 51 (9) ◽  
pp. 54-59 ◽  
Author(s):  
Mike Hinchey ◽  
Michael Jackson ◽  
Patrick Cousot ◽  
Byron Cook ◽  
Jonathan P. Bowen ◽  
...  
Keyword(s):  
Software Engineering ◽  
Formal Methods

Formal Methods in Software Engineering

2005 ◽  
pp. 1205-1211 ◽  
Author(s):  
Aristides Dasso ◽  
Ana Funes
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
General Rule ◽  
Engineering Applications

As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.

Sign in / Sign up

Export Citation Format

Share Document