[{"data": {"name": "Making explicit domain knowledge in formal system development", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "Yamine Ait-Ameur", "@type": "Person"}, {"name": "Dominique M\u00e9ry", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://oatao.univ-toulouse.fr/24847/1/aitameur_24847.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Elsevier BV", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1016/j.scico.2015.12.004", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCT4qUJmtu6za-CT4sNTXmBnyi8-CDTD4vFfhonPj-CRUyZLn7XQiBq", "propertyID": "ISCC"}], "datePublished": "2016-06-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]