University of Limerick Institutional Repository

Disciplined methods of software specifications: a case study

DSpace Repository

Show simple item record

dc.contributor.author Baber, Robert L.
dc.contributor.author Parnas, David Lorge
dc.contributor.author Vilkomir, Sergiy A.
dc.contributor.author Harrison, Paul
dc.contributor.author O'Connor, Tony
dc.date.accessioned 2009-05-12T11:10:37Z
dc.date.available 2009-05-12T11:10:37Z
dc.date.issued 2005
dc.identifier.citation Baber, R., Parnas, D., Vilkomir, S., Harrison, P., O'Connor, T., "Disciplined Methods of Software Specifications: A Case Study", Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005), April 4-6, 2005, Las Vegas, NV, USA, IEEE Computer Society. en
dc.identifier.uri http://hdl.handle.net/10344/151
dc.description non-peer-reviewed
dc.description.abstract 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 such methods by allowing them to pick the best one for their problem. The object for the case study is software used by Dell Products for testing the functionality of the keyboards on notebook computers. Starting from informal documents, we developed a variety of tabular representations of finite state machine specifications and tabular trace specifications. We found that the discipline required by these methods raised issues that had never been considered and resulted in documents that were both more complete and much clearer. The various tabular representations are compared from a user’s point of view, i.e., clarity, consistency, unambiguity, completeness, suitability, etc. en
dc.language.iso eng en
dc.publisher IEEE Computer Society en
dc.relation.ispartofseries Proceedings of the International Conference on Information Technology Coding and Computing (ITCC 2005);
dc.subject software en
dc.subject tabular specifications en
dc.subject finite state machine en
dc.subject traces en
dc.subject trace specifications en
dc.title Disciplined methods of software specifications: a case study en
dc.type Conference item en
dc.type.supercollection all_ul_research en
dc.type.restriction none en
dc.identifier.local 09SQRL1021
dc.contributor.sponsor SFI
dc.relation.projectid 01/P1.2/C009
dc.relation.projectid 03/CE3/1405


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics