{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:32:46Z","timestamp":1779121966709,"version":"3.51.4"},"reference-count":37,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0950-5849(00)00109-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:50:44Z","timestamp":1027637444000},"page":"665-675","source":"Crossref","is-referenced-by-count":42,"title":["Principles for modeling language design"],"prefix":"10.1016","volume":"42","author":[{"given":"R.F","family":"Paige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.S","family":"Ostroff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.J","family":"Brooke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(00)00109-9_BIB1","series-title":"The B-Book","author":"Abrial","year":"1996"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB2","series-title":"The Mythical Man Month","author":"Brooks","year":"1995"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB3","series-title":"A Tutorial Introduction to PVS","author":"Crow","year":"1995"},{"issue":"7","key":"10.1016\/S0950-5849(00)00109-9_BIB4","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","article-title":"The UML as a formal modeling notation","volume":"19","author":"Evans","year":"1998","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB5","series-title":"Analysis Patterns","author":"Fowler","year":"1996"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB6","series-title":"Requirements Engineering and Rapid Development","author":"Graham","year":"1998"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB7","unstructured":"T.R. Green, M. Petre, When visual programs are harder to read than textual programs, in: G. van der Veer, M. Tauber, S. Bagnarola, M. Antavolits (Eds.), Human\u2013Computer Interaction: Tasks and Organisation. Proceedings of ECCE6 (6th European Conference on Cognitive Ergonomics) CUD, 1992."},{"key":"10.1016\/S0950-5849(00)00109-9_BIB8","doi-asserted-by":"crossref","unstructured":"T.R. Green, R. Navarro, Programming plans, imagery and visual programming, in: Proceedings of INTERACT\u201995, 1995.","DOI":"10.1007\/978-1-5041-2896-4_23"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB9","series-title":"Reflections on the Object Constraint Language","author":"Hamie","year":"1998"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB10","series-title":"A Practical Theory of Programming","author":"Hehner","year":"1993"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB11","series-title":"Hints on Programming Language Design","author":"Hoare","year":"1973"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB12","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB13","series-title":"Software Requirements and Specifications","author":"Jackson","year":"1995"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB14","unstructured":"S.KentJ.HowseMixing visual and textual constraint LanguagesProc. UML\u201999, LNCS 1723SpringerBerlin1999384398"},{"issue":"9","key":"10.1016\/S0950-5849(00)00109-9_BIB15","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","article-title":"Requirements specification for process-control systems","volume":"20","author":"Leveson","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB16","unstructured":"MetaPHOR Project Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994."},{"key":"10.1016\/S0950-5849(00)00109-9_BIB17","series-title":"Eiffel\u2014the Language","author":"Meyer","year":"1992"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB18","article-title":"UML: the positive spin","volume":"March","author":"Meyer","year":"1997","journal-title":"American Programmer"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB19","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB20","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB21","doi-asserted-by":"crossref","unstructured":"R. Paige, A meta-method for formal method integration, in: Proc. Formal Methods Europe, LNCS 1313, 1997.","DOI":"10.1007\/3-540-63533-5_25"},{"issue":"3","key":"10.1016\/S0950-5849(00)00109-9_BIB22","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0950-5849(98)00119-0","article-title":"When are methods complementary?","volume":"41","author":"Paige","year":"1999","journal-title":"Informations and Software Technology"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB23","series-title":"A comparison of the Business Object Notation and the Unified Modeling Language","author":"Paige","year":"1999"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB24","series-title":"Software Visualisation: Programming as a Multi-Media Experience","article-title":"Cognitive questions in software visualisation","author":"Petre","year":"1997"},{"issue":"6","key":"10.1016\/S0950-5849(00)00109-9_BIB25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/203241.203251","article-title":"Why looking isn't always seeing: readership skills and graphical programming","volume":"38","author":"Petre","year":"1995","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB26","series-title":"Visual Modeling with Rational Rose 2000 and UML","author":"Quatrani","year":"1999"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB27","series-title":"Hierarchical Object-Oriented Design","author":"Robinson","year":"1992"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB28","series-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","year":"1999"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB29","unstructured":"A. Simons, I. Graham, 37 Things that Don't Work in Object-Oriented Modeling with UML, in: Proc. ECOOP\u201998 Workshop on Precise Behavioral Semantics, TU-Munich Report 19813, 1998."},{"issue":"4","key":"10.1016\/S0950-5849(00)00109-9_BIB30","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1093\/comjnl\/22.4.332","article-title":"Process Synchronization in MASCOT","volume":"22","author":"Simpson","year":"1979","journal-title":"Computer Journal"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB31","series-title":"Z Reference Manual","author":"Spivey","year":"1989"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB32","unstructured":"G. Steele, Growing a Language, Invited talk at OOPSLA\u201998."},{"key":"10.1016\/S0950-5849(00)00109-9_BIB33","series-title":"The Design and Evolution of C++","author":"Stroustrup","year":"1994"},{"issue":"3","key":"10.1016\/S0950-5849(00)00109-9_BIB34","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/spe.4380250306","article-title":"CADiZ: an architecture for Z tools and its implementation","volume":"25","author":"Toyn","year":"1995","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB35","series-title":"Seamless Object-Oriented Software Architecture","author":"Walden","year":"1995"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB36","series-title":"The Object Constraint Language","author":"Warmer","year":"1999"},{"key":"10.1016\/S0950-5849(00)00109-9_BIB37","series-title":"On the Design of Programming Languages","author":"Wirth","year":"1974"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001099?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584900001099?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T01:22:27Z","timestamp":1555204947000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584900001099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":37,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0950584900001099"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(00)00109-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}