{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:04:31Z","timestamp":1725894271888},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540737698"},{"type":"electronic","value":"9783540737704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73770-4_2","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T16:00:13Z","timestamp":1187971213000},"page":"17-40","source":"Crossref","is-referenced-by-count":0,"title":["Testable Requirements and Specifications"],"prefix":"10.1007","author":[{"given":"Jonathan S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faraz Ahmadi","family":"Torshizi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"2_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/MS.2003.1231156","volume":"20","author":"S. Ambler","year":"2003","unstructured":"Ambler, S.: Agile Model Driven Development is Good Enough. IEEE Software\u00a020(5), 71\u201373 (2003)","journal-title":"IEEE Software"},{"key":"2_CR2","unstructured":"Andronache, T.: The english language as an effective it tool. Computerworld, 18 (February 2007)"},{"key":"2_CR3","unstructured":"Barnett, M., DeLine, R., Jacobs, B., Fhndrich, M., Rustan, K., Leino, M., Schulte, W., Venter, H.: The Spec# Programming System: Challenges and Directions. Position paper at VSTTE (2005)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, Springer, Heidelberg (2006)"},{"key":"2_CR5","unstructured":"Standish Group. Project management: The criteria for success. Software Magazine (February 2001)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Inf.\u00a01, 271\u2013281 (1972)","journal-title":"Acta Inf."},{"key":"2_CR7","volume-title":"Problem frames: analyzing and structuring software development problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem frames: analyzing and structuring software development problems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (2001)"},{"key":"2_CR8","volume-title":"Fit for Developing Software: Framework for Integrated Tests","author":"R. Mugridge","year":"2005","unstructured":"Mugridge, R., Cunningham, W.: Fit for Developing Software: Framework for Integrated Tests. Prentice-Hall, Englewood Cliffs (2005)"},{"key":"2_CR9","unstructured":"Ostroff, J., Wang, C.-W., Kerfoot, E., Torshizi, F.A.: Automated model-based verification of object oriented code. In: Verified Theories: Theories, Tools, Experiments (VSTTE Workshop, Floc 2006). Microsoft Research MSR-TR-2006-117 (2006)"},{"issue":"3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1049\/ip-sen:20000681","volume":"147","author":"J.S. Ostroff","year":"2000","unstructured":"Ostroff, J.S., Paige, R.F.: The Logic of Software Design. Proc. IEE - Software\u00a0147(3), 72\u201380 (2000)","journal-title":"Proc. IEE - Software"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Ostroff, J.S., Paige, R.F., Makalsky, D., Brooke, P.J.: E-tester: a contract-aware and agent-based unit testing framework for eiffel. Journal of Object Technology\u00a04(7) (September-October 2005)","DOI":"10.5381\/jot.2005.4.7.a4"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Paige, R., Ostroff, J.S.: The Single Model Principle. Journal of Object Oriented Technology\u00a01(5) (2002)","DOI":"10.5381\/jot.2002.1.5.c6"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"FM\u201999 - Formal Methods","author":"R.F. Paige","year":"1999","unstructured":"Paige, R.F., Ostroff, J.S.: Developing BON as an Industrial-Strength Formal Method (Developing BON as an Industrial-Strength Formal Method). In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, Springer, Heidelberg (1999)"},{"key":"2_CR14","unstructured":"Torshizi, F.A., Ostroff, J.S.: ESpec \u2013 a Tool for Agile Development via Early Testable Specifications. Technical Report CS-2006-04, York University, Toronto (2006)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73770-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:58:35Z","timestamp":1619517515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73770-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540737698","9783540737704"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73770-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}