The management of project portfolio in a company requires the use of specific software, especially when the number of projects is significant. This paper is based on the Methodology for the development of IT projects portfolio management applications research project. This paper presents some of...

It is argued that applying formal methods to standards making would result in more accurate, more understandable, and more useful standards. The main benefit seen in using formal methods in a standard's development and expression is improving the standard's quality. In the early stages of...