Baber, Robert L.; Parnas, David Lorge; Vilkomir, Sergiy A.; Harrison, Paul; O'Connor, Tony
(IEEE Computer Society, 2005)
We describe our experience applying tabular
mathematical approaches to software specifications.
Our purpose is to show alternative approaches to
writing tabular specifications and to help practitioners who want to apply ...