[ { "key": "G3AVXGGM", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/G3AVXGGM", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/G3AVXGGM", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Staskauskas", "parsedDate": "1996", "numChildren": 0 }, "data": { "key": "G3AVXGGM", "version": 1, "itemType": "journalArticle", "title": "An experience in the formal verification of industrial software", "creators": [ { "creatorType": "author", "firstName": "M. G.", "lastName": "Staskauskas" } ], "abstractNote": "", "publicationTitle": "Commun. ACM", "publisher": "", "place": "", "date": "1996", "volume": "39", "issue": "12es", "section": "", "partNumber": "", "partTitle": "", "pages": "256", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T05:03:34Z", "dateModified": "2010-03-16T05:03:34Z" } }, { "key": "QHBWR9EJ", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/QHBWR9EJ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/QHBWR9EJ", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Hall", "parsedDate": "1990", "numChildren": 0 }, "data": { "key": "QHBWR9EJ", "version": 1, "itemType": "journalArticle", "title": "Seven Myths of Formal Methods", "creators": [ { "creatorType": "author", "firstName": "Anthony", "lastName": "Hall" } ], "abstractNote": "", "publicationTitle": "IEEE Software", "publisher": "", "place": "", "date": "1990", "volume": "September", "issue": "", "section": "", "partNumber": "", "partTitle": "", "pages": "11-19", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:59:36Z", "dateModified": "2010-03-16T04:59:36Z" } }, { "key": "EQSBUWQX", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/EQSBUWQX", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/EQSBUWQX", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Cohen", "parsedDate": "1989", "numChildren": 0 }, "data": { "key": "EQSBUWQX", "version": 1, "itemType": "journalArticle", "title": "A rejustification of formal methods", "creators": [ { "creatorType": "author", "firstName": "B.", "lastName": "Cohen" } ], "abstractNote": "", "publicationTitle": "Software Engineering Journal", "publisher": "", "place": "", "date": "1989", "volume": "January", "issue": "", "section": "", "partNumber": "", "partTitle": "", "pages": "36-38", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:59:16Z", "dateModified": "2010-03-16T04:59:16Z" } }, { "key": "FSAM2AA6", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/FSAM2AA6", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/FSAM2AA6", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Fitzgerald et al.", "parsedDate": "1995", "numChildren": 0 }, "data": { "key": "FSAM2AA6", "version": 1, "itemType": "book", "title": "Applications of Formal Methods", "creators": [ { "creatorType": "author", "firstName": "J. S.", "lastName": "Fitzgerald" }, { "creatorType": "author", "firstName": "P. G.", "lastName": "Larsen" }, { "creatorType": "author", "firstName": "T.", "lastName": "Brookes" }, { "creatorType": "author", "firstName": "M.", "lastName": "Green" }, { "creatorType": "editor", "firstName": "MG Bowen", "lastName": "Hinchey" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "1995", "publisher": "Prentice Hall International", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:59:16Z", "dateModified": "2010-03-16T04:59:16Z" } }, { "key": "8A6F89KT", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/8A6F89KT", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/8A6F89KT", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/13897/items/HQFG2AUQ", "type": "application/json" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } } }, "data": { "key": "8A6F89KT", "version": 1, "parentItem": "HQFG2AUQ", "itemType": "attachment", "linkMode": "imported_url", "title": "Formal Methods - Specification Methods", "accessDate": "2009-04-15T08:27:29Z", "url": "https://www.dacs.dtic.mil/techs/fmreview/specification.php", "note": "", "contentType": "text/html", "charset": "windows-1252", "filename": "specification.html", "md5": null, "mtime": 2147483647, "tags": [], "relations": {}, "dateAdded": "2010-03-16T04:55:58Z", "dateModified": "2010-03-16T04:55:58Z" } }, { "key": "CMVPIXNE", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/CMVPIXNE", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/CMVPIXNE", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Bowen and Hinchey", "parsedDate": "2006", "numChildren": 0 }, "data": { "key": "CMVPIXNE", "version": 1, "itemType": "journalArticle", "title": "Ten Commandments of Formal Methods ...Ten Years Later", "creators": [ { "creatorType": "author", "firstName": "Jonathan P.", "lastName": "Bowen" }, { "creatorType": "author", "firstName": "Michael G.", "lastName": "Hinchey" } ], "abstractNote": "", "publicationTitle": "Computer", "publisher": "", "place": "", "date": "2006", "volume": "39", "issue": "1", "section": "", "partNumber": "", "partTitle": "", "pages": "40-48", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:55:58Z", "dateModified": "2010-03-16T04:55:58Z" } }, { "key": "TXT48526", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/TXT48526", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/TXT48526", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Bowen and Hinchey", "parsedDate": "1995", "numChildren": 0 }, "data": { "key": "TXT48526", "version": 1, "itemType": "journalArticle", "title": "Ten Commandments of Formal Methods", "creators": [ { "creatorType": "author", "firstName": "Jonathan P.", "lastName": "Bowen" }, { "creatorType": "author", "firstName": "Michael G.", "lastName": "Hinchey" } ], "abstractNote": "", "publicationTitle": "Computer", "publisher": "", "place": "", "date": "1995", "volume": "28", "issue": "4", "section": "", "partNumber": "", "partTitle": "", "pages": "56-63", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:55:58Z", "dateModified": "2010-03-16T04:55:58Z" } }, { "key": "HQFG2AUQ", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/HQFG2AUQ", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/HQFG2AUQ", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Dorfman and Thayer", "numChildren": 1 }, "data": { "key": "HQFG2AUQ", "version": 1, "itemType": "webpage", "title": "Formal Methods - Specification Methods", "creators": [ { "creatorType": "author", "firstName": "Merlin", "lastName": "Dorfman" }, { "creatorType": "author", "firstName": "Richard", "lastName": "Thayer" } ], "abstractNote": "", "websiteTitle": "", "websiteType": "", "date": "", "publisher": "", "place": "", "DOI": "", "citationKey": "", "url": "https://www.dacs.dtic.mil/techs/fmreview/specification.php", "accessDate": "2009-04-15T08:27:28Z", "shortTitle": "", "language": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:55:58Z", "dateModified": "2010-03-16T04:55:58Z" } }, { "key": "8526XT2M", "version": 1, "library": { "type": "group", "id": 13897, "name": "Formal Sprecification Techniques in IS", "links": { "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/13897/items/8526XT2M", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/formal_sprecification_techniques_in_is/items/8526XT2M", "type": "text/html" } }, "meta": { "createdByUser": { "id": 174716, "username": "MPDJHB", "name": "", "links": { "alternate": { "href": "https://www.zotero.org/mpdjhb", "type": "text/html" } } }, "creatorSummary": "Dascalu and Hitchcock", "parsedDate": "2002", "numChildren": 0 }, "data": { "key": "8526XT2M", "version": 1, "itemType": "conferencePaper", "title": "An approach to integrating semi-formal and formal notations in software specification", "creators": [ { "creatorType": "author", "firstName": "Sergiu", "lastName": "Dascalu" }, { "creatorType": "author", "firstName": "Peter", "lastName": "Hitchcock" } ], "abstractNote": "", "proceedingsTitle": "Proceedings of the 2002 ACM symposium on Applied computing", "conferenceName": "", "publisher": "ACM", "place": "Madrid, Spain", "date": "2002", "eventPlace": "", "volume": "", "issue": "", "numberOfVolumes": "", "pages": "1014-1020", "series": "", "seriesNumber": "", "DOI": "", "ISBN": "1-58113-445-2", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-03-16T04:55:58Z", "dateModified": "2010-03-16T04:55:58Z" } } ]