{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:49:44Z","timestamp":1725551384192},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119279"},{"type":"electronic","value":"9783642119286"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","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-11928-6_3","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T11:21:07Z","timestamp":1270639267000},"page":"34-50","source":"Crossref","is-referenced-by-count":0,"title":["The Role of Concept, Context, and Component for Dependable Software Development"],"prefix":"10.1007","author":[{"given":"Vasu","family":"Alagar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mubarak","family":"Mohammad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaiyu","family":"Wan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"3_CR1","first-page":"55","volume":"17","author":"V. Akman","year":"1996","unstructured":"Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine\u00a017(3), 55\u201372 (1996)","journal-title":"AI Magazine"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"3_CR3","unstructured":"Carnap, R.: Meaning and Necessity. Chicago University Press (1947)"},{"issue":"5","key":"3_CR4","first-page":"26","volume":"8","author":"S.R. Christensen","year":"1995","unstructured":"Christensen, S.R.: Software reuse initiatives at lockheed. CrossTalk\u00a08(5), 26\u201331 (1995)","journal-title":"CrossTalk"},{"key":"3_CR5","first-page":"313","volume-title":"Attention and Performance IX","author":"H.H. Clark","year":"1981","unstructured":"Clark, H.H., Carlson, T.B.: Context for comprehension. In: Long, J., Baddeley, A. (eds.) Attention and Performance IX, pp. 313\u2013330. Lawrence Erlbaum Associates, Hillsdale (1981)"},{"key":"3_CR6","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9065-4","volume-title":"Introduction to Montague Semantics","author":"D. Dowty","year":"1980","unstructured":"Dowty, D., Wall, R., Peters, S.: Introduction to Montague Semantics. Studies in Linguistics and Philosophy, vol.\u00a011. Springer, Heidelberg (1980)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-44577-3_2","volume-title":"Informatics - 10 Years Back. 10 Years Ahead","author":"M.J. Franklin","year":"2001","unstructured":"Franklin, M.J.: Challenges in ubiquitous data management. In: Informatics - 10 Years Back. 10 Years Ahead, pp. 24\u201333. Springer, Heidelberg (2001)"},{"key":"3_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis, Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis, Mathematical Foundations. Springer, Heidelberg (1999)"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: Owl 2: The next step for owl. Web Semantics: Science, Services and Agents on the World Wide Web\u00a06(4), 309\u2013322 (2008)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"3_CR10","unstructured":"Jackson, D., Thomas, M., Millett, L.: Software for dependable systems: Sufficient evidence? Technical report, Committee on Certifiably Dependable Software Systems, National Research Council (2007)"},{"key":"3_CR11","unstructured":"McCarthy, J., Buvac, S.: Formalizing context (expanded notes). Technical report (1994)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-88030-1_23","volume-title":"Software Architecture","author":"M. Mohammad","year":"2008","unstructured":"Mohammad, M., Alagar, V.: TADL - an architectural description language for trustworthy component-based systems. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol.\u00a05292, pp. 290\u2013297. Springer, Heidelberg (2008)"},{"key":"3_CR13","unstructured":"Mohammad, M.S.: A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems. Phd thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada (2009)"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1109\/TSE.1984.5010280","volume":"10","author":"J.M. Neighbors","year":"1984","unstructured":"Neighbors, J.M.: The Draco approach to constructing software from reusable components. IEEE Transactions of Software Engineering\u00a010(5), 564\u2013574 (1984)","journal-title":"IEEE Transactions of Software Engineering"},{"key":"3_CR15","unstructured":"Oxford University (Oxford english dictionary), http:\/\/www.oed.com\/"},{"key":"3_CR16","volume-title":"Computer-Based Medical Consultations: MYCIN","author":"E.H. Shortliffe","year":"1976","unstructured":"Shortliffe, E.H.: Computer-Based Medical Consultations: MYCIN. Elsevier, Amsterdam (1976)"},{"key":"3_CR17","unstructured":"Stanford University: Protege. Stanford University and University of Manchester (2009), http:\/\/protege.stanford.edu\/"},{"key":"3_CR18","unstructured":"Thomason, R.H.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press (1974)"},{"key":"3_CR19","unstructured":"Wan, K.: Lucx: Lucid enriched with context. Phd thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11928-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,3]],"date-time":"2020-06-03T15:13:26Z","timestamp":1591197206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11928-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119279","9783642119286"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11928-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}