{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BA23174693.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BA23174693#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BA23174693.json"},"dc:title":[{"@value":"Proceedings of the Seventh International Workshop on Software Specification and Design, December 6-7, 1993, Redondo Beach, California"}],"dcterms:alternative":["93TH05835"],"dc:creator":"sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT","dc:publisher":[{"@value":"IEEE Computer Society Press"}],"dcterms:extent":"xii, 224 p.","cinii:size":"28 cm","dc:language":"eng","dc:date":"1993","cinii:ncid":"BA23174693","cinii:ownerCount":"4","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA02642552#entity","@type":"foaf:Person","foaf:name":[{"@value":"International Workshop on Software Specification and Design"}]},{"@id":"https://ci.nii.ac.jp/author/DA00479199#entity","@type":"foaf:Person","foaf:name":[{"@value":"IEEE Computer Society"}]},{"@id":"https://ci.nii.ac.jp/author/DA00917784#entity","@type":"foaf:Person","foaf:name":[{"@value":"ACM Sigsoft"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA000106","@type":"foaf:Organization","foaf:name":"東京科学大学 大岡山図書館","rdfs:seeAlso":{"@id":"https://topics.libra.titech.ac.jp/recordID/catalog.bib/BA23174693"}},{"@id":"https://ci.nii.ac.jp/library/FA022936","@type":"foaf:Organization","foaf:name":"上武大学 附属図書館 分館"},{"@id":"https://ci.nii.ac.jp/library/FA006339","@type":"foaf:Organization","foaf:name":"日本大学 工学部図書館","rdfs:seeAlso":{"@id":"https://celib.nihon-u.ac.jp/opac/opac_openurl/?ncid=BA23174693"}},{"@id":"https://ci.nii.ac.jp/library/FA015759","@type":"foaf:Organization","foaf:name":"秋田公立美術大学 附属図書館","rdfs:seeAlso":{"@id":"https://libopac.akibi.ac.jp/opac/opac_openurl/?ncid=BA23174693"}}],"prism:publicationDate":["c1993"],"cinii:note":["Includes bibliographical references and index","\"IEEE catalog number 93TH0583-5\""],"dc:subject":["LCC:QA76.76.D47"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+software+--+Development+--+Congresses","dc:title":"Computer software -- Development -- Congresses"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+software+--+Specifications+--+Congresses","dc:title":"Computer software -- Specifications -- Congresses"}],"dcterms:hasPart":[{"@id":"urn:isbn:0818643609","dc:title":": paper"},{"@id":"urn:isbn:0818643617","dc:title":": micro."}]}]}