Renovation of idiomatic crosscutting concerns in embedded systems
暂无分享,去创建一个
[1] David W. Binkley,et al. Program slicing , 2008, 2008 Frontiers of Software Maintenance.
[2] R. Boumen,et al. Integration and test plans for complex manufacturing systems , 2007 .
[3] Paolo Tonella,et al. A Survey of Automated Code-Level Aspect Mining Techniques , 2007, LNCS Trans. Aspect Oriented Softw. Dev..
[4] Richard C. Holt. Structural manipulations of software architecture using Tarski relational algebra , 1998, Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261).
[5] Martijn van Veelen,et al. Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .
[6] Bahareh Badban,et al. Verification Techniques for Extensions of Equality Logic , 2006 .
[7] Eelco Dolstra,et al. The purely functional software deployment model , 2006 .
[8] Sriram K. Rajamani,et al. The SLAM project: debugging system software via static analysis , 2002, POPL '02.
[9] Murray Hill,et al. Lint, a C Program Checker , 1978 .
[10] Gabriele Lenzini,et al. Integration of Analysis Techniques in Security and Fault-Tolerance , 2005 .
[11] Gregor Kiczales,et al. Using aspectC to improve the modularity of path-specific customization in operating system code , 2001, ESEC/FSE-9.
[12] Bengt Jonsson,et al. Probabilistic Process Algebra , 2001 .
[13] Martijn Warnier,et al. Language based security for Java and JML , 2006 .
[14] Kevin A. Schneider,et al. HSML: design directed source code hot spots , 2001, Proceedings 9th International Workshop on Program Comprehension. IWPC 2001.
[15] Serge Demeyer,et al. Reconstruction of successful software evolution using clone detection , 2003, Sixth International Workshop on Principles of Software Evolution, 2003. Proceedings..
[16] Michael Dyer. The Cleanroom Approach to Quality Software Development , 1992, Int. CMG Conference.
[17] M. Kyas. Verifying OCL Specifications of UML models , 2006 .
[18] William G. Griswold,et al. Design Recommendations for Concern Elaboration Tools , 2005 .
[19] Niels P. Veerman. Revitalizing modifiability of legacy assets , 2004, J. Softw. Maintenance Res. Pract..
[20] Andrew Walenstein,et al. Clone Detector Evaluation Can Be Improved: Ideas from Information Retrieval , 2003 .
[21] M. Bruntink. Aspect Mining using Clone Class Metrics Magiel Bruntink , 2022 .
[22] N. Schneidewind,et al. Towards an Ontology of software maintenance , 1999 .
[23] Olga Tveretina,et al. A Decision Procedure for Equality Logic with Uninterpreted Functions , 2004, AISC.
[24] Jan A. Bergstra,et al. The Discrete Time TOOLBUS - A Software Coordination Architecture , 1998, Science of Computer Programming.
[25] T. van der Storm. Component-based configuration, integration and delivery , 2003 .
[26] Bastiaan Heeren,et al. Top quality type error Messages , 2005 .
[27] Edward N. Adams,et al. Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..
[28] M. de Jonge,et al. To reuse or to be reused. Techniques for component composition and construction , 2003 .
[29] Stefan Hanenberg,et al. Refactoring of Aspect-Oriented Software , 2003 .
[30] Andy Schürr,et al. GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.
[31] Arjen van Weelden,et al. Putting Types To Good Use , 2007 .
[32] Maria Eva Magdalena Lijding,et al. Real-Time Scheduling of Tertiary Storage , 2003 .
[33] Tac Tim Willemse. Semantics and verification in process algebras with data and timing , 2003 .
[34] M. A. Valero Espada,et al. Modal Abstraction and Replication of Processes with Data , 2005 .
[35] Arie van Deursen,et al. Program plan recognition for Year 2000 tools , 1997, Proceedings of the Fourth Working Conference on Reverse Engineering.
[36] Bram Adams,et al. Aspect orientation for C: express yourself , 2005 .
[37] Gilad Mishne,et al. Source Code Retrieval using Conceptual Similarity , 2004, RIAO.
[38] Ralf Lämmel,et al. Parse-tree annotations meet re-engineering concerns , 2003, Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation.
[39] B. Gebremichael-Tesfagiorgis,et al. Expressivity of Timed Automata Models , 2006 .
[40] Bram Adams,et al. An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters) , 2007, SPLAT.
[41] Goran Frehse,et al. Compositional verification of hybrid systems using simulation relations , 2005 .
[42] Iris Loeb. Natural Deduction, Sharing By Presentation , 2007 .
[43] Sorin Lerner,et al. ESP: path-sensitive program verification in polynomial time , 2002, PLDI '02.
[44] A. L. de Groot,et al. Practical Automaton proofs in PVS , 2000 .
[45] Michael Stonebraker,et al. Migrating Legacy Systems: Gateways, Interfaces, and the Incremental Approach , 1995 .
[46] Cjf Cas Cremers. Scyther : semantics and verification of security protocols , 2006 .
[47] Leon Moonen,et al. Java quality assurance by detecting code smells , 2002, Ninth Working Conference on Reverse Engineering, 2002. Proceedings..
[48] Yee Wei Law,et al. Key management and link-layer security of wireless sensor networks : Energy-efficient attack and defense , 2005 .
[49] Dawson R. Engler,et al. Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.
[50] Dean Jin,et al. Ontology-based software analysis and reengineering tool integration: the OASIS service-sharing methodology , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).
[51] Radu Marinescu,et al. Measurement and Quality in Object-Oriented Design , 2005, ICSM.
[52] den Jeremy Ian Hartog,et al. Probabilistic Extensions of Semantical Models , 2002 .
[53] Chen Fu,et al. Robustness testing of Java server applications , 2005, IEEE Transactions on Software Engineering.
[54] David B. Stewart,et al. A study of the applicability of existing exception-handling techniques to component-based real-time software technology , 1998, TOPL.
[55] Siegfried Nijssen. Mining Structured Data , 2006 .
[56] Hartmut Peter Benz,et al. Casual Multimedia Process Annotations -- CoMPAs , 2003 .
[57] W.N. Toy,et al. Fault-tolerant design of local ESS processors , 1978, Proceedings of the IEEE.
[58] William R. Bush,et al. A static analyzer for finding dynamic programming errors , 2000, Softw. Pract. Exp..
[59] V Victor Bos,et al. Formal specification and analysis of industrial systems , 2002 .
[60] Václav Rajlich,et al. Removing clones from the code , 1999, J. Softw. Maintenance Res. Pract..
[61] Arie van Deursen,et al. The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .
[62] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[63] F. Bartels,et al. On Generalised Coinduction and Probabilistic Specification Formats , 2004 .
[64] Mohammad Ali Abam. New data structures and algorithms for mobile data , 2007 .
[65] Wpaj Wil Michiels. Performance ratios for the differencing method , 2004 .
[66] M. Ceccato,et al. Applying and combining three different aspect Mining Techniques , 2006, Software Quality Journal.
[67] Eelco Visser,et al. Scannerless Generalized-LR Parsing , 1997 .
[68] A. J. Markvoort. Towards hybrid molecular simulations , 2006 .
[69] Emily Hill,et al. Design and Evaluation of an Automated Aspect Mining Tool , 2004, Software Engineering Research and Practice.
[70] Sander M. Bohte,et al. Spiking Neural Networks , 2003 .
[71] James M. Purtilo,et al. Parse tree annotations , 1989, CACM.
[72] H.M.A. van Beek,et al. Specification and analysis of Internet applications , 2005 .
[73] Tomas Krilavicius,et al. Hybrid Techniques for Hybrid Systems , 2006 .
[74] Cecília M. F. Rubira,et al. Exceptions and aspects: the devil is in the details , 2006, SIGSOFT '06/FSE-14.
[75] Shari Lawrence Pfleeger,et al. Software Metrics : A Rigorous and Practical Approach , 1998 .
[76] Gordon S. Blair,et al. On the Separation of Concerns in Program Families , 2004 .
[77] RJ Roy Willemen,et al. School timetable construction : algorithms and complexity , 2002 .
[78] Ansgar Fehnker,et al. Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems , 2002 .
[79] Narain H. Gehani,et al. Exceptional C or C with exceptions , 1992, Softw. Pract. Exp..
[80] Arie van Deursen,et al. A Systematic Aspect-Oriented Refactoring and Testing Strategy, and its Application to JHotDraw , 2005, ArXiv.
[81] Daniel P. Friedman,et al. Aspect-Oriented Programming is Quantification and Obliviousness , 2000 .
[82] Linda Mary Wills,et al. Automated program recognition by graph parsing , 1992 .
[83] Timothy Lethbridge,et al. The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering , 2004, ateM.
[84] Chris Verhoef,et al. Scaffolding for software renovation , 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.
[85] Richard T. Snodgrass,et al. Supporting Flexible and Efficient Tool Integration , 1986, Advanced Programming Environments.
[86] Lerina Aversano,et al. How Clones are Maintained: An Empirical Study , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).
[87] G. Rozenberg,et al. Effective models for the structure of ð-calculus processes with replication , 2001 .
[88] Ira D. Baxter,et al. Design maintenance systems , 1991, CACM.
[89] Juan Visente Guillen Scholten,et al. Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition , 2007 .
[90] Gregor Snelting,et al. Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[91] Martin P. Robillard,et al. Static analysis to support the evolution of exception structure in object-oriented systems , 2003, TSEM.
[92] Colin Potts,et al. Software-engineering research revisited , 1993, IEEE Software.
[93] James Coplien,et al. Advanced C++ Programming Styles and Idioms , 1991, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239).
[94] Hans-Arno Jacobsen,et al. Quantifying aspects in middleware platforms , 2003, AOSD '03.
[95] Jeroen Doumen,et al. Searching in encrypted data , 2004 .
[96] João M. Fernandes,et al. Refactoring a Java code base to AspectJ: an illustrative example , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).
[97] Anton Wijs,et al. What to do next? Analysing and optimising system behaviour in time , 2007 .
[98] Elliot Soloway,et al. Designing documentation to compensate for delocalized plans , 1988, CACM.
[99] Magiel Bruntink,et al. Linking Analysis and Transformation Tools with Source-Based Mappings , 2006, 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation.
[100] Jens Krinke,et al. Aspect mining using event traces , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[101] Ys Yaroslav Usenko,et al. Linearization in muCRL , 2002 .
[102] James R. Cordy,et al. The TXL source transformation language , 2006, Sci. Comput. Program..
[103] Cruz Filipe,et al. Constructive real analysis : a type-theoretical formalization and applications , 2004 .
[104] Ka Lok Man,et al. Formal specification and analysis of hybrid systems , 2006 .
[105] Martijn Hendriks,et al. Model checking timed automata : techniques and applications , 2006 .
[106] A. vanDeursen. De software-evolutieparadox , 2005 .
[107] Miryung Kim,et al. An empirical study of code clone genealogies , 2005, ESEC/FSE-13.
[108] Atze Dijkstra. Stepping through Haskell , 2000 .
[109] de Hayco Jong. Flexible heterogeneous software systems , 2007 .
[110] Y Yuechen Qian,et al. Data synchronization and browsing for home environments , 2004 .
[111] John B. Goodenough,et al. Exception handling: issues and a proposed notation , 1975, CACM.
[112] Andy Zaidman,et al. Regaining lost knowledge through dynamic analysis and aspect orientation $an industrial experience report , 2006, Conference on Software Maintenance and Reengineering (CSMR'06).
[113] Marilyn W. Bush. Improving software quality: the use of formal inspections at the JPL , 1990, ICSE '90.
[114] Cecília M. F. Rubira,et al. Extracting Error Handling to Aspects: A Cookbook , 2007, 2007 IEEE International Conference on Software Maintenance.
[115] Hans-Arno Jacobsen,et al. PRISM is research in aSpect mining , 2004, OOPSLA '04.
[116] J. Ketema,et al. Bohm-Like Trees for Rewriting , 2006 .
[117] Cfj Christian Lange,et al. Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .
[118] Daniel R. Tauritz,et al. Adaptive Information Filtering: Concepts and Algorithms , 2002 .
[119] Maurice H. ter Beek,et al. Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components , 2003 .
[120] Fergus Nicol,et al. Patterns of Software: Tales from the Software Community , 1998 .
[121] Mohammad Reza Mousavi,et al. Structuring structural operational semantics , 2005 .
[122] Joost Noppen,et al. Imperfect Information in Software Design Processes , 2007 .
[123] Mark Lillibridge,et al. Extended static checking for Java , 2002, PLDI '02.
[124] Miryung Kim,et al. An ethnographic study of copy and paste programming practices in OOPL , 2004, Proceedings. 2004 International Symposium on Empirical Software Engineering, 2004. ISESE '04..
[125] Peter Verbaan,et al. The Computational Complexity of Evolving Systems , 2006 .
[126] Jens Krinke,et al. Identifying similar code with program dependence graphs , 2001, Proceedings Eighth Working Conference on Reverse Engineering.
[127] F. Alkemade,et al. Evolutionary agent-based economics , 2004 .
[128] Anton Wijs,et al. Silent steps in transition systems and Markov chains , 2007 .
[129] Brian A. Malloy,et al. Program annotation in XML: a parse-tree based approach , 2002, Ninth Working Conference on Reverse Engineering, 2002. Proceedings..
[130] Michael Mortensen Hewlett-Packard. Refactoring Idiomatic Exception Handling in C + + : Throwing and Catching Exceptions with Aspects , 2007 .
[131] Thomas Wolle,et al. Computational aspects of treewidth : Lower bounds and network reliability , 2005 .
[132] Hausi A. Müller,et al. A reverse-engineering approach to subsystem structure identification , 1993, J. Softw. Maintenance Res. Pract..
[133] Ran Ettinger,et al. Untangling: a slice extraction refactoring , 2004, AOSD '04.
[134] Atul Prakash,et al. A Framework for Source Code Search Using Program Patterns , 1994, IEEE Trans. Software Eng..
[135] Flaviu Cristian,et al. Exception Handling and Tolerance of Software Faults , 1995 .
[136] N.J.M. van den Nieuwelaar,et al. Supervisory machine control by predictive-reactive scheduling , 2004 .
[137] Christopher G. Lasater,et al. Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[138] James H. Cross,et al. Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.
[139] William G. Griswold,et al. Exploiting the map metaphor in a tool for software evolution , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[140] Meir M. Lehman,et al. Program evolution: processes of software change , 1985 .
[141] Bastiaan Stephan Graaf,et al. Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).
[142] Arie van Deursen,et al. Building documentation generators , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[143] Andrew Clement,et al. Large-scale AOSD for middleware , 2004, AOSD '04.
[144] Jurgen Vinju,et al. Analysis and transformation of source code by parsing and rewriting , 2005 .
[145] Andres Löh,et al. Exploring generic Haskell , 2004 .
[146] Serge Demeyer,et al. Evaluating clone detection techniques from a refactoring perspective , 2004 .
[147] Susan Horwitz,et al. Using Slicing to Identify Duplication in Source Code , 2001, SAS.
[148] Reinder J. Bril,et al. Real-time scheduling for media processing using conditionally guaranteed budgets , 2004 .
[149] Thomas W. Reps,et al. Identifying Modules via Concept Analysis , 1999, IEEE Trans. Software Eng..
[150] Mark Harman,et al. Automated refactoring of object oriented code into aspects , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).
[151] M. T. de Berg,et al. Multi-functional geometric data structures , 2003 .
[152] Christian Lindig. Fast Concept Analysis , 2000 .
[153] J. Howard Johnson,et al. Identifying redundancy in source code using fingerprints , 1993, CASCON.
[154] Rudolf Ferenc,et al. Data exchange with the columbus schema for c++ , 2002, Proceedings of the Sixth European Conference on Software Maintenance and Reengineering.
[155] Jeroen Eggermont,et al. Data Mining using Genetic Programming : Classification and Symbolic Regression , 2005 .
[156] Cristina V. Lopes,et al. A study on exception detection and handling using aspect-oriented programming , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[157] Martin P. Robillard,et al. Regaining Control of Exception Handling , 1999 .
[158] Gail C. Murphy,et al. Managing crosscutting concerns during software evolution tasks: an inquisitive study , 2002, AOSD '02.
[159] James R. Cordy. Generalized Selective XML Markup of Source Code Using Agile Parsing , 2003, IWPC.
[160] M. Niqui,et al. Formalising Exact Arithmetic. Representations, Algorithms and Proofs , 2004 .
[161] Ricardo Corin,et al. Analysis Models for Security Protocols , 2006 .
[162] Robert S. Arnold. Software Reengineering , 1993 .
[163] Mariano Ceccato,et al. Aspect mining through the formal concept analysis of execution traces , 2004, 11th Working Conference on Reverse Engineering.
[164] Daan Leijen,et al. The λ Abroad - A Functional Approach to Software Components , 2003 .
[165] P. Zoeteweij,et al. Composing constraint solvers , 2005 .
[166] Dmitri Jarnikov,et al. QoS framework for video streaming in home networks , 2007 .
[167] John W. Perry. Advanced C Programming by Example , 1998 .
[168] William G. Griswold,et al. Automated support for program refactoring using invariants , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
[169] Arie van Deursen,et al. Isolating idiomatic crosscutting concerns , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).
[170] B. Littlewood,et al. Dependability assessment of software-based systems: state of the art , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[171] Jjd Joep Aerts. Random redundant storage for video on demand , 2003 .
[172] Simona Orzan,et al. On Distributed Verification and Verified Distribution , 2004 .
[173] Andrian Marcus,et al. Identification of high-level concept clones in source code , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[174] P. A. Lee. Exception handling in C programs , 1983, Softw. Pract. Exp..
[175] Ana Sokolova,et al. Coalgebraic analysis of probabilistic systems , 2005 .
[176] Arie van Deursen,et al. On the use of clone detection for identifying crosscutting concern code , 2005, IEEE Transactions on Software Engineering.
[177] Dino Salvo Distefano,et al. On model checking the dynamics of object-based software : a foundational approach , 2003 .
[178] Brenda S. Baker,et al. On finding duplication and near-duplication in large software systems , 1995, Proceedings of 2nd Working Conference on Reverse Engineering.
[179] C.-B. Breunesse. On JML: topics in tool-assisted verification of Java programs , 2006 .
[180] Bernhard Ganter,et al. Formal Concept Analysis: Mathematical Foundations , 1998 .
[181] Magdalena Balazinska,et al. Advanced clone-analysis to support object-oriented system refactoring , 2000, Proceedings Seventh Working Conference on Reverse Engineering.
[182] Arie van Deursen,et al. Discovering faults in idiom-based exception handling , 2006, ICSE '06.
[183] Gregor Kiczales,et al. Overcoming the Prevalent Decomposition in Legacy Code , 2001 .
[184] Paul Anderson,et al. Tool Support for Fine-Grained Software Inspection , 2003, IEEE Softw..
[185] T. Kuipers,et al. Techniques for understanding legacy software systems , 2002 .
[186] M. B. van der Zwaag,et al. Models and logics for process algebra , 2002 .
[187] Nikolay Kavaldjiev,et al. A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .
[188] James R. Cordy,et al. How to make a bridge between transformation and analysis technologies? , 2005, Transformation Techniques in Software Engineering.
[189] Arie van Deursen,et al. Simple crosscutting concerns are not so simple: analysing variability in large-scale idioms-based implementations , 2007, AOSD.
[190] Ettore Merlo,et al. Experiment on the automatic detection of function clones in a software system using metrics , 1996, 1996 Proceedings of International Conference on Software Maintenance.
[191] Kevin A. Schneider,et al. Processing software source text in automated design recovery and transformation , 2001, Proceedings 9th International Workshop on Program Comprehension. IWPC 2001.
[192] Michel A. Reniers,et al. Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..
[193] Harald Winroth. Exception Handling in ANSI C , 1993 .
[194] Chris Verhoef,et al. Generation of components for software renovation factories from context-free grammars , 1997, Proceedings of the Fourth Working Conference on Reverse Engineering.
[195] Arie van Deursen,et al. An initial experiment in reverse engineering aspects , 2004, 11th Working Conference on Reverse Engineering.
[196] Leon Moonen,et al. Exploring software systems , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..
[197] Stanley M. Sutton,et al. Multi-Dimensional Separation of Concerns , 1999 .
[198] David A. Wagner,et al. MOPS: an infrastructure for examining security properties of software , 2002, CCS '02.
[199] Martijn M. Schrage,et al. Proxima: a presentation-oriented editor for structured documents , 2000 .
[200] Yun Yang,et al. Problems creating task-relevant clone detection reference data , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..
[201] S. P. Luttik. Choice quantification in process algebra , 2002 .
[202] Shinji Kusumoto,et al. CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source Code , 2002, IEEE Trans. Software Eng..
[203] Mark Harman,et al. Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects , 2006, IEEE Transactions on Software Engineering.
[204] Leon Moonen,et al. Generating robust parsers using island grammars , 2001, Proceedings Eighth Working Conference on Reverse Engineering.
[205] R Ronald Ruimerman,et al. Modeling and remodeling in bone tissue , 2005 .
[206] Joost Visser,et al. Generic traversal over typed source code representations , 2003 .
[207] Michael Eichberg,et al. Enforcing system-wide properties , 2004, 2004 Australian Software Engineering Conference. Proceedings..
[208] Junfeng Yang,et al. Using model checking to find serious file system errors , 2004, TOCS.
[209] Michael W. Godfrey,et al. "Cloning Considered Harmful" Considered Harmful , 2006, 2006 13th Working Conference on Reverse Engineering.
[210] Ling Cheung,et al. Reconciling nondeterministic and probabilistic choices , 2006 .
[211] Arie van Deursen,et al. Research Issues in the Renovation of Legacy Systems , 1999, FASE.
[212] Mariëlle Stoelinga,et al. Alea jacta est : verification of probabilistic, real-time and parametric systems , 2002 .
[213] Ivan Kurtev,et al. Adaptability of model transformations , 2005 .
[214] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.
[215] Stéphane Ducasse,et al. Tool Support for Refactoring Duplicated OO Code , 1999, ECOOP Workshops.
[216] AJ Arjan Mooij,et al. Constructive formal methods and protocol standardization , 2006 .
[217] Dean W. Gonzalez,et al. “=” considered harmful , 1991, ALET.
[218] Sebastian Maneth,et al. Models of tree translation , 2004 .
[219] Oscar Nierstrasz,et al. Object-oriented reengineering patterns , 2004, Proceedings. 26th International Conference on Software Engineering.
[220] Arie van Deursen,et al. Identifying Crosscutting Concerns Using Fan-In Analysis , 2006, TSEM.
[221] Stéphane Ducasse,et al. A language independent approach for detecting duplicated code , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[222] Arie van Deursen,et al. Identifying objects using cluster and concept analysis , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[223] Kim Mens,et al. Mining aspectual views using formal concept analysis , 2004, Source Code Analysis and Manipulation, Fourth IEEE International Workshop on.
[224] Cheun Ngen Chong. Experiments in rights control : expression and enforcement , 2005 .
[225] Erika Ábrahám,et al. An Assertional Proof System for Multithreaded Java - Theory and Tool Support , 2005 .
[226] EO Esko Dijk. Indoor ultrasonic position estimation using a single base station , 2004 .
[227] Hausi A. Müller,et al. The Year 2000 Problem: Issues and Implications. , 1997 .
[228] Gao. Design and verification of lock-free parallel algorithms , 2005 .
[229] T. D. Vu,et al. Semantics and applications of process and program algebra , 2007 .
[230] Richard C. Holt,et al. E/R schema for the Datrix C/C++/Java exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.
[231] G Giovanni Russello,et al. Separation and adaptation of concerns in a shared data space , 2006 .
[232] Saurabh Sinha,et al. Criteria for testing exception-handling constructs in Java programs , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).
[233] Martin P. Robillard,et al. Separating features in source code: an exploratory study , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[234] Dawson R. Engler,et al. Proceedings of the 5th Symposium on Operating Systems Design and Implementation Cmc: a Pragmatic Approach to Model Checking Real Code , 2022 .