Business users spend a great deal of money on new software systems. For this
they demand faithful implementation of their project objectives. And they
expect enough visibility into an application to verify that their goals have
been implemented. This visibility also ensures that changes can be identified
to satisfy new business goals.
One approach to meeting these objectives is the use of a formal specification
language. The intent is that the increased formality in the specification
will lead to an implementation closer to the goals of the business. Formal
specification approaches include algebraic languages such as Z and
diagrammatic languages such as UML. While many such languages have been
developed, few can serve as a bridge between business users and software
dev... (more)
The publishing industry has long used markup languages in the production of
publications to a general readership. Now XML greatly facilitates the design
of publishing systems whose capabilities include not only control of
formatting, but also control of content selection according to the needs of
the individual reader.
Customers of financial services firms don't need to settle for advice ... (more)