“Formalizing software processes” conference

Most of the software development companies are SMEs and, in general, develops short projects of medium complexity. They aim essentially to build software, minimizing possible activities related to the management of the development process. The formal definition of software process brings benefits such as eliminating ambiguity, the possibility of having computational support for storage and evolution allowing formal analysis. In the last years the ADAPTE project funded by the chilean government have made experiments about formalizing and analyzing software processes for a group of chilean companies.