Formal Methods and Software Engineering

2016 ◽  
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.

scholarly journals Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

2009 ◽  
Vol 10 (1) ◽  
pp. 55-62 ◽  
Author(s):  
Joaquin Peña ◽  
Christopher A. Rouff ◽  
Mike Hinchey ◽  
Antonio Ruiz-Cortés
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Agent Oriented Software Engineering
Sign in / Sign up

Export Citation Format

Share Document