{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:51Z","timestamp":1774602231877,"version":"3.50.1"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319026534","type":"print"},{"value":"9783319026541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02654-1_1","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:25:32Z","timestamp":1382333132000},"page":"1-18","source":"Crossref","is-referenced-by-count":5,"title":["Dark Knowledge and Graph Grammars in Automated Software Design"],"prefix":"10.1007","author":[{"given":"Don","family":"Batory","sequence":"first","affiliation":[]},{"given":"Rui","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"given":"Bryan","family":"Marker","sequence":"additional","affiliation":[]},{"given":"Janet","family":"Siegmund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"LAPACK Users\u2019 Guide","author":"E. Anderson","year":"1992","unstructured":"Anderson, E., et al.: LAPACK Users\u2019 Guide. SIAM, Philadelphia (1992)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bahcall, J., Piran, T., Weinberg, S.: Dark matter in the universe. In: 4TH Jerusalem Winter School For Theoretical Physics (1987)","DOI":"10.1142\/9789814541985"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87875-9_1","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Batory","year":"2008","unstructured":"Batory, D., Azanza, M., Saraiva, J.: The Objects and Arrows of Computational Design. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 1\u201320. Springer, Heidelberg (2008)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D., Singhal, V., Sirkin, M., Thomas, J.A.: Scalable software libraries. In: SIGSOFT (1993)","DOI":"10.1145\/256428.167078"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Baumgartner, G., et al.: Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models. Proceedings of the IEEE (2005)","DOI":"10.1109\/JPROC.2004.840311"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Baxter, I.D.: Design Maintenance Systems. CACM (April 1992)","DOI":"10.1145\/129852.129859"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Blackford, L.S., et al.: ScaLAPACK: a portable linear algebra library for distributed memory computers - design issues and performance. In: SC (1996)","DOI":"10.1145\/369028.369038"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Clement, A., Kapritsos, M., Lee, S., Wang, Y., Alvisi, L., Dahlin, M., Riche, T.: Upright cluster services. In: SOSP (2009)","DOI":"10.1145\/1629575.1629602"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Curtis, B., Krasner, H., Iscoe, N.: A field study of the software design process for large systems. Comm. ACM (November 1988)","DOI":"10.1145\/50087.50089"},{"key":"1_CR10","unstructured":"D\u2019Antonio, F.: (October 2003), http:\/\/www.docstoc.com\/docs\/123006845\/Introduction-to-Graph-Grammars-DAntonio"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-61228-9_87","volume-title":"Graph Grammars and Their Application to Computer Science","author":"M. Derk","year":"1996","unstructured":"Derk, M., DeBrunner, L.: Reconfiguration graph grammar for massively parallel, fault tolerant computers. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 185\u2013195. Springer, Heidelberg (1996)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dewitt, D.J., Ghandeharizadeh, S., Schneider, D., Hsiao, A.B.H., Rasmussen, R.: The Gamma Database Machine Project. IEEE ToKaDE\u00a02(1) (1990)","DOI":"10.1109\/69.50905"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Dongarra, J.J., Du Croz, J., Hammarling, S., Duff, I.: A set of level 3 basic linear algebra subprograms. ACM Trans. Math. Software 16(1) (March 1990)","DOI":"10.1145\/77626.79170"},{"key":"1_CR14","unstructured":"Dowling, J., Cahill, V.: Dynamic software evolution and the k-component model. In: Workshop on Software Evolution at OOPSLA (2001)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: SWAT (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"1_CR16","unstructured":"Elemental Team, http:\/\/libelemental.org\/about\/team.html"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Feigenspan, J., Batory, D., Rich\u00e9, T.L.: Is the derivation of a model easier to understand than the model itself? In: ICPC (2012)","DOI":"10.1109\/ICPC.2012.6240508"},{"key":"1_CR18","unstructured":"Felleisen, M.: Private Correspondence (January 2007)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Ferrucci, F., Tortora, G., Tucci, M., Vitiello, G.: A predictive parser for visual languages specified by relation grammars. In: VL (1994)","DOI":"10.1145\/192309.192353"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, R.C., Batory, D., Sobral, J.: ReFlO: An interactive tool for pipe-and-filter domain specification and program generation (submitted 2013)","DOI":"10.1007\/s10270-014-0403-7"},{"key":"1_CR22","unstructured":"Green, C., Luckham, D., Balzer, R., Cheatham, T., Rich, C.: Report on a knowledge-based software assistant. Tech. rep., Kestrel Institute (1983)"},{"key":"1_CR23","unstructured":"Green, C.: Private Correspondence (January 2009)"},{"key":"1_CR24","unstructured":"Green, C., Luckham, D., Balzer, R., Cheatham, T., Rich, C.: Report on a knowledge-based software assistant. Kestrel Institute Technical Report KES.U.83.2 (1983)"},{"key":"1_CR25","volume-title":"Model-Driven Software Development","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Geiger, L., Z\u00fcndorf, A., Van Eetvelde, N., Van Gorp, P., Varro, D.: Using graph transformation for practical model driven software engineering. In: Model-Driven Software Development. Springer, Heidelberg (2005)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Gunnels, J.A., Gustavson, F.G., Henry, G.M., van de Geijn, R.A.: FLAME: Formal Linear Algebra Methods Environment. ACM Trans. on Math. Softw. (December 2001)","DOI":"10.1145\/504210.504213"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Jones, S.L.P., Santos, A.L.M.: A transformation-based optimiser for haskell. Science of Computer Programming 32(1-3) (1998)","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool integration with triple graph grammars - a survey. Electronic Notes in Theoretical Computer Science 148(1) (2006)","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2) (1998)","DOI":"10.1145\/279227.279229"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6) (1994)","DOI":"10.1145\/197320.197383"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Lohman, G.M.: Grammar-like functional rules for representing query optimization alternatives. In: ACM SIGMOD (1988)","DOI":"10.1145\/50202.50204"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-58495-1_33","volume-title":"Methodologies for Intelligent Systems","author":"M. Lowry","year":"1994","unstructured":"Lowry, M., Philpot, A., Pressburger, T., Underwood, I.: Amphion: Automatic programming for scientific subroutine libraries. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol.\u00a0869, pp. 326\u2013335. Springer, Heidelberg (1994)"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/3-540-61228-9_82","volume-title":"Graph Grammars and Their Application to Computer Science","author":"A. Maggiolo-Schettini","year":"1996","unstructured":"Maggiolo-Schettini, A., Peron, A.: A graph rewriting framework for statecharts semantics. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol.\u00a01073, pp. 107\u2013121. Springer, Heidelberg (1996)"},{"key":"1_CR34","unstructured":"Marker, B., Batory, D., Shepherd, C.: Dxter: A dense linear algebra program synthesizer. Computer Science report TR-12-17, Univ. of Texas at Austin (2012)"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Marker, B., Batory, D., van de Geijn, R.: DSLs, DLA, DxT, and MDE in CSE. In: SECSE (May 2013)","DOI":"10.1109\/SECSE.2013.6615103"},{"key":"1_CR36","unstructured":"Marker, B., Batory, D., van de Geijn, R.: A case study in mechanically deriving dense linear algebra code. International Journal of High Performance Computing Applications (to appear)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Marker, B., Batory, D.S., van de Geijn, R.A.: Code generation and optimization of distributed-memory dense linear algebra kernels. In: ICCS (2013)","DOI":"10.1016\/j.procs.2013.05.295"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-38718-0_34","volume-title":"High Performance Computing for Computational Science - VECPAR 2012","author":"B. Marker","year":"2013","unstructured":"Marker, B., Poulson, J., Batory, D., van de Geijn, R.: Designing linear algebra algorithms by transformation: Mechanizing the expert developer. In: Dayd\u00e9, M., Marques, O., Nakajima, K. (eds.) VECPAR. LNCS, vol.\u00a07851, pp. 362\u2013378. Springer, Heidelberg (2013)"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Taylor, R.N.: A language and environment for architecture-based software development and evolution. In: ICSE (1999)","DOI":"10.1145\/302405.302410"},{"key":"1_CR40","unstructured":"M\u00fcller, H.: Private Correspondence (May 2013)"},{"key":"1_CR41","unstructured":"Perry, D.E.: Version control in the inscape environment. In: ICSE (1987)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Poulson, J., Marker, B., van de Geijn, R.A., Hammond, J.R., Romero, N.A.: Elemental: A new framework for distributed memory dense matrix computations. ACM Trans. on Math. Softw.\u00a039(2) (February 2013)","DOI":"10.1145\/2427023.2427030"},{"key":"1_CR43","unstructured":"P\u00fcschel, M., et al.: SPIRAL: Code generation for DSP transforms. In: Proceedings of the IEEE, special issue on \u201cProgram Generation, Optimization, and Adaptation\u201d (2005)"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Rekers, J., Sch\u00fcrr, A.: Defining and parsing visual languages with layered graph grammars. Journal of Visual Languages & Computing 8(1) (1997)","DOI":"10.1006\/jvlc.1996.0027"},{"key":"1_CR45","unstructured":"Rich, E.A.: Automata, Computability and Complexity: Theory and Applications. Pearson-Prentice Hall (2008)"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Rich\u00e9, T., Goncalves, R., Marker, B., Batory, D.: Pushouts in Software Architecture Design. In: GPCE (2012)","DOI":"10.1145\/2371401.2371415"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. I. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst. (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-52292-1_11","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1990","unstructured":"Sch\u00fcrr, A.: Introduction to progress, an attribute graph grammar based specification language. In: Nagl, M. (ed.) WG 1989. LNCS, vol.\u00a0411, pp. 151\u2013165. Springer, Heidelberg (1990)"},{"key":"1_CR50","unstructured":"Siegmund, J.: Framework for Measuring Program Comprehension. Ph.D. thesis, University of Magdeburg, School of Computer Science (2012)"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Siek, J.G., Karlin, I., Jessup, E.R.: Build to order linear algebra kernels. Parallel and Distributed Processing (2008)","DOI":"10.1109\/IPDPS.2008.4536183"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"1_CR53","unstructured":"The LabVIEW Environment, http:\/\/www.ni.com\/labview\/"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.P.: StreamIt: A language for streaming applications. In: Conference on Compiler Construction (2002)","DOI":"10.1007\/3-540-45937-5_14"},{"key":"1_CR55","unstructured":"Tichy, M., Henkler, S., Holtmann, J., Oberth\u00fcr, S.: Component story diagrams: A transformation language for component structures in mechatronic systems. In: Workshop on Object-oriented Modeling of Embedded Real-Time Systems, Paderborn, Germany (2008)"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. (2002)","DOI":"10.1016\/S0167-6423(02)00036-9"},{"key":"1_CR57","unstructured":"Wikipedia: Graph rewriting, http:\/\/en.wikipedia.org\/wiki\/Graph_rewriting"},{"key":"1_CR58","unstructured":"Wikipedia: Component-based software engineering (2013), http:\/\/en.wikipedia.org\/wiki\/Component-based_software_engineering"},{"key":"1_CR59","unstructured":"Wittenburg, K.: Earley-style parsing for relational grammars. In: Visual Languages (1992)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02654-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,9]],"date-time":"2022-03-09T19:04:59Z","timestamp":1646852699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02654-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319026534","9783319026541"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02654-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}