SDL 2017: Model-Driven Engineering for Future Internet
暂无分享,去创建一个
[1] Amardeo Sarma,et al. SDL '95 with MSC in CASE : proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 , 1995 .
[2] K. K. Aggarwal,et al. Code coverage based technique for prioritizing test cases for regression testing , 2004, SOEN.
[3] Jean Bézivin,et al. On the Use of Higher-Order Model Transformations , 2009, ECMDA-FA.
[4] Gregg Rothermel,et al. Analyzing Regression Test Selection Techniques , 1996, IEEE Trans. Software Eng..
[5] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[6] Ákos Horváth,et al. A model-driven framework for guided design space exploration , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
[7] Lawrence Chung,et al. Requirements elicitation through model-driven evaluation of software components , 2006, Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'05).
[8] Bob Bryla,et al. Oracle Database 12c The Complete Reference , 2013 .
[9] Craig A. Knoblock,et al. Planning by Rewriting , 2001, J. Artif. Intell. Res..
[10] Akihiko Ohsuga,et al. A goal model elaboration for localizing changes in software evolution , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).
[11] Zafar I. Malik,et al. An approach for selective state machine based regression testing , 2007, A-MOST '07.
[12] Maria Toeroe,et al. A Model-Based Approach for User Requirements Decomposition and Component Selection , 2014, Formalisms for Reuse and Systems Integration.
[13] Andy Schürr,et al. Developing eMoflon with eMoflon , 2014, ICMT.
[14] Gregg Rothermel,et al. Selecting regression tests for object-oriented software , 1994, Proceedings 1994 International Conference on Software Maintenance.
[15] Pearl Brereton,et al. Systematic literature reviews in software engineering - A systematic literature review , 2009, Inf. Softw. Technol..
[16] Gregg Rothermel,et al. Prioritizing test cases for regression testing , 2000, ISSTA '00.
[17] Bogdan Korel,et al. Model based regression test reduction using dependence analysis , 2002, International Conference on Software Maintenance, 2002. Proceedings..
[18] Orest Pilskalns,et al. Regression Testing UML Designs , 2006, 2006 22nd IEEE International Conference on Software Maintenance.
[19] Dieter Hogrefe,et al. Telecommunications and UML languages , 2005, Comput. Networks.
[20] Jérémie Guiochet,et al. Safety-critical advanced robots: A survey , 2017, Robotics Auton. Syst..
[21] Daniel Varro. Automated Program Generation for and by Model Transformation Systems , 2002 .
[22] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[23] A. Vallecillo,et al. Orchestrating ATL Model Transformations , 2009 .
[24] Zoltán Szatmári,et al. A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems , 2012, KES-AMSTA.
[25] Guido Wachsmuth. A Formal Way from Text to Code Templates , 2009, FASE.
[26] Manuel Wimmer,et al. A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..
[27] Rajiv Gupta,et al. A methodology for controlling the size of a test suite , 1990, Proceedings. Conference on Software Maintenance 1990.
[28] Julien Botella,et al. SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models , 2014, 2014 Eighth International Conference on Software Security and Reliability.
[29] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .
[30] Marko A. Rodriguez,et al. The Gremlin graph traversal machine and language (invited talk) , 2015, DBPL.
[31] Neil A. Ernst,et al. Finding incremental solutions for evolving requirements , 2011, 2011 IEEE 19th International Requirements Engineering Conference.
[32] Santiago Matalonga,et al. Test case design for context-aware applications: Are we there yet? , 2017, Inf. Softw. Technol..
[33] Ruth Breu,et al. A Generic Platform for Model-Based Regression Testing , 2012, ISoLA.
[34] VARUN CHANDOLA,et al. Anomaly detection: A survey , 2009, CSUR.
[35] Krzysztof Czarnecki,et al. Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..
[36] Gergely Varró,et al. A Rete Network Construction Algorithm for Incremental Pattern Matching , 2013, ICMT.
[37] Daniel Grund,et al. GrGen: A Fast SPO-Based Graph Rewriting Tool , 2006, ICGT.
[38] Michel A. Reniers,et al. High-level message sequence charts , 1997, SDL Forum.
[39] Elisabetta Di Nitto,et al. Model-driven continuous deployment for quality DevOps , 2016, QUDOS@ISSTA.
[40] Ulrich Nickel,et al. The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[41] Marko A. Rodriguez,et al. Constructions from Dots and Lines , 2010, ArXiv.
[42] Marsha Chechik,et al. Looking into the Crystal Ball: Requirements Evolution over Time , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).
[43] Zachary J. Oster,et al. Identifying Optimal Composite Services by Decomposing the Service Composition Problem , 2011, 2011 IEEE International Conference on Web Services.
[44] Oussama Ben Khadra,et al. Goal-centric traceability for managing non-functional requirements , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[45] Jameleddine Hassine,et al. Measurement of Actor External Dependencies in GRL Models , 2014, iStar.
[46] Werner Kurschl,et al. A Rule Based Approach for Mapping Sensor Data to Ontological Models in AAL Environments , 2012, ER Workshops.
[47] Jonathan Lee,et al. Change impact analysis with a goal-driven traceability-based approach , 2010 .
[48] Tom Blanchard,et al. Endocrine inspired control of wireless sensor networks: deployment and analysis , 2016 .
[49] Anne-Wil Harzing,et al. The Publish or Perish Book: Your guide to effective and responsible citation analysis , 2010 .
[50] Brian Henderson-Sellers,et al. Bridging metamodels and ontologies in software engineering , 2011, J. Syst. Softw..
[51] Zachary J. Oster,et al. Decomposing the Service Composition Problem , 2010, 2010 Eighth IEEE European Conference on Web Services.
[52] Joan Serrat,et al. Management and orchestration challenges in network functions virtualization , 2016, IEEE Communications Magazine.
[53] Didier Colle,et al. Network service chaining with efficient network function mapping based on service decompositions , 2015, Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft).
[54] Jon Oldevik,et al. Transformation Composition Modelling Framework , 2005, DAIS.
[55] Larisa Shwartz,et al. Decomposition of IT service processes and alternative service identification using ontologies , 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.
[56] Heiko Behrens,et al. Xtext: implement your language faster than the quick and dirty way , 2010, SPLASH/OOPSLA Companion.
[57] Tibor Gyimóthy,et al. Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation , 2014, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.
[58] Oscar Pastor,et al. Automating the Interoperability of Conceptual Models in Specific Development Domains , 2013, Domain Engineering, Product Lines, Languages, and Conceptual Models.
[59] Bushra Alolayan. Toward sustainable households : passive context-aware intervention to promote reduction in food waste , 2017 .
[60] Imran Khan,et al. A data annotation architecture for semantic applications in virtualized wireless sensor networks , 2015, 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM).
[61] Jack P. C. Kleijnen,et al. EUROPEAN JOURNAL OF OPERATIONAL , 1992 .
[62] Ákos Horváth,et al. Viatra 3: A Reactive Model Transformation Platform , 2015, ICMT.
[63] Rachida Dssouli,et al. MSC and SDL in project life cycles , 2001, Comput. Networks.
[64] Dieter Fensel,et al. Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .
[65] Dániel Varró,et al. Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans , 2006, GRaMoT@GPCE.
[66] Daniel Lemire,et al. Measuring academic influence: Not all citations are equal , 2015, J. Assoc. Inf. Sci. Technol..
[67] Michael Grossniklaus,et al. An Algebra and Equivalences to Transform Graph Patterns in Neo4j , 2016, EDBT/ICDT Workshops.
[68] Oscar Pastor,et al. Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles , 2009, CAiSE.
[69] Alexander Kraas. Towards an Extensible Modeling and Validation Framework for SDL-UML , 2014, SAM.
[70] Mark Harman. Making the Case for MORTO: Multi Objective Regression Test Optimization , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
[71] Hareton K. N. Leung,et al. A survey of code‐based change impact analysis techniques , 2013, Softw. Test. Verification Reliab..
[72] Jennifer Widom,et al. Database Systems: The Complete Book , 2001 .
[73] Richard F. Paige,et al. The Epsilon Transformation Language , 2008, ICMT@TOOLS.
[74] Jordi Cabot,et al. Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.
[75] Ileana Ober,et al. SDL - The IoT Language , 2015, SDL Forum.
[76] Eelco Visser,et al. The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge , 2013, SLE.
[77] Mohiuddin Ahmed,et al. A survey of network anomaly detection techniques , 2016, J. Netw. Comput. Appl..
[78] Jean Bézivin,et al. Global Model Management in Eclipse GMT/AM3 , 2006 .
[79] Abraham Silberschatz,et al. Database System Concepts , 1980 .
[80] Davide Di Ruscio,et al. Automated Chaining of Model Transformations with Incompatible Metamodels , 2014, MoDELS.
[81] Eric S. K. Yu,et al. Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
[82] Thorsten Meinl,et al. KNIME: The Konstanz Information Miner , 2007, GfKl.
[83] Dieter Hogrefe,et al. A UML Profile for Communicating Systems , 2006, SAM.
[84] Zhiliang Zhu,et al. Selecting Features for Anomaly Intrusion Detection: A Novel Method using Fuzzy C Means and Decision Tree Classification , 2013, CSS.
[85] Manuel Wimmer,et al. A semi-automatic approach for bridging DSMLs with UML , 2009, Int. J. Web Inf. Syst..
[86] Amit P. Sheth,et al. The SSN ontology of the W3C semantic sensor network incubator group , 2012, J. Web Semant..
[87] Per Runeson,et al. A systematic review on regression test selection techniques , 2010, Inf. Softw. Technol..
[88] Bogdan Korel,et al. Dependence analysis in reduction of requirement based test suites , 2002, ISSTA '02.
[89] Ákos Horváth,et al. Local Search-Based Pattern Matching Features in EMF-IncQuery , 2015, ICGT.
[90] Jacques Bughin,et al. The internet of things: mapping the value beyond the hype , 2015 .
[91] Joachim Fischer,et al. Static Syntax Validation for Code Generation with String Templates , 2017, SDL Forum.
[92] H. Kaiya,et al. On Relationships among Models , Meta Models and Ontologies , 2006 .
[93] Gregg Rothermel,et al. Cost-cognizant Test Case Prioritization , 2006 .
[94] Jordi Cabot,et al. MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..
[95] Mianxiong Dong,et al. Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes , 2017, Future Gener. Comput. Syst..
[96] Dave Evans,et al. How the Next Evolution of the Internet Is Changing Everything , 2011 .
[97] Rick Reed. ITU-T system design languages (SDL) , 2003, Comput. Networks.
[98] Erhard Rahm,et al. Cypher-based Graph Pattern Matching in Gradoop , 2017, GRADES@SIGMOD/PODS.
[99] Jean Bézivin,et al. Modeling in the Large and Modeling in the Small , 2003, MDAFA.
[100] Dániel Varró,et al. IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud , 2014, MoDELS.
[101] Hasan Salim Alkaf,et al. An Automated Change Impact Analysis Approach to GRL Models , 2017, SDL Forum.
[102] José Ramón Hilera,et al. Using Ontologies in Software Engineering and Technology , 2006, Ontologies for Software Engineering and Software Technology.
[103] Wouter Joosen,et al. UniTI: a unified transformation infrastructure , 2007, MODELS'07.
[104] Ana R. Cavalli,et al. SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings , 1997, SDL Forum.
[105] Lionel C. Briand,et al. Automating impact analysis and regression test selection based on UML designs , 2002, International Conference on Software Maintenance, 2002. Proceedings..
[106] Yinghua Qin,et al. Realizing network function virtualization management and orchestration with model based open architecture , 2015, 2015 11th International Conference on Network and Service Management (CNSM).
[107] Oscar Pastor,et al. Integration of domain-specific modelling languages and UML through UML profile extension mechanism , 2009, Int. J. Comput. Sci. Appl..
[108] Andy Schürr,et al. An algorithm for generating model-sensitive search plans for pattern matching on EMF models , 2013, Software & Systems Modeling.
[109] Mark Harman,et al. Regression testing minimization, selection and prioritization: a survey , 2012, Softw. Test. Verification Reliab..
[110] Marko A. Rodriguez,et al. The Graph Traversal Pattern , 2010, Graph Data Management.
[111] Ivan Porres,et al. A Relation Between Context-Free Grammars and Meta Object Facility Metamodels , 2003 .
[112] G. Maciá-Fernández,et al. Anomaly-based network intrusion detection: Techniques, systems and challenges , 2009, Comput. Secur..
[113] Steffen Lehnert,et al. A taxonomy for software change impact analysis , 2011, IWPSE-EVOL '11.
[114] Ákos Horváth,et al. EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..
[115] Charu C. Aggarwal,et al. The Internet of Things: A Survey from the Data-Centric Perspective , 2013, Managing and Mining Sensor Data.
[116] Hui Song,et al. CloudMF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications , 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing.
[117] Robert S. Arnold,et al. Software Change Impact Analysis , 1996 .
[118] Hans Vangheluwe,et al. FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.
[119] Joseph Robert Horgan,et al. Incremental regression testing , 1993, 1993 Conference on Software Maintenance.
[120] Doina Caragea,et al. Graph Databases , 2019, Encyclopedia of Big Data Technologies.
[121] Peter Matthew David Scully,et al. CARDINAL-Vanilla : immune system inspired prioritisation and distribution of security information for industrial networks , 2016 .
[122] Dániel Varró,et al. Formalising opencypher Graph Queries in Relational Algebra , 2017, ADBIS.
[123] Jordi Cabot,et al. MoDisco: a generic and extensible framework for model driven reverse engineering , 2010, ASE.
[124] Michael Uschold,et al. Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.
[125] Adam Jacoff,et al. Comprehensive standard test suites for the performance evaluation of mobile robots , 2010, PerMIS.
[126] Gabriele Taentzer,et al. Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.
[127] Roland Meyer,et al. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets , 2005, SDL Forum.
[128] Gregg Rothermel,et al. An empirical study of regression test selection techniques , 2001, ACM Trans. Softw. Eng. Methodol..
[129] Lokman I. Meho. The Rise and Rise of Citation Analysis , 2006, ArXiv.
[130] Andreas Prinz,et al. A Model-Based Standard for SDL , 2007, SDL Forum.
[131] Kyo Chul Kang,et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .
[132] Horst Bunke,et al. An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm , 1990, Graph-Grammars and Their Application to Computer Science.
[133] Alessandro Orso,et al. Regression test selection for Java software , 2001, OOPSLA '01.
[134] Ruth Breu,et al. Model-based regression testing by OCL , 2015, International Journal on Software Tools for Technology Transfer.
[135] Amelie Gyrard. An Architecture to Aggregate Heterogeneous and Semantic Sensed Data , 2013, ESWC.
[136] Mark S. Fox,et al. A Requirement Ontology for Engineering Design , 1996 .
[137] Terence John Parr,et al. Enforcing strict model-view separation in template engines , 2004, WWW '04.
[138] Tharam S. Dillon,et al. Semantics of Cyber-Physical Systems , 2012, Intelligent Information Processing.
[139] Jean-Marc Jézéquel,et al. Efficient object-oriented integration and regression testing , 2000, IEEE Trans. Reliab..
[140] Other Contributors Are Indicated Where They Contribute. The Eclipse Foundation , 2017 .
[141] Markus Scheidgen. Description of languages based on object-oriented meta-modelling , 2009 .
[142] Terence Parr. A Functional Language For Generating Structured Text , 2006 .
[143] Wasif Gilani,et al. Model Transformation Chains and Model Management for End-to-End Performance Decision Support , 2009, GTTSE.
[144] Ákos Horváth,et al. Incremental evaluation of model queries over EMF models , 2010, MODELS'10.
[145] Paul King,et al. Groovy in Action , 2007 .
[146] Rüdiger Grammes. Syntactic and semantic modularisation of modelling languages , 2007 .
[147] Alexander Kraas,et al. On the Automated Derivation of Domain-Specific UML Profiles , 2017, ECMFA.
[148] A. Jefferson Offutt,et al. Maintaining evolving component-based software with UML , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..
[149] Zafar I. Malik,et al. A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.
[150] Aprajita,et al. TimedGRL: Specifying Goal Models Over Time , 2016, 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW).
[151] Serge Demeyer,et al. ChEOPSJ: Change-Based Test Optimization , 2012, 2012 16th European Conference on Software Maintenance and Reengineering.
[152] John Mylopoulos,et al. Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..
[153] Yanping Chen,et al. Specification-based regression test selection with risk analysis , 2002, CASCON.
[154] Eleonora Borgia,et al. The Internet of Things vision: Key features, applications and open issues , 2014, Comput. Commun..
[155] Axel van Lamsweerde,et al. Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..
[156] Frank Budinsky,et al. EMF: Eclipse Modeling Framework 2.0 , 2009 .
[157] HeerJeffrey,et al. D3 Data-Driven Documents , 2011 .
[158] Yanping Chen,et al. Regression test suite reduction using extended dependence analysis , 2007, SOQUA '07.
[159] Markus Scheidgen,et al. A Metamodel for SDL-2000 in the Context of Metamodelling ULF , 2004, SAM.
[160] Richard F. Paige,et al. Chaining model transformations , 2012, AMT '12.
[161] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .
[162] Ákos Horváth,et al. Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.
[163] B. J. Arnoldus,et al. An illumination of the template enigma : software code generation with templates , 2011 .
[164] Gregg Rothermel,et al. Using component metadata to regression test component‐based software , 2007, Softw. Test. Verification Reliab..
[165] Takashi Yoshikawa,et al. Supporting Requirements Change Management in Goal Oriented Analysis , 2008, 2008 16th IEEE International Requirements Engineering Conference.
[166] Lionel C. Briand,et al. Automating regression test selection based on UML designs , 2009, Inf. Softw. Technol..
[167] Luay Tahat,et al. Toward automatically quantifying the impact of a change in systems , 2017, Software Quality Journal.