University of Limerick Institutional Repository

Browsing by Subject "traces"

DSpace Repository

Browsing by Subject "traces"

Sort by: Order: Results:

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

Search DSpace


My Account