This talk presents the results of a study on software development using functional programming, based on a real industrial case. The integral process of software development is addressed from the declarative paradigm point of view, and this talk goes through the properties that functional technology gives to both software and its construction process, from the early analysis and design development phases, up to the final and no less critical verification and validation stages. In particular, the strengths and opportunities that emerge in the broad field of testing, thanks to the use of functional programming specifically, Erlang/OTP), are presented.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…