{"description":"Set-theoretic specifications, which are also knows as \"model-based specifications\" or \"model-oriented specifications\" , model systems using sets which are either considered to be primitives sets or constructed by means of combinations of primitive subsets using set-theoretic operations. Specific lan\u2026","version":"1.0","blog_url":"https://x76789.hatenadiary.org/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fx76789.hatenadiary.org%2Fentry%2F20090921%2F1253540847\" title=\"Summary of Set-theoretic Specifications (tentative) - x76789\u306e\u7814\u7a76\u30e1\u30e2\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","provider_url":"https://hatena.blog","type":"rich","blog_title":"x76789\u306e\u7814\u7a76\u30e1\u30e2","published":"2009-09-21 22:47:27","url":"https://x76789.hatenadiary.org/entry/20090921/1253540847","categories":["CS"],"image_url":null,"author_name":"x76789","title":"Summary of Set-theoretic Specifications (tentative)","width":"100%","height":"190","author_url":"https://blog.hatena.ne.jp/x76789/"}