Lightweight Formal Methods for Scenario-Based Software Engineering

2005 ◽  
pp. 174-192 ◽  
Author(s):  
Yves Bontemps ◽  
Patrick Heymans ◽  
Pierre-Yves Schobbens
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Lightweight 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