Density functional theory is a widely used computer-based quantum mechanical method for calculating properties of atoms, ...

An early step in the methodology is the creation of a formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the ...