{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:38:03Z","timestamp":1694626683862},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":2523,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001700","name":"Ministry of Education, Culture, Sports, Science and Technology","doi-asserted-by":"publisher","award":["1750017"],"id":[{"id":"10.13039\/501100001700","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1016\/j.entcs.2006.07.002","type":"journal-article","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T11:12:21Z","timestamp":1157973141000},"page":"45-56","source":"Crossref","is-referenced-by-count":3,"title":["An Aspect-Oriented Approach to Modular Behavioral Specification"],"prefix":"10.1016","volume":"163","author":[{"given":"Kiyoshi","family":"Yamada","sequence":"first","affiliation":[]},{"given":"Takuo","family":"Watanabe","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2006.07.002_bib001","author":"Aspect Research Associates"},{"key":"10.1016\/j.entcs.2006.07.002_bib002","author":"Bernstein"},{"key":"10.1016\/j.entcs.2006.07.002_bib003","author":"Diotalevi"},{"key":"10.1016\/j.entcs.2006.07.002_bib004","unstructured":"Ishio, T., T. Kamiya, S. Kusumoto and K. Inoue, Assertion with aspect, in: International Workshop on Software Engineering Properties for Aspect Technologies (SPLAT2004), 2004"},{"key":"10.1016\/j.entcs.2006.07.002_bib005","series-title":"ECOOP 2001: Object-Oriented Programming","first-page":"327","article-title":"An overview of AspectJ","volume":"2072","author":"Kiczales","year":"2001"},{"key":"10.1016\/j.entcs.2006.07.002_bib006","series-title":"ECOOP '97: Object-Oriented Programming","first-page":"220","article-title":"Aspect-oriented programming","volume":"1241","author":"Kiczales","year":"1997"},{"key":"10.1016\/j.entcs.2006.07.002_bib007","series-title":"Behavioral Specifications for Businesses and Systems","first-page":"175","article-title":"JML: A notation for detailed design","author":"Leavens","year":"1999"},{"key":"10.1016\/j.entcs.2006.07.002_bib008","series-title":"Proceedings of the 22nd International Conference on Software Engineering","first-page":"418","article-title":"A study on exception detection and handling using aspect-oriented programming","author":"Lippert","year":"2000"},{"key":"10.1016\/j.entcs.2006.07.002_bib009","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","article-title":"A behavioral notion of subtyping","volume":"16","author":"Liskov","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.entcs.2006.07.002_bib010","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","article-title":"Applying \u201cDesign by contract\u201d","volume":"25","author":"Meyer","year":"1992","journal-title":"IEEE Computer"},{"key":"10.1016\/j.entcs.2006.07.002_bib011","series-title":"Software Security: Theories and Systems","first-page":"201","article-title":"AnZenMail: A secure and certified e-mail system","volume":"2609","author":"Shibayama","year":"2003"},{"key":"10.1016\/j.entcs.2006.07.002_bib012","author":"Sun Microsystems Inc."},{"key":"10.1016\/j.entcs.2006.07.002_bib013","doi-asserted-by":"crossref","unstructured":"Zhang, J., J. Gray and Y. Lin, A model-driven approach to enforce crosscutting assertion checking, in: Workshop on Modeling and Analysis of Concerns in Software (MACS 2005), 2005","DOI":"10.1145\/1083125.1083138"},{"key":"10.1016\/j.entcs.2006.07.002_bib014","series-title":"Fundamental Approach to Software Engineering","first-page":"150","article-title":"Pipa: A behavioral interface specification language for AspectJ","volume":"2621","author":"Zhao","year":"2003"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066106004634?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066106004634?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:39:03Z","timestamp":1657856343000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066106004634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["S1571066106004634"],"URL":"http:\/\/dx.doi.org\/10.1016\/j.entcs.2006.07.002","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}
