{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:04:11Z","timestamp":1751634251283},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf01975517","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T08:31:38Z","timestamp":1123230698000},"page":"273-302","source":"Crossref","is-referenced-by-count":3,"title":["Layered specifications to support reusability and integrability"],"prefix":"10.1007","volume":"3","author":[{"given":"Roland T.","family":"Mittermeir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelin","family":"Kofler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01975517_CR1","volume-title":"Software reusability","year":"1989","unstructured":"T.J., Biggerstaff and A.J. Perlis (eds.), \u201cSoftware reusability,\u201d vol. I and vol. II, Addison-Wesley and ACM press, New York, NY, 1989."},{"key":"BF01975517_CR2","series-title":"IEEE Tutorial","volume-title":"Software Reuse: Emerging Technology","year":"1988","unstructured":"W. Tracz (ed.), \u201cSoftware Reuse: Emerging Technology,\u201dIEEE Tutorial, IEEE-CS press, Washington, D.C., 1988."},{"key":"BF01975517_CR3","series-title":"IEEE Tutorial","volume-title":"Software reusability","year":"1987","unstructured":"P. Freeman, (ed.), \u201cSoftware reusability,\u201dIEEE Tutorial, IEEE-CS press, Washington, D.C., 1987."},{"key":"BF01975517_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.1987.230095","volume":"4\/2","author":"T.J. Biggerstaff","year":"1987","unstructured":"T.J. Biggerstaff and C. Richter, \u201cReusability framework, assessment, and directions,\u201dIEEE Software, vol. 4\/2, pp. 41\u201349, March 1987.","journal-title":"IEEE Software"},{"key":"BF01975517_CR5","unstructured":"E. Hochm\u00fcller and R. Mittermeir, \u201cRahmenbedingungen f\u00fcr erfolgreiches Software-Reuse,\u201d in: \u201cInformations- und Kommunikationstechnologie f\u00fcr das neue Europa,\u201d Proc. ADV-Kongre\u00df 1993, Vienna, pp. 269\u2013284."},{"key":"BF01975517_CR6","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1987.229789","volume":"4\/1","author":"R. Prieto-Diaz","year":"1987","unstructured":"R. Prieto-Diaz and P. Freeman, \u201cClassifying software for reusability,\u201dIEEE Software, vol. 4\/1, pp. 6\u201316, Jan. 1987.","journal-title":"IEEE Software"},{"key":"BF01975517_CR7","unstructured":"W. Rossak and R.T. Mittermeir, \u201cA dbms based archive for reusable software components,\u201d Proc. 2ieme J.I. \u201cLe Genie Logiciel & ses Applications,\u201d Toulouse, Dec. 89, pp. 501\u2013516."},{"key":"BF01975517_CR8","unstructured":"R.T. Mittermeir and W. Rossak, \u201cThe role of generalization hierarchies in requirements modelling,\u201dProc. Algorithmy '87, High Tatras, CSFR, April 1987, pp. 182\u2013191."},{"key":"BF01975517_CR9","first-page":"109","volume":"13","author":"N. Boudriga","year":"1992","unstructured":"N. Boudriga, A. Mili, and R. Mittermeir, \u201cSemantic-based software retrieval to support rapid prototyping,\u201dStructured Programming, vol. 13, pp. 109\u2013127, 1992.","journal-title":"Structured Programming"},{"key":"BF01975517_CR10","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.1987.230097","volume":"4\/2","author":"B. Meyer","year":"1987","unstructured":"B. Meyer, \u201cReusability: the case of object-oriented design,\u201dIEEE Software, vol. 4\/2, pp. 50\u201364, March 1987.","journal-title":"IEEE Software"},{"key":"BF01975517_CR11","unstructured":"G. Kappel, J. Vitek, O. Nierstrasz, S. Gibbs, B. Junod, and M. Stadelmann, \u201cAn object-based visual scripting environment,\u201d inObject Oriented Development, D. Tschritzis (ed.), C.U.I., Univ. de Geneve, 1989, pp. 123\u2013142."},{"key":"BF01975517_CR12","unstructured":"O. Nierstrasz, L. Dami, V. de Mey, M. Stadelmann, D. Tsichritzis, and J. Vitek, \u201cVisual scripting towards interactive construction of object-oriented applications,\u201d in:Object Management, D. Tsichritzis (ed.), C.U.I., Univ. de Geneve, 1990, pp. 315\u2013331."},{"key":"BF01975517_CR13","unstructured":"O. Nierstrasz, D. Tsichritzis, V. de Mey, and M. Stadelmann, \u201cObjects +Scripts = Applications,\u201d inObject Composition, D. Tsichritzis, (ed.), C.U.I., Univ. de Geneve, 1991, pp. 11\u201329."},{"key":"BF01975517_CR14","unstructured":"Y. Matsumoto, \u201cA software factory: an overall approach to software production,\u201dProc. of the ITT Workshop on Reusability in Programming, Newport, RI, Sept. 1983 (reprinted in [3] P. Freeman, (ed.), \u201cSoftware reusability,\u201dIEEE Tutorial, IEEE-CS press, Washington, D.C., 1987.)."},{"key":"BF01975517_CR15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/52.43045","volume":"7\/1","author":"V. Basili","year":"1990","unstructured":"V. Basili, \u201cViewing maintenance as reuse-oriented software development,\u201dIEEE-Software, vol. 7\/1, pp. 19\u201325, Jan. 1990.","journal-title":"IEEE-Software"},{"key":"BF01975517_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/2.67210","volume":"24\/2","author":"G. Caldiera","year":"1991","unstructured":"G. Caldiera andV. Basili, \u201cIdentifying and qualifying reusable software components.\u201dIEEE Computer, vol. 24\/2, pp. 61\u201369, Feb. 1991.","journal-title":"IEEE Computer"},{"key":"BF01975517_CR17","volume-title":"Structured Design","author":"E. Yourdon","year":"1979","unstructured":"E. Yourdon and L.L. Constantine,Structured Design, Prentice-Hall: Englewood Cliffs, NJ, 1979."},{"key":"BF01975517_CR18","unstructured":"B. Curtis, \u201cWhat you have to understand: This isn't the way we develop software at our company,\u201d invited speech delivered at 11th ICSE, Pittsburgh, PA, May 1989."},{"key":"BF01975517_CR19","first-page":"146","volume":"25\/9","author":"G.M. Weinberg","year":"1979","unstructured":"G.M. Weinberg, \u201cYou say your design's inexact? Try a wiggle,\u201dDatamation, vol. 25\/9, pp. 146\u2013149, Aug. 1979.","journal-title":"Datamation"},{"key":"BF01975517_CR20","unstructured":"R.T. Mittermeir, \u201cNormalization of software to enhance its potential for reuse,\u201dTR UBW, 6\/89, 1989."},{"key":"BF01975517_CR21","unstructured":"R.T. Mittermeir and W. Rossak, \u201cReusability,\u201d inModern Software Engineering, P. Ng and R.T. Yeh (eds.), van Nostrand, 1990, pp. 205\u2013235."},{"key":"BF01975517_CR22","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1987.233181","volume":"13\/4","author":"R.T. Mittermeir","year":"1987","unstructured":"R.T. Mittermeir and M. Oppitz, \u201cSoftware bases for the flexible composition of application systems,\u201dIEEE Trans. on Software Engineering, vol. SE-13\/4, pp. 440\u2013460, April 1987.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF01975517_CR23","unstructured":"E. Hochm\u00fcller,AUGUSTA-Eine reuse-orientierte Software-Entwicklungsumgebung zur Erstellung von Ada-Applikationen. Ph.D. Dissertation, Univ. Wien, May 1992."},{"key":"BF01975517_CR24","first-page":"315","volume":"20\/4","author":"A. Mili","year":"1983","unstructured":"A. Mili, 1987, \u201cA relational approach to the design of deterministic programs,\u201dActa Informatica, vol. 20\/4, pp. 315\u2013328, 1983.","journal-title":"Acta Informatica"},{"key":"BF01975517_CR25","first-page":"239","volume":"24\/3","author":"A. Mili","year":"1987","unstructured":"A. Mili, J. Desharnais, and F. Mili, \u201cRelational heuristics for the design of deterministic programs,\u201cActa Informatica, vol. 24\/3, pp. 239\u2013276, 1987.","journal-title":"Acta Informatica"},{"key":"BF01975517_CR26","volume-title":"Towards Structured Specifying","author":"A. Mili","year":"1989","unstructured":"A. Mili, N. Boudriga, and F. Mili,Towards Structured Specifying, Ellis Horwood Publ., Chichester, England, 1989."},{"key":"BF01975517_CR27","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1002\/spe.4380161105","volume":"16\/11","author":"A. Mili","year":"1986","unstructured":"A. Mili, X.-Y. Wang, and Q. Yu, \u201cSpecification methodology: an integrated relational approach,\u201dSoftware-Practice and Experience, vol. 16\/11, pp. 1003\u20131030, Nov. 1986.","journal-title":"Software-Practice and Experience"},{"key":"BF01975517_CR28","first-page":"2431","volume":"18\/3","author":"A. Mili","year":"1986","unstructured":"A. Mili, J. Desharnais, and J.R. Gagne, \u201cFormal models of stepwise refinement of programs,\u201dACM Computing Surveys, vol. 18\/3, pp. 2431\u20132476, Sept. 1986.","journal-title":"ACM Computing Surveys"},{"key":"BF01975517_CR29","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/360569.360659","volume":"18\/1","author":"H.D. Mills","year":"1975","unstructured":"H.D. Mills, \u201cThe new math of computer programming,\u201dCACM, vol. 18\/1, pp. 43\u201348, Jan. 1975.","journal-title":"CACM"},{"key":"BF01975517_CR30","unstructured":"N. Boudriga, F. Elloumi, and A. Mili, \u201cThe lattice of specifications,\u201dSIAM Conference on Discrete Mathematics, Atlanta, Georgia, June 1990."},{"key":"BF01975517_CR31","doi-asserted-by":"crossref","unstructured":"R.T. Mittermeir, \u201cDesign-aspects supporting software reuse,\u201d inSoftware Re-use, Utrecht 1989, L. Dusink and P.A.V. Hall (eds.), Springer, 1991, pp. 115\u2013119.","DOI":"10.1007\/978-1-4471-3536-4_11"},{"key":"BF01975517_CR32","unstructured":"A. Stopper,Spezifikation und Normalisierung objekt-orientierter Systeme, Thesis, Univ. Klagenfurt, Dec. 1991."},{"key":"BF01975517_CR33","doi-asserted-by":"crossref","unstructured":"L.R. Power, \u201cPost-facto integration technology: new discipline for old practice,\u201dProc. 1st ICSI, Morristown, New York, pp. 4\u201313, Apr. 1990.","DOI":"10.1109\/ICSI.1990.138657"},{"key":"BF01975517_CR34","unstructured":"A. Mili, R. Mili and R. Mittermeir, \u201cA formal approach to software reuse: design and implementation,\u201dProc. WISR '92, 5th Annual Workshop on Software Reuse, Palo Alto, CA, 1992."},{"key":"BF01975517_CR35","unstructured":"R.T. Mittermeir and K. Kienzl, \u201cIntra-object schemas to enhance adaptive software maintenance,\u201d inProc. Joint Austrian-Hungarian Seminar on Systems Engineering, Budapest, February 1993."},{"key":"BF01975517_CR36","volume-title":"The Z Notation\u2014A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"J.M. Spivey,The Z Notation\u2014A Reference Manual, Prentice-Hall International: Hemel Hempstead, UK, 1989."},{"key":"BF01975517_CR37","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","volume":"10\/5","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen, \u201cParameterized programming,\u201dIEEE Trans. on Software Engineering, vol. SE-10\/5, pp. 528\u2013543, Sept. 1984.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF01975517_CR38","volume-title":"Proc. IFIP WG 2.6, DS-4 Conf, Windermere '90","author":"J.A. Goguen","year":"1990","unstructured":"J.A. Goguen and D. Wolfram, \u201cOn Types and FOOPS,\u201dProc. IFIP WG 2.6, DS-4 Conf, Windermere '90, North Holland, Amsterdam, NL, 1990."},{"key":"BF01975517_CR39","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1986.1663146","volume":"19\/2","author":"J.A. Goguen","year":"1986","unstructured":"J.A. Goguen, \u201cReusing and interconnecting software components,\u201dIEEE Computer, vol. 19\/2, pp. 16\u201328, Feb. 1986.","journal-title":"IEEE Computer"},{"key":"BF01975517_CR40","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0164-1212(90)90076-X","volume":"12\/2","author":"H. Mili","year":"1990","unstructured":"H. Mili, J. Sibert, and Y. Intrator, \u201cAn object oriented model based on relations,\u201dJournal of Systems and Software, vol. 12\/2, pp. 139\u2013156, May 1990.","journal-title":"Journal of Systems and Software"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01975517.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01975517\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01975517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T18:16:45Z","timestamp":1586369805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01975517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":40,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF01975517"],"URL":"https:\/\/doi.org\/10.1007\/bf01975517","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"value":"0925-4676","type":"print"},{"value":"1573-8787","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}