{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:28:19Z","timestamp":1725805699337},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_50","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T15:42:39Z","timestamp":1411746159000},"page":"604-618","source":"Crossref","is-referenced-by-count":14,"title":["On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems"],"prefix":"10.1007","author":[{"given":"Yamine","family":"Ait-Ameur","sequence":"first","affiliation":[]},{"given":"J. Paul","family":"Gibson","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Brachman, R.J. (ed.) AAAI, pp. 198\u2013202. AAAI Press (1984)"},{"key":"50_CR2","first-page":"25","volume":"24","author":"M. Uschold","year":"2003","unstructured":"Uschold, M.: Where are the semantics in the semantic web? AI Mag.\u00a024, 25\u201336 (2003)","journal-title":"AI Mag."},{"key":"50_CR3","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Willemet, L.: Inferring declarative requirements specifications from operational scenarios. IEEE Trans. Softw. Eng.\u00a024, 1089\u20131114 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"50_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis.\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowl. Acquis."},{"key":"50_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-34032-1_33","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"Y. Ait-Ameur","year":"2012","unstructured":"Ait-Ameur, Y., M\u00e9ry, D.: Handling heterogeneity in formal developments of hardware and software systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 327\u2013328. Springer, Heidelberg (2012)"},{"key":"50_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/582128.582134","volume-title":"Proceedings of the First Workshop on Self-healing Systems, WOSS 2002","author":"D. Garlan","year":"2002","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the First Workshop on Self-healing Systems, WOSS 2002, pp. 27\u201332. ACM, New York (2002)"},{"key":"50_CR7","unstructured":"Bjorner, D.: Software Engineering 1 Abstraction and Modelling; Software Engineering 2 Specification of Systems and Languages, Software Engineering 3 Domains, Requirements, and Software Design. Texts in Theoretical Computer Science. An EATCS Series. Springer (2006)"},{"key":"50_CR8","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"50_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1173706.1173740","volume-title":"Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Abrial, J.R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006, pp. 221\u2013236. ACM, New York (2006)"},{"issue":"1","key":"50_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(81)90005-2","volume":"23","author":"R.J.R. Back","year":"1981","unstructured":"Back, R.J.R.: On correct refinement of programs. Journal of Computer and Systems Sciences\u00a023(1), 49\u201368 (1981)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"50_CR12","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"issue":"3","key":"50_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s001650300002","volume":"14","author":"J.R. Abrial","year":"2003","unstructured":"Abrial, J.R., Cansell, D., M\u00e9ry, D.: A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal Asp. Comput.\u00a014(3), 215\u2013227 (2003)","journal-title":"Formal Asp. Comput."},{"issue":"1-2","key":"50_CR14","first-page":"1","volume":"77","author":"J.R. Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to event-b. Fundam. Inf.\u00a077(1-2), 1\u201328 (2007)","journal-title":"Fundam. Inf."},{"key":"50_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2007.01.060","volume":"183","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., Gibson, J.P., M\u00e9ry, D.: Refinement: A constructive approach to formal software design for a secure e-voting interface. Electr. Notes Theor. Comput. Sci.\u00a0183, 39\u201355 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"50_CR16","unstructured":"Jean, S., Pierra, G., A\u00eft-Ameur, Y.: Domain ontologies: A database-oriented analysis. In: Cordeiro, J.A.M., Pedrosa, V., Encarna\u00e7\u00e3o, B., Filipe, J. (eds.) WEBIST (1), pp. 341\u2013351. INSTICC Press (2006)"},{"key":"50_CR17","unstructured":"Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L., et al.: Owl web ontology language reference. W3C recommendation 10, 2006-01 (2004)"},{"key":"50_CR18","doi-asserted-by":"crossref","unstructured":"Bozsak, E., Ehrig, M., Handschuh, S., Hotho, A., Maedche, A., Motik, B., Oberle, D., Schmitz, C., Staab, S., Stojanovic, L., et al.: Kaon\u2014towards a large scale semantic web. E-Commerce and Web Technologies, 231\u2013248 (2002)","DOI":"10.1007\/3-540-45705-4_32"},{"key":"50_CR19","unstructured":"Pierra, G.: Context-explication in conceptual ontologies: the plib approach. In: Proceedings of the 10th ISPE International Conference on Concurrent Engineering (CE 2003). Enhanced Interoperable Systems, vol.\u00a026, p. 2003 (2003)"},{"key":"50_CR20","first-page":"26","volume-title":"Proceedings of the 7th ACM International Symposium on Advances in Geographic Information Systems, GIS 1999","author":"C. Parent","year":"1999","unstructured":"Parent, C., Spaccapietra, S., Zim\u00e1nyi, E.: Spatio-temporal conceptual models: data structures + space + time. In: Proceedings of the 7th ACM International Symposium on Advances in Geographic Information Systems, GIS 1999, pp. 26\u201333. ACM, New York (1999)"},{"key":"50_CR21","unstructured":"Stephenson, A., Mulville, D., Bauer, F., Dukeman, G., Norvig, P., LaPiana, L., Rutledge, P., Folta, D., Sackheim, R.: Mars climate orbiter mishap investigation board phase I report. Technical report, NASA, Washington, DC (1999)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T01:07:58Z","timestamp":1650244078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}