{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:50:09Z","timestamp":1729619409969,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/rcis.2010.5507358","type":"proceedings-article","created":{"date-parts":[[2010,7,20]],"date-time":"2010-07-20T18:44:45Z","timestamp":1279651485000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["IT Architecture automatic verification: A network evidence-based approach"],"prefix":"10.1109","author":[{"given":"Antonio","family":"Alegria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"journal-title":"Logtalk - Design of an Object-Oriented Logic Programming Language","year":"2003","author":"moura","key":"ref32"},{"journal-title":"Oracle Database Net Services Reference ? 10g Release 2 (10 2)","first-page":"14213","year":"2005","key":"ref31"},{"journal-title":"The Oracle Hacker's Handbook Hacking and Defending Oracle","year":"2007","author":"litchfield","key":"ref30"},{"journal-title":"Uma experi&#x00EA;ncia open-source para &#x201C;tomar o pulso&#x201D; e &#x201C;ter o pulso&#x201D; sobre a fun&#x00E7;&#x00E3;o de sistemas e tecnologias de informa&#x00E7;&#x00E3;o","year":"2004","author":"alegria","key":"ref36"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8911-8","author":"merrit","year":"1989","journal-title":"Building Expert System in Prolog"},{"journal-title":"Artificial Intelligence A Modern Approach","year":"2002","author":"russel","key":"ref34"},{"journal-title":"Planning for CMDB Design and Adoption An Industry Colloquium","year":"2005","author":"drogseth","key":"ref10"},{"journal-title":"The Forrester Wave Application Mapping For The CMDB Ql 2006","year":"2006","author":"garbani","key":"ref11"},{"key":"ref12","first-page":"31","article-title":"Enterprise Architecture Analysis: An Information System Evaluation Approach","volume":"3","author":"vasconcelos","year":"2008","journal-title":"Enterprise Modelling and Information Systems Architectures"},{"key":"ref13","volume":"1 2","author":"vasconcelos","year":"2006","journal-title":"CEO Framework UML Profile"},{"journal-title":"Management Information Systems Managing the Digital Firm","year":"2006","author":"laudon","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/BDIM.2008.4540082"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/BDIM.2006.1649212"},{"journal-title":"IPAudit Web Site","year":"2005","author":"rifkin","key":"ref17"},{"journal-title":"pOf2 README","year":"2006","author":"zalewski","key":"ref18"},{"journal-title":"About Passive Asset Detection System (PADS)","year":"2005","author":"shelton","key":"ref19"},{"journal-title":"CEO Framework ? Netfacts Mapping and Verification Rules","year":"2009","author":"alegria","key":"ref28"},{"key":"ref4","first-page":"1","article-title":"Enterprise Architecture: The Issue of the Century","author":"zachman","year":"1997","journal-title":"Database Programming and Design"},{"journal-title":"PROLOG Programming for Artificial Intelligence","year":"2001","author":"bratko","key":"ref27"},{"key":"ref3","first-page":"91","article-title":"Information System Architecture Metrics: an Enterprise Engineering Evaluation Approach","volume":"10","author":"vasconcelos","year":"2007","journal-title":"Electronic Journal of Information Systems Evaluation"},{"journal-title":"Enterprise Architecture Planning Developing a Blueprint for Data Applications and Technology","year":"1992","author":"spewak","key":"ref6"},{"journal-title":"WEBrick - An HTTP Server Toolkit","article-title":"Internet Programming with Ruby writers","year":"2003","key":"ref29"},{"journal-title":"Automated Application Discovery The Enterprise Architect's Auto-Aide","year":"2007","author":"brett","key":"ref5"},{"key":"ref8","article-title":"ArchiMate Language Primer","author":"lankhorst","year":"2004","journal-title":"Telematica Instituut Enschede"},{"journal-title":"The Open Group Architectural Framework - Version 8 1 Enterprise Edition","year":"2009","key":"ref7"},{"key":"ref2","article-title":"Chapter 5: Processes Involved in EA","author":"land","year":"2008","journal-title":"Enterprise Architecture (The Enterprise Engineering Series) Creating Value by Informed Governance"},{"year":"2008","key":"ref9"},{"key":"ref1","article-title":"Chapter 2: Overview","author":"land","year":"2008","journal-title":"Enterprise Architecture (The Enterprise Engineering Series) Creating Value by Informed Governance"},{"journal-title":"Open Systems Interconnection - Basic Reference Model","year":"1994","key":"ref20"},{"journal-title":"Oracle Real User Experience Insight - An Oracle White Paper","year":"2008","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1956.1056813"},{"journal-title":"Netwitness Investigator","year":"2009","key":"ref24"},{"journal-title":"The SynoptiQ Engine The Power Behind Secerno DataWall","year":"2009","key":"ref23"},{"journal-title":"CEO Framework Technology Architecture Extensions","year":"2009","author":"alegria","key":"ref26"},{"journal-title":"Netfacts Model Specification","year":"2009","author":"alegria","key":"ref25"}],"event":{"name":"2010 Fourth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2010,5,19]]},"location":"Nice, France","end":{"date-parts":[[2010,5,21]]}},"container-title":["2010 Fourth International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5492931\/5507122\/05507358.pdf?arnumber=5507358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T11:07:49Z","timestamp":1497870469000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5507358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/rcis.2010.5507358","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}