Formal Methods in Software Engineering
Aristides Dasso, Ana Funes
Abstract
Aristides Dasso, Ana Funes
Abstract
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.
OpenAlex reports 16 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Software engineering, Computer science, Basis (linear algebra), Programming language, Mathematics, Geometry