{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:22:54Z","timestamp":1773235374485,"version":"3.50.1"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1984,3,1]],"date-time":"1984-03-01T00:00:00Z","timestamp":446947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,3]]},"DOI":"10.1109\/tse.1984.5010217","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"155-162","source":"Crossref","is-referenced-by-count":15,"title":["SLAN-4-A software specification and design language"],"prefix":"10.1109","volume":"SE-10","author":[{"given":"Friedrich W.","family":"Beichter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otthein","family":"Herzog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Petzsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"notes on data abstraction","author":"guttag","year":"1978","journal-title":"Int Summer School on Program Construction"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567471"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022464"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/956650.956651"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/956653.956654"},{"key":"ref15","author":"jones","year":"1980","journal-title":"Software Development A Rigorous Approach"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312816"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/800022.808322"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.006"},{"key":"ref19","author":"roubine","year":"1977","journal-title":"SPECIAL Reference Manual"},{"key":"ref4","author":"beichter","year":"1982","journal-title":"SLAN-4 reference manual and design rationale"},{"key":"ref3","year":"1981","journal-title":"Software Engineering-Entwurf und Spezifikation"},{"key":"ref6","author":"bergstra","year":"1980","journal-title":"Equational specifications for computable data types Six hidden functions suffice and other sufficiency bounds"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1147\/rd.276.0558"},{"key":"ref8","article-title":"path expressions in pascal","author":"campbell","year":"1979","journal-title":"Proc 4th IEEE Int Conf Software Eng"},{"key":"ref7","volume":"61","year":"1978","journal-title":"The Vienna Development Method The Meta-Language (Lecture Notes in Computer Science)"},{"key":"ref2","author":"beichter","year":"1979","journal-title":"SLAN-4 A software specification and design language"},{"key":"ref1","first-page":"166","article-title":"slan-4: a software development and communication language","author":"beichter","year":"1979","journal-title":"IBM GPD Design '79 Symp"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359618"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/358746.358755"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/69622.357192"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010210\/05010217.pdf?arnumber=5010217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:31Z","timestamp":1638219271000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,3]]},"references-count":21,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010217","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1984,3]]}}}