Ideals : evolvability of software-intensive high-tech systems : a collaborative research project on maintaining complex embedded systems

ions Need for reverse

[1]  Dawson R. Engler,et al.  Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.

[2]  Frédéric Boulanger,et al.  A Generic Execution Framework for Models of Computation , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[3]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[4]  Arie van Deursen,et al.  On the use of clone detection for identifying crosscutting concern code , 2005, IEEE Transactions on Software Engineering.

[5]  David B. Stewart,et al.  A study of the applicability of existing exception-handling techniques to component-based real-time software technology , 1998, TOPL.

[6]  van Fn Frank Wijk,et al.  An Abstract Modeling Approach Towards System-Level Design-Space Exploration , 2003 .

[7]  Flaviu Cristian,et al.  Exception Handling and Tolerance of Software Faults , 1995 .

[8]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

[9]  N.J.M. van den Nieuwelaar,et al.  Supervisory machine control by predictive-reactive scheduling , 2004 .

[10]  Grace A. Lewis,et al.  Approaches to Constructive Interoperability , 2004 .

[11]  David Evans,et al.  Improving Security Using Extensible Lightweight Static Analysis , 2002, IEEE Softw..

[12]  Arie van Deursen,et al.  The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment , 2001, LDTA@ETAPS.

[13]  Martin P. Robillard,et al.  Regaining Control of Exception Handling , 1999 .

[14]  Bastiaan Stephan Graaf,et al.  Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[15]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[16]  Arie van Deursen,et al.  An Initial Experiment in Reverse Engineering Aspects from Existing Applications , 2004 .

[17]  Andrew Clement,et al.  Large-scale AOSD for middleware , 2004, AOSD '04.

[18]  Marc Hamilton,et al.  Compositional MDA , 2006, MoDELS'06.

[19]  Mehmet Aksit,et al.  Principles and Design Rationale of Composition Filters , 2004 .

[20]  Oscar Nierstrasz,et al.  Object-oriented reengineering patterns , 2004, Proceedings. 26th International Conference on Software Engineering.

[21]  Henk Corporaal,et al.  A model-driven design approach for mechatronic systems , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[22]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[23]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[24]  Marc Geilen,et al.  Software/Hardware Engineering with the Parallel Object-Oriented Specification Language , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

[25]  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.

[26]  Ihsan Sabuncuoglu,et al.  Analysis of reactive scheduling problems in a job shop environment , 2000, Eur. J. Oper. Res..

[27]  F. E..  A Relational Model of Data Large Shared Data Banks , 2000 .

[28]  Ed F. Deprettere,et al.  An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures , 1997, ASAP.

[29]  Arie van Deursen,et al.  Migrating supervisory control architectures using model transformations , 2006, Conference on Software Maintenance and Reengineering (CSMR'06).

[30]  V. Vescoukis.  On the Evolution of Software Architectures , 1999 .

[31]  Istvan Nagy.  On the Design of Aspect-Oriented Composition Models for Software Evolution , 2006 .

[32]  Lodewijk Bergmans,et al.  Separating and Managing Dependent Concerns , 2005 .

[33]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[34]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .

[35]  IEEE-SA Standards Board , 2000 .

[36]  Jpm Jeroen Voeten,et al.  Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .

[37]  Mandayam K. Srivas,et al.  Expressiveness of the operation set of a data abstraction , 1980, POPL '80.

[38]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[39]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[40]  Mehmet Aksit,et al.  Initial Results for Quantifying AOP , 2007 .

[41]  Nancy A. Lynch,et al.  Atomic Transactions: In Concurrent and Distributed Systems , 1993 .

[42]  Michael Dyer.  The Cleanroom Approach to Quality Software Development , 1992, Int. CMG Conference.

[43]  Magiel Bruntink.  Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems , 2007, ICSM.

[44]  Arie van Deursen,et al.  Model-driven migration of supervisory machine control architectures , 2006, J. Syst. Softw..

[45]  Arie van Deursen,et al.  Simple crosscutting concerns are not so simple: analysing variability in large-scale idioms-based implementations , 2007, AOSD.

[46]  Gregor Kiczales,et al.  Using aspectC to improve the modularity of path-specific customization in operating system code , 2001, ESEC/FSE-9.

[47]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[48]  M. Bruntink.  Aspect Mining using Clone Class Metrics Magiel Bruntink , 2022 .

[49]  Lodewijk Bergmans,et al.  Composing Aspects at Shared Join Points , 2005, NODe/GSEM.

[50]  Arie van Deursen,et al.  Migration of Supervisory Machine Control Architectures , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[51]  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.

[52]  A. J. de Roo.  Towards More Robust Advice: Message Flow Analysis for Composition Filters and its Application , 2007 .

[53]  Henk Corporaal,et al.  Predictable real-time software synthesis , 2007, Real-Time Systems.

[54]  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.

[55]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[56]  Jozef Hooman,et al.  A semantics of communicating reactive objects with timing , 2006, International Journal on Software Tools for Technology Transfer.

[57]  Mehmet Aksit,et al.  Reasoning About Semantic Conflicts Between Aspects , 2005 .

[58]  Marilyn W. Bush.  Improving software quality: the use of formal inspections at the JPL , 1990, ICSE '90.

[59]  J. Tretmans.  Tangram: Model-Based Integration and Testing of Complex High-Tech Systems , 2007 .

[60]  Mehmet Aksit,et al.  Technical Report: Formal model for SECRET , 2005 .

[61]  Henk Corporaal,et al.  Predictability in Real-Time System Development , 2005 .

[62]  Colin Flanagan,et al.  Utilising Evolutionary Approaches and Object Oriented Techniques for Design Space Exploration , 2006, 9th EUROMICRO Conference on Digital System Design (DSD'06).

[63]  Michael Stonebraker,et al.  Migrating Legacy Systems: Gateways, Interfaces, and the Incremental Approach , 1995 .

[64]  G. Viennot.  Heaps of Pieces, I: Basic Definitions and Combinatorial Lemmas , 1989 .

[65]  Michel R. V. Chaudron,et al.  In practice: UML software architecture and design description , 2006, IEEE Software.

[66]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[67]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[68]  Arie van Deursen,et al.  Discovering faults in idiom-based exception handling , 2006, ICSE '06.

[69]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[70]  Lodewijk Bergmans,et al.  Static and Dynamic Detection of Behavioral Conflicts Between Aspects , 2007, RV.

[71]  Mehmet Aksit,et al.  Applying AOP in an Industrial Context: An Experience Paper , 2006 .

[72]  Arie van Deursen,et al.  Isolating idiomatic crosscutting concerns , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[73]  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..

[74]  Edward N. Adams,et al.  Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[75]  Jon Doyle,et al.  Editorial: Strategic directions in computing research , 1996, CSUR.

[76]  W.N. Toy,et al.  Fault-tolerant design of local ESS processors , 1978, Proceedings of the IEEE.

[77]  João M. Fernandes,et al.  Model-based Methodologies for Pervasive and Embedded Software , 2009, ICSE Companion.

[78]  Colin Potts,et al.  Software-engineering research revisited , 1993, IEEE Software.

[79]  James Coplien,et al.  Advanced C++ Programming Styles and Idioms , 1991, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239).