{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:41:47Z","timestamp":1771702907693,"version":"3.50.1"},"reference-count":42,"publisher":"Institution of Engineering and Technology (IET)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2006]]},"DOI":"10.1049\/ip-sen:20050075","type":"journal-article","created":{"date-parts":[[2006,8,18]],"date-time":"2006-08-18T23:05:12Z","timestamp":1155942312000},"page":"163","source":"Crossref","is-referenced-by-count":14,"title":["Abstraction classes in software design"],"prefix":"10.1049","volume":"153","author":[{"given":"A.H.","family":"Eden","sequence":"first","affiliation":[]},{"given":"Y.","family":"Hirshfeld","sequence":"additional","affiliation":[]},{"given":"R.","family":"Kazman","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20050075_r1","author":"Eden","year":"2005","journal-title":"Proc. 38th Hawaii Int. Conf. System Sciences \u2014 HICSS"},{"key":"10.1049\/ip-sen:20050075_r2","unstructured":"Sebesta, R.W.: \u2018Concepts of programming languages\u2019, (Addison-Wesley, Reading, USA 1999)"},{"key":"10.1049\/ip-sen:20050075_r3","doi-asserted-by":"crossref","unstructured":"Garlan, D., and Shaw, M.: \u2018An introduction to software architecture\u2019, Ambriola, V., Tortora, G., Advances in software engineering and knowledge engineering, (World Scientific Publishing Company, NJ, USA 1993),2, p. 1\u201339","DOI":"10.1142\/9789812798039_0001"},{"key":"10.1049\/ip-sen:20050075_r4","first-page":"22","volume":"1","author":"Johnson","year":"1988","ISSN":"https:\/\/id.crossref.org\/issn\/0896-8438","issn-type":"print"},{"key":"10.1049\/ip-sen:20050075_r5","unstructured":"Szyperski, C.: \u2018Component software: beyond object-oriented programming\u2019, 2nd(Addison-Wesley, Reading, USA 2003)"},{"key":"10.1049\/ip-sen:20050075_r6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.469757","volume":"12","author":"Garlan","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:20050075_r7","first-page":"283","volume":"2","author":"Minsky","year":"1996"},{"key":"10.1049\/ip-sen:20050075_r8","unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: \u2018Design patterns: elements of reusable object oriented software\u2019, (Addison-Wesley, Reading, USA 1995)"},{"key":"10.1049\/ip-sen:20050075_r9","doi-asserted-by":"crossref","unstructured":"Fowler, M.: \u2018Refactoring: improving the design of existing code\u2019, (Addison-Wesley, Reading, USA 2003)","DOI":"10.1007\/3-540-45672-4_31"},{"key":"10.1049\/ip-sen:20050075_r10","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M.: \u2018Pattern-oriented software architecture \u2013 a system of patterns\u2019, (Wiley and Sons, New York, USA 1996)"},{"key":"10.1049\/ip-sen:20050075_r11","first-page":"40","volume":"17","author":"Perry","year":"1992"},{"key":"10.1049\/ip-sen:20050075_r12","doi-asserted-by":"publisher","DOI":"10.1109\/52.566427"},{"key":"10.1049\/ip-sen:20050075_r13","author":"Kazman","journal-title":"Conf. Object-Oriented Programming Systems, Languages and Applications \u2013 OOPSLA"},{"key":"10.1049\/ip-sen:20050075_r14","unstructured":"Bass, L., Clements, P., and Kazman, R.: \u2018Software architecture in practice\u2019, 2nd(Addison-Wesley Longman, Reading, USA 2003)"},{"key":"10.1049\/ip-sen:20050075_r15","unstructured":"Software Engineering Institute, Carnegie Mellon University, 2002. http:\/\/www.sei.cmu.edu"},{"key":"10.1049\/ip-sen:20050075_r16","unstructured":"Booch, G., Jacobson, I., and Rumbaugh, J.: \u2018The unified modeling language reference manual\u2019, (Addison-Wesley, Reading, USA 1999)"},{"key":"10.1049\/ip-sen:20050075_r17","unstructured":"Quatrani, T.: \u2018Visual modelling with Rational Rose 2000 and UML, revised\u2019, (Addison-Wesley Longman, Reading, USA 1999)"},{"key":"10.1049\/ip-sen:20050075_r18","author":"Eden","year":"2003","journal-title":"Proc. 25th Int. Conf. Software Engineering \u2013 ICSE"},{"key":"10.1049\/ip-sen:20050075_r19","author":"Eden","year":"2005","journal-title":"European Conf. Computing and Philosophy \u2013 ECAP"},{"key":"10.1049\/ip-sen:20050075_r20","doi-asserted-by":"crossref","unstructured":"Derrick, J., and Boiten, E.: \u2018Refinement in Z and Object-Z: foundations and advanced applications\u2019, (Springer-Verlag, Berlin, Germany 2001)","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"10.1049\/ip-sen:20050075_r21","author":"Eden","year":"2001","journal-title":"Int. Conf. Multidisciplinary Design in Engineering CSME-MDE"},{"key":"10.1049\/ip-sen:20050075_r22","unstructured":"Scott, M.L.: \u2018Programming languages pragmatics\u2019, (Morgan-Kaufman, San-Francisco, USA 2000)"},{"key":"10.1049\/ip-sen:20050075_r23","doi-asserted-by":"crossref","unstructured":"Craig, I.: \u2018The interpretation of object-oriented programming languages\u2019, (Springer-Verlag, New York, USA 2000)","DOI":"10.1007\/978-1-4471-3389-6"},{"key":"10.1049\/ip-sen:20050075_r24","doi-asserted-by":"publisher","DOI":"10.1109\/32.385969"},{"key":"10.1049\/ip-sen:20050075_r25","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/62083.62113","author":"Lieberherr","year":"1988","journal-title":"Proc. Conf. Object-Oriented Programming Systems, Languages and Applications \u2013 OOPSLA"},{"key":"10.1049\/ip-sen:20050075_r26","unstructured":"Matena, V., and Hapner, M.: \u2018Enterprise JavaBeansTMspecification, v1.1\u2019, (Sun Microsystems, Palo Alto, USA 1999)"},{"key":"10.1049\/ip-sen:20050075_r27","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/spe.366","volume":"31","author":"van Gurp","year":"2001","ISSN":"https:\/\/id.crossref.org\/issn\/0038-0644","issn-type":"print"},{"key":"10.1049\/ip-sen:20050075_r28","author":"Hou","year":"2001","journal-title":"Proc. 2001 Conf. Centre for Advanced Studies on Collaborative Research \u2013 CASCON"},{"key":"10.1049\/ip-sen:20050075_r29","unstructured":"Pree, W.: \u2018Design patterns for object-oriented software development\u2019, (ACM Press, New York, USA 1995)"},{"key":"10.1049\/ip-sen:20050075_r30","author":"Helm","year":"1990","journal-title":"Proc. Conf. Object-Oriented Programming Systems, Languages and Applications\u2014OPPSLA"},{"key":"10.1049\/ip-sen:20050075_r31","unstructured":"Stroustrup, B.: \u2018The C++ programming language\u2019, (Addison-Wesley, Reading, USA 2000)"},{"key":"10.1049\/ip-sen:20050075_r32","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W.: \u2018Object oriented modeling and design\u2019, (Prentice-Hall, New York, USA 1991)"},{"key":"10.1049\/ip-sen:20050075_r33","unstructured":"\u2018Java Naming and Directory InterfaceTMService Provider Interface (JNDI SPI)\u2019, (Sun Microsystems 1999),Sun Microsystems, Inc."},{"key":"10.1049\/ip-sen:20050075_r34","author":"Eden","year":"2001","journal-title":"Proc. Conf. Centre for Advanced Studies on Collaborative Research\u2013CASCON"},{"key":"10.1049\/ip-sen:20050075_r35","unstructured":"Barwise, J.: \u2018Handbook of mathematical logic\u2019, (North-Holland Publishing Co., Amsterdam, The Netherlands 1977)"},{"key":"10.1049\/ip-sen:20050075_r36","unstructured":"Zalta, E.N.: \u2018Frege's logic, theorem, and foundations for arithmetic\u2019, The Stanford encyclopedia of philosophy, (Spring 2003),Available: http:\/\/plato.stanford.edu\/"},{"key":"10.1049\/ip-sen:20050075_r37","first-page":"623","volume":"15","author":"Turner","year":"2005"},{"key":"10.1049\/ip-sen:20050075_r38","unstructured":"\u2018Object Management Group: Unified Modeling Language (UML), version 2.0\u2019, 2004),Available: http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"10.1049\/ip-sen:20050075_r39","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/S0022-0000(73)80029-7","volume":"7","author":"Cook","year":"1973","ISSN":"https:\/\/id.crossref.org\/issn\/0022-0000","issn-type":"print"},{"key":"10.1049\/ip-sen:20050075_r40","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Gurevich","year":"2000","ISSN":"https:\/\/id.crossref.org\/issn\/1529-3785","issn-type":"print"},{"key":"10.1049\/ip-sen:20050075_r41","doi-asserted-by":"crossref","unstructured":"Abadi, M., and Cardelli, L.: \u2018A theory of objects\u2019, (Springer-Verlag, Inc., New York, USA 1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"10.1049\/ip-sen:20050075_r42","unstructured":"Hoare, C.A.R.: \u2018Communicating sequential processes\u2019, (Prentice-Hall International 1985)"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050075?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T15:43:37Z","timestamp":1683560617000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20050075","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}