{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T03:14:25Z","timestamp":1776482065592,"version":"3.51.2"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2002.1048507","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T23:45:08Z","timestamp":1056584708000},"page":"71-80","source":"Crossref","is-referenced-by-count":17,"title":["On the use of visualization in formal requirements specification"],"prefix":"10.1109","author":[{"given":"N.","family":"Dulac","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Viguier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Leveson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.-A.","family":"Storey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1145\/267896.267926","article-title":"Reduction and Slicing of Hierarchical State Machines","author":"heimdahl","year":"1997","journal-title":"ACM SIGSOFT Symposium on the Foundations of Software Engineering"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1111\/j.1551-6708.1987.tb00863.x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.825764"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/349360.351140"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/203241.203251"},{"key":"ref15","article-title":"Making Automation Activity Visible","author":"ranson","year":"1995","journal-title":"Technical Report 1995–03"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10055-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1996.558826"},{"key":"ref18","author":"green","year":"1998","journal-title":"A tutorial on cognitive dimensions"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.538607"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/108360.108361"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/WVL.1992.275771"},{"key":"ref6","article-title":"Readings in Information visualization","year":"2000","journal-title":"Using Vision to Think"},{"key":"ref5","article-title":"Cognitive Efficiency Considerations for Good Graphic Design","author":"casner","year":"1989","journal-title":"Proc 11th Annual Conf Cognitive Science Soc"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1111\/j.2044-8325.1977.tb00363.x"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(79)80019-X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3524-7_6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.5962\/bhl.title.5851"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1201\/b15703-5","article-title":"Direct Manipulation Interfaces","author":"hutchins","year":"1986","journal-title":"User Centered System Design"},{"key":"ref20","article-title":"Investigating the Readability of Formal Requirements Specification Languages","author":"zimmerman","year":"2002","journal-title":"International Conference on Software Engineering"}],"event":{"name":"IEEE Joint International Conference on Requirements Engineering","location":"Essen, Germany","acronym":"ICRE-02"},"container-title":["Proceedings IEEE Joint International Conference on Requirements Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8115\/22462\/01048507.pdf?arnumber=1048507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T08:09:38Z","timestamp":1623139778000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1048507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icre.2002.1048507","relation":{},"subject":[]}}