LSD is one of many programming languages designed to develop agent-based models. LSD implements time-driven models expressed in formats equivalent to discrete systems of equations, where each equation computes the value of a generic instance of a variable at a generic time step. LSD models are...

LSD is one of many programming languages designed to develop agent-based models. LSD implements time-driven models expressed in formats equivalent to discrete systems of equations, where each equation computes the value of a generic instance of a variable at a generic time step. LSD models are...

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...

The design and implementation of a computer-based information system for research and for outlook and situation processsing within the Economics Statistics, and Cooperatives Service uncovered many critical areas: user orientation, data management, analytical capability, and clarity of output....