Foundations of Sequence-Based Software Specification Export

@article{citeulike:1633870, abstract = {Rigorous specification early in the software development process can greatly reduce the cost of later development and maintenance, as well as provide an explicit means to manage risk and identify and meet safety requirements. Sequence-based software specification is a collection of techniques for implementing rigorous, practical software specification. The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent, and traceably correct specification is made practical by controlling the growth of the process.}, address = {Piscataway, NJ, USA}, author = {Prowell, Stacy J. and Poore, Jesse H.}, citeulike-article-id = {1633870}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=776754.776809}, citeulike-linkout-1 = {http://dx.doi.org/10.1109/TSE.2003.1199071}, citeulike-linkout-2 = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1199071 }, doi = {10.1109/TSE.2003.1199071}, issn = {0098-5589}, journal = {IEEE Trans. Softw. Eng.}, keywords = {sequence-based, software, specification}, month = {May}, number = {5}, pages = {417--429}, posted-at = {2007-09-08 15:29:44}, priority = {2}, publisher = {IEEE Press}, title = {Foundations of Sequence-Based Software Specification}, url = {http://dx.doi.org/10.1109/TSE.2003.1199071}, volume = {29}, year = {2003} }

TY - JOUR ID - citeulike:1633870 L3 - citeulike-article-id:1633870 N2 - Rigorous specification early in the software development process can greatly reduce the cost of later development and maintenance, as well as provide an explicit means to manage risk and identify and meet safety requirements. Sequence-based software specification is a collection of techniques for implementing rigorous, practical software specification. The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent, and traceably correct specification is made practical by controlling the growth of the process. IS - 5 JF - IEEE Trans. Softw. Eng. SN - 0098-5589 AD - Piscataway, NJ, USA EP - 429 TI - Foundations of Sequence-Based Software Specification PB - IEEE Press VL - 29 SP - 417 KW - sequence-based KW - software KW - specification AU - Prowell, Stacy AU - Poore, Jesse PY - 2003/05// UR - http://dx.doi.org/10.1109/TSE.2003.1199071 ER -