{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:33:06Z","timestamp":1743010386396,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642163845"},{"type":"electronic","value":"9783642163852"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16385-2_29","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T01:34:48Z","timestamp":1287970488000},"page":"232-241","source":"Crossref","is-referenced-by-count":3,"title":["DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties"],"prefix":"10.1007","author":[{"given":"Irbis","family":"Gallegos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ann Q.","family":"Gates","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Tweedie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Smith, R., Avrunin, G., Clarke, L., Osterweil, L.: PROPEL: An Approach Supporting Property Elucidation. In: Proc. of the 22rd Intl. Conf. on Software Engineering, ICSE (2002)","DOI":"10.1145\/581339.581345"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Facilitating the Construction of Specification Pattern-Based Properties. In: Proc. 13th IEEE Intl. Conf. Requirements Engineering, pp. 329\u2013338 (2005)","DOI":"10.1109\/RE.2005.29"},{"key":"29_CR3","unstructured":"Canada Federal Department of Fisheries and Oceans. Data Quality Assurance (QC) at the Marine Environmental Data Service (MEDS). DFO ISDM Quality Control, http:\/\/www.meds-sdmm.dfo-mpo.gc.ca\/meds\/Prog_Int\/WOCE\/WOCE_UOT\/qcproces_e.htm"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"1488","DOI":"10.1175\/1520-0426(2003)020<1488:POFMWP>2.0.CO;2","volume":"20","author":"W. Lambert","year":"2003","unstructured":"Lambert, W., Merceret, F.J., Taylor, G.E., Ward, J.G.: Performance of Five 915-MHz Wind Profilers and an Associated Automated Quality Control Algorithm in an Operational Environment. J. of Atmospheric and Oceanic Technology\u00a020, 1488\u20131495 (2003)","journal-title":"J. of Atmospheric and Oceanic Technology"},{"key":"29_CR5","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: A System of Specification Patterns. In: Proc. of the 2nd Workshop on Formal Methods in Software Practice (1998)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Mondragon, O., Gates, A.Q.: Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions. Intl. J. Software Engineering and Knowledge Engineering\u00a014(1) (2004)","DOI":"10.1142\/S0218194004001567"},{"key":"29_CR7","unstructured":"Ziemann, P., Gogolla, M.: An Extension of OCL with Temporal Logic. In: J\u00fcrjens, J., Cengarle, M.V., Fernandez, E.B., Rumpe, B., Sandner, R. (eds.) Critical Systems Development with UML, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, pp. 53\u201362 (2002)"},{"key":"29_CR8","unstructured":"Flake, S.: Temporal OCL Extensions for Specification of Real-Time Constraints. In: Proc. SVERTS Workshop at UML 2003 (2003)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling \u2013 Applications and Challenges"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16385-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T17:08:05Z","timestamp":1559754485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16385-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163845","9783642163852"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16385-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}