乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:27:03Z","timestamp":1720625223389},"reference-count":23,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"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":3011,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1016\/j.entcs.2004.08.063","type":"journal-article","created":{"date-parts":[[2005,5,18]],"date-time":"2005-05-18T13:23:08Z","timestamp":1116422588000},"page":"159-174","source":"Crossref","is-referenced-by-count":9,"special_numbering":"C","title":["Object Oriented Concepts Identification from Formal B Specifications"],"prefix":"10.1016","volume":"133","author":[{"given":"Akram","family":"Idani","sequence":"first","affiliation":[]},{"given":"Yves","family":"Ledru","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2004.08.063_bib001","series-title":"Proceedings of FM'99: World Congress on Formal Methods","first-page":"369","article-title":"METEOR: A successful application of B in a large project","volume":"number 1709","author":"Behm","year":"1999"},{"key":"10.1016\/j.entcs.2004.08.063_bib002","series-title":"Integrated Formal Methods","article-title":"Construction of Finite Labelled Transition Systems from B Abstract Systems","volume":"volume 1945","author":"Bert","year":"2000"},{"issue":"2","key":"10.1016\/j.entcs.2004.08.063_bib003","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1049\/ip-sen:19970974","article-title":"Formal methods into practice: case studies in the application of the B method","volume":"144","author":"Bicarregui","year":"1997","journal-title":"IEE Proceedings on Software Engineering"},{"key":"10.1016\/j.entcs.2004.08.063_bib004","series-title":"Formal Methods Europe","article-title":"Development of an embedded verifier for java card byte code using formal methods","volume":"volume 2391","author":"Casset","year":"2002"},{"key":"10.1016\/j.entcs.2004.08.063_bib005","series-title":"Proceedings of European Software Engineering Conference","first-page":"37","article-title":"Integrating structured and formal methods: A visual approach to VDM","volume":"volume 550","author":"Dick","year":"1991"},{"issue":"1","key":"10.1016\/j.entcs.2004.08.063_bib006","article-title":"Vers une int\u00e9gration utile de notations semiformelles et formelles: une exp\u00e9rience en UML et Z","volume":"6","author":"Dupuy","year":"2000","journal-title":"L'objet, num\u00e9ro th\u00e9matique Approches formelles \u00e0 objets"},{"key":"10.1016\/j.entcs.2004.08.063_bib007","unstructured":"Houda Fekih, Leila Jemni, and Stephan Merz. Transformation des sp\u00e9cifications B en des diagrammes UML. In AFADL : Approches Formelles dans l'Assistance au D\u00e9veloppement de Logiciels, 2004"},{"key":"10.1016\/j.entcs.2004.08.063_bib008","series-title":"4th International Conference on Formal Engineering Methods","first-page":"511","volume":"2495","author":"Hammad","year":"2002"},{"issue":"3","key":"10.1016\/j.entcs.2004.08.063_bib009","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.entcs.2004.08.063_bib010","unstructured":"A. Idani. Documentation graphique des projets B. Rapport de DEA, Univ. Joseph Fourier, Grenoble, France, 2003"},{"key":"10.1016\/j.entcs.2004.08.063_bib011","series-title":"International Conference on Automated Software Engineering","article-title":"An overview of a method and its support tool for generating B specifications from UML notations","author":"Laleau","year":"2000"},{"key":"10.1016\/j.entcs.2004.08.063_bib012","series-title":"ZB'2002 \u2013 Formal Specification and Development in Z and B","first-page":"517","article-title":"Coming and going from UML to B: A proposal to support traceability in rigorous IS development","author":"Laleau","year":"2002"},{"key":"10.1016\/j.entcs.2004.08.063_bib013","series-title":"Formal object-oriented development","author":"Lano","year":"1995"},{"key":"10.1016\/j.entcs.2004.08.063_bib014","series-title":"Method Integration Workshop, Electronic Workshop in Computing, Leeds, Mars","doi-asserted-by":"crossref","DOI":"10.14236\/ewic\/MI1996.10","article-title":"Intregrated Formal and Object-Oriented Methods: The VDM++ Approach","author":"Lano","year":"1996"},{"key":"10.1016\/j.entcs.2004.08.063_bib015","series-title":"Formal Methods and Object technology","article-title":"Integrating Formal and Structured Methods in Object-Oriented System Development","author":"Lano","year":"1996"},{"key":"10.1016\/j.entcs.2004.08.063_bib016","series-title":"Integrated Formal Methods, Third International Conference","first-page":"109","article-title":"Contributions for modelling UML state-charts in B","volume":"volume 2335","author":"Ledang","year":"2002"},{"key":"10.1016\/j.entcs.2004.08.063_bib017","series-title":"FME 2003: Formal Methods","first-page":"855","article-title":"ProB: A model checker for B","volume":"2805","author":"Leuschel","year":"2003"},{"key":"10.1016\/j.entcs.2004.08.063_bib018","series-title":"B'98: The 2nd International B Conference, Recent Advances in the Development and Use of the B Method","article-title":"Graphical design of reactive systems","volume":"volume 1393","author":"Sekerinski","year":"1998"},{"key":"10.1016\/j.entcs.2004.08.063_bib019","unstructured":"C. Snook and M. Butler. Using a graphical design tool for formal specification. In Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001"},{"key":"10.1016\/j.entcs.2004.08.063_bib020","series-title":"The Z notation - A Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/j.entcs.2004.08.063_bib021","series-title":"2nd IEEE International Symposium on Signal Processing and Information Technology","article-title":"From an abstract B specification to UML class diagrams","author":"Tatibouet","year":"2002"},{"key":"10.1016\/j.entcs.2004.08.063_bib022","series-title":"16th International Conference on Software and Systems Engineering and their applications","article-title":"Generating statecharts from B specifications","author":"Tatibouet","year":"2003"},{"key":"10.1016\/j.entcs.2004.08.063_bib023","series-title":"The Object Constraint Langage: Precise Modeling with UML","author":"Warmer","year":"1999"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105050292?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105050292?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T10:55:01Z","timestamp":1586256901000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105050292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":23,"alternative-id":["S1571066105050292"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2004.08.063","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}