Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
暂无分享,去创建一个
[1] Darrel C. Ince,et al. The case for open computer programs , 2012, Nature.
[2] Thomas W. Reps,et al. TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis , 2013, TOPL.
[3] Alvin Cheung,et al. Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis , 2015, SNAPL.
[4] Armando Solar-Lezama,et al. JSketch: sketching for Java , 2015, ESEC/SIGSOFT FSE.
[5] Arie van Deursen,et al. The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .
[6] Patrick Borras,et al. Centaur: the system , 1988, Software Development Environments.
[7] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[8] Pamela Zave,et al. Using lightweight modeling to understand chord , 2012, CCRV.
[9] John Launchbury,et al. Specifying superscalar microprocessors in Hawk , 1998 .
[10] Xavier Leroy,et al. Formal verification of a realistic compiler , 2009, CACM.
[11] Yun Lu,et al. Mapping template semantics to SMV , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[12] W. Marsden. I and J , 2012 .
[13] David R. Karger,et al. Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM '01.
[14] Tom Ridge,et al. Lem: reusable engineering of real-world semantics , 2014, ICFP.
[15] Michiel van Genuchten,et al. On the Impact of Being Open , 2015, IEEE Software.
[16] Daniel E. Geer. Children of the Magenta , 2015, IEEE Secur. Priv..
[17] Ernesto Posse. PapyrusRT: Modelling and Code Generation (Invited Presentation) , 2015, OSS4MDE@MoDELS.
[18] Armando Solar-Lezama,et al. Sketching concurrent data structures , 2008, PLDI '08.
[19] Grigore Rosu,et al. K-Java , 2015, POPL.
[20] Håkan Burden,et al. Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? , 2013, MoDELS.
[21] Emina Torlak,et al. A lightweight symbolic virtual machine for solver-aided host languages , 2014, PLDI.
[22] Don Monroe,et al. When data is not enough , 2015, Commun. ACM.
[23] Mehrdad Sabetzadeh,et al. Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach , 2012, IEEE Software.
[24] Reiko Heckel,et al. Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.
[25] Francis Bordeleau,et al. 5 Years of 'Papyrusing' - Migrating Industrial Development from a Proprietary Commercial Tool to Papyrus (Invited Presentation) , 2015, OSS4MDE@MoDELS.
[26] Stuart C. Shapiro,et al. Splitting the Difference: the Historical Necessity of Synthesis in Software Engineering , 2022 .
[27] Luc Moreau,et al. PROV-Overview. An Overview of the PROV Family of Documents , 2013 .
[28] Frank Tip,et al. Chianti: a tool for change impact analysis of java programs , 2004, OOPSLA.
[29] Jürgen Dingel,et al. A Customizable Execution Engine for Models of Embedded Systems , 2015, BM-FA.
[30] Jürgen Dingel,et al. The problems with eclipse modeling tools: a topic analysis of eclipse forums , 2016, MoDELS.
[31] Bran Selic,et al. What will it take? A view on adoption of model-based methods in practice , 2012, Software & Systems Modeling.
[32] J. Tainter. Complexity, Problem Solving, and Sustainable Societies , 1996 .
[33] Jose Luis de la Vara,et al. Safety Evidence Traceability: Problem Analysis and Model , 2014, REFSQ.
[34] Grigore Rosu,et al. An overview of the K semantic framework , 2010, J. Log. Algebraic Methods Program..
[35] Peter D. Mosses. Compiler Generation Using Denotational Semantics , 1976, MFCS.
[36] Gregg Rothermel,et al. Regression model checking , 2009, 2009 IEEE International Conference on Software Maintenance.
[37] Emina Torlak,et al. Growing solver-aided languages with rosette , 2013, Onward!.
[38] Derek Rayside,et al. Unifying execution of imperative and declarative code , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[39] Luc Moreau,et al. A Formal Account of the Open Provenance Model , 2015, TWEB.
[40] Robert Costanza,et al. Getting Down to Earth: Practical Applications Of Ecological Economics , 1996 .
[41] Jürgen Dingel,et al. Model transformation intents and their properties , 2016, Software & Systems Modeling.
[42] Robert L. Glass,et al. Sorting out software complexity , 2002, CACM.
[43] Twan Basten,et al. A blueprint for system-level performance modeling of software-intensive embedded systems , 2016, International Journal on Software Tools for Technology Transfer.
[44] Armando Solar-Lezama,et al. Programming by sketching for bit-streaming programs , 2005, PLDI '05.
[45] Rastislav Bodík,et al. Synthesis of biological models from mutation experiments , 2013, POPL.
[46] Sumit Gulwani,et al. Automated feedback generation for introductory programming assignments , 2013, PLDI.
[47] Manuel Lima,et al. The Book of Trees: Visualizing Branches of Knowledge , 2014 .
[48] Fabrizio Riguzzi. A Survey of Software Metrics , 2002 .
[49] Klaus Grimm. Software technology in an automotive company - major challenges , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[50] T. Homer-Dixon. The Ingenuity Gap , 2000 .
[51] E. Tufte. Beautiful Evidence , 2006 .
[52] Yogesh L. Simmhan,et al. The Open Provenance Model core specification (v1.1) , 2011, Future Gener. Comput. Syst..
[53] Matthias Felleisen,et al. Semantics Engineering with PLT Redex , 2009 .
[54] Sumit Gulwani,et al. Spreadsheet data manipulation using examples , 2012, CACM.
[55] R.N. Charette,et al. Why software fails [software failure] , 2005, IEEE Spectrum.
[56] Øystein Haugen,et al. Train Control Language – Teaching Computers Interlocking , 2008 .
[57] Sarfraz Khurshid,et al. Directed incremental symbolic execution , 2011, PLDI '11.
[58] Hausi A. Müller,et al. Rigi - An environment for software reverse engineering, exploration, visualization, and redocumentation , 2010, Sci. Comput. Program..
[59] W. Robert Reed,et al. Replications in Economics: A Progress Report , 2014 .
[60] Jürgen Dingel,et al. Incremental symbolic execution of evolving state machines , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).
[61] Michael Norrish,et al. seL4: formal verification of an OS kernel , 2009, SOSP '09.
[62] Jürgen Dingel,et al. Specification and Verification of Graph-Based Model Transformation Properties , 2014, ICGT.
[63] Jean-Marc Jézéquel,et al. Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.
[64] J. P. Potocki de Montalk. Computer software in civil aircraft , 1993, Microprocess. Microsystems.
[65] Reinhold Plösch,et al. Objective safety compliance checks for source code , 2014, ICSE Companion.
[66] Dennis G. Kafura. A survey of software metrics , 1985, ACM '85.
[67] Hareton K. N. Leung,et al. A survey of code‐based change impact analysis techniques , 2013, Softw. Test. Verification Reliab..
[68] Alvin Cheung,et al. Optimizing database-backed applications with query synthesis , 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
[69] Capers Jones,et al. Why software fails , 1996 .
[70] Houari A. Sahraoui,et al. Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples , 2016, ACM Trans. Softw. Eng. Methodol..
[71] K. Rustan M. Leino,et al. Formalizing and Verifying a Modern Build Language , 2014, FM.
[72] Peter J. Denning,et al. Virtual memory , 1970, CSUR.
[73] Christian S. Collberg,et al. Repeatability in computer systems research , 2016, Commun. ACM.
[74] Chucky Ellison,et al. An executable formal semantics of C with applications , 2011, POPL '12.
[75] Daejun Park,et al. KJS: a complete formal semantics of JavaScript , 2015, PLDI.
[76] Maria João Varanda Pereira,et al. Automatic generation of language-based tools using the LISA system , 2005, IEE Proc. Softw..
[77] Gregory Tassey,et al. Prepared for what , 2007 .