Of software and change
暂无分享,去创建一个
[1] Rajeev Alur,et al. Model checking of hierarchical state machines , 1998, TOPL.
[2] Sarfraz Khurshid,et al. Directed incremental symbolic execution , 2011, PLDI '11.
[3] Theo D'Hondt,et al. Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates , 2007, IEEE Transactions on Software Engineering.
[4] Carlo Ghezzi,et al. Syntax-Driven Program Verification of Matching Logic Properties , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
[5] Michael Jackson,et al. Four dark corners of requirements engineering , 1997, TSEM.
[6] Cliff B. Jones,et al. Tentative steps toward a development method for interfering programs , 1983, TOPL.
[7] Meir M. Lehman,et al. A Model of Large Program Development , 1976, IBM Syst. J..
[8] Dalal Alrajeh,et al. Supporting incremental behaviour model elaboration , 2012, Computer Science - Research and Development.
[9] Carlo Ghezzi,et al. Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows , 2014, ISoLA.
[10] Leonardo Mariani,et al. Run-Time Verification , 2004, Model-Based Testing of Reactive Systems.
[11] Sooyong Park,et al. Dynamic Software Product Lines , 2008, Computer.
[12] Martin Leucker,et al. Runtime Verification for LTL and TLTL , 2011, TSEM.
[13] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[14] Howard Barringer,et al. Assumption generation for software component verification , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[15] Luciano Baresi,et al. Efficient Dynamic Updates of Distributed Components Through Version Consistency , 2017, IEEE Transactions on Software Engineering.
[16] Sagar Chaki,et al. Verification of Evolving Software , 2004 .
[17] Thomas A. Henzinger,et al. Extreme Model Checking , 2003, Verification: Theory and Practice.
[18] Carlo Ghezzi,et al. Syntactic-semantic incrementality for agile verification , 2015, Sci. Comput. Program..
[19] Carlo Ghezzi,et al. Managing non-functional uncertainty via model-driven adaptivity , 2013, 2013 35th International Conference on Software Engineering (ICSE).
[20] Pamela Zave,et al. Deriving Specifications from Requirements: an Example , 1995, 1995 17th International Conference on Software Engineering.
[21] Carlo Ghezzi,et al. Model evolution by run-time parameter adaptation , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[22] Bradley R. Schmerl,et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.
[23] T. Kanade. Model-Based Testing of Reactive Systems , 2005 .
[24] Carlo Ghezzi,et al. Self-adaptive software needs quantitative verification at runtime , 2012, CACM.
[25] Marsha Chechik,et al. Multi-valued symbolic model-checking , 2003, TSEM.
[26] Mary Shaw,et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.
[27] Carlo Ghezzi,et al. Reasoning on Non-Functional Requirements for Integrated Services , 2009, 2009 17th IEEE International Requirements Engineering Conference.
[28] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[29] Hongyang Qu,et al. Assume-Guarantee Verification for Probabilistic Systems , 2010, TACAS.
[30] Carlo Ghezzi. Dependability of Adaptable and Evolvable Distributed Systems , 2016, SFM.
[31] Mahesh Viswanathan,et al. Incremental state-space exploration for programs with dynamically allocated data , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[32] Gregg Rothermel,et al. Regression model checking , 2009, 2009 IEEE International Conference on Software Maintenance.
[33] Jeff Magee,et al. The Evolving Philosophers Problem: Dynamic Change Management , 1990, IEEE Trans. Software Eng..
[34] Carlo Ghezzi,et al. A formal approach to adaptive software: continuous assurance of non-functional requirements , 2011, Formal Aspects of Computing.
[35] Stephen A. Edwards,et al. Incremental Algorithms for Inter-procedural Analysis of Safety Properties , 2005, CAV.
[36] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[37] Claudio Menghi. Verifying incomplete and evolving specifications , 2014, ICSE Companion.
[38] Carlo Ghezzi,et al. Towards Agile Verification , 2013, Perspectives on the Future of Software Engineering.
[39] Carlo Ghezzi,et al. Predicting Performance Properties for Open Systems with KAMI , 2009, QoSA.
[40] Jim Steel,et al. Engineering Modeling Languages: Turning Domain Knowledge into Tools , 2016 .
[41] Rogério de Lemos,et al. Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] , 2009, Software Engineering for Self-Adaptive Systems.
[42] Liming Zhu,et al. DevOps - A Software Architect's Perspective , 2015, SEI series in software engineering.
[43] Sagar Chaki,et al. Dynamic Component Substitutability Analysis , 2005, FM.
[44] Carlo Ghezzi,et al. Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time , 2016, IEEE Transactions on Software Engineering.
[45] Bertrand Meyer,et al. Agile! , 2014, Springer International Publishing.
[46] Joost-Pieter Katoen,et al. A Markov reward model checker , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[47] Gordon S. Blair,et al. Models@ run.time , 2009, Computer.
[48] Carlo Ghezzi,et al. Dealing with Incompleteness in Automata-Based Model Checking , 2016, FM.
[49] Patrice Godefroid,et al. Model Checking Partial State Spaces with 3-Valued Temporal Logics , 1999, CAV.
[50] Carlo Ghezzi,et al. Run-time efficient probabilistic model checking , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[51] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.