Categories for Software Engineering

  • Authors:

  • Jose Luiz Fiadeiro

  • Affiliations:

  • -

  • Venue:
  • Categories for Software Engineering
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.