A Reference Architecture for Distributed Software Deployment

Nowadays, software systems are bigger and more complicated than people may think. Apart from the fact that a system has to be correctly constructed and should meet the client's wishes, they also have to be made ready for use to end-users or in an isolated test environment. This process is known as the software deployment process. Due to various developments, e.g. increasing complexity of requirements to a system and new techniques that have been developed to support these, the software deployment process has become increasingly more complicated and error prone. Especially for modern generation systems, often exposed as services through the Internet, such as Facebook and Twitter, an automated solution is required supporting important quality attributes, such as reliability, reproducibility, genericity, and efficiency as manual deployment is typically too time consuming and error prone. This dissertation describes a reference architecture that contains various components to automate software deployment processes of modern generation systems. These components strive to perform deployment steps in a way that is reliable, reproducible, generic, extensible and efficient. Components from the reference architecture can be used to construct an architecture for a deployment tool that can be used in a specific domain.

[1]  Merijn de Jonge,et al.  eServices for Hospital Equipment , 2007, ICSOC.

[2]  Mona Attariyan,et al.  Using Causality to Diagnose Configuration Bugs , 2008, USENIX Annual Technical Conference.

[3]  Seyyed Hamed Hashemi,et al.  Studies on verification of wireless sensor networks and abstraction learning for system inference , 2008 .

[4]  Yanyan Wang,et al.  Automating experimentation on distributed testbeds , 2005, ASE.

[5]  Lawrence Rosen,et al.  Open Source Licensing: Software Freedom and Intellectual Property Law , 2004 .

[6]  Jeroen Doumen,et al.  Searching in encrypted data , 2004 .

[7]  Michael H. Kalantar,et al.  Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools , 2006, Middleware.

[8]  Javier Cámara,et al.  Behavioural self-adaptation of services in ubiquitous computing environments , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.

[9]  Eelco Visser,et al.  Service configuration management , 2005, SCM '05.

[10]  Anton Wijs,et al.  What to do next? Analysing and optimising system behaviour in time , 2007 .

[11]  Khalil Drira,et al.  A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities , 2008, Comput. Commun..

[12]  EM Elena Bortnik,et al.  Formal methods in support of SMC design , 2008 .

[13]  Aah Ammar Osaiweran Formal development of control software in the medical systems domain , 2012 .

[14]  J. K. Berendsen,et al.  Abstraction, prices and probability in model checking timed automata , 2010 .

[15]  Gerhard de Koning Gans,et al.  Outsmarting smart cards , 2013 .

[16]  Roberto Di Cosmo,et al.  Managing the Complexity of Large Free and Open Source Package-Based Software Distributions , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[17]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[18]  Joost Noppen,et al.  Imperfect Information in Software Design Processes , 2007 .

[19]  Michael W. Godfrey,et al.  The build-time software architecture view , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[20]  Jeff Magee,et al.  The Evolving Philosophers Problem: Dynamic Change Management , 1990, IEEE Trans. Software Eng..

[21]  Scw Bas Ploeger,et al.  Improved verification methods for concurrent systems , 2009 .

[22]  M. D. Berg,et al.  Optimal Geometric Data Structures , 2007 .

[23]  Richard S. Hall,et al.  Software release management , 1997, ESEC '97/FSE-5.

[24]  Ichiro Hasuo,et al.  Tracing Anonymity with Coalgebras , 2008 .

[25]  Sander van der Burg,et al.  Automated Deployment of a Heterogeneous Service-Oriented System , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

[26]  Nikolay Kavaldjiev,et al.  A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .

[27]  Daniel M. Germán,et al.  Understanding and Auditing the Licensing of Open Source Software Distributions , 2010, 2010 IEEE 18th International Conference on Program Comprehension.

[28]  Hasan Sözer,et al.  Architecting Fault-Tolerant Software Systems , 2009 .

[29]  Tommi Kärkkäinen,et al.  Retrieving Open Source Software Licenses , 2006, OSS.

[30]  Eduardo Zambon,et al.  Abstract Graph Transformation - Theory and Practice , 2013 .

[31]  Richard S. Hall,et al.  A Characterization Framework for Software Deployment Technologies , 1998 .

[32]  Eelco Visser,et al.  WebDSL: A Case Study in Domain-Specific Language Engineering , 2007, GTTSE.

[33]  Saeed Sedghi,et al.  Towards Provably Secure Efficiently Searchable Encryption , 2012 .

[34]  Andres Löh,et al.  NixOS: a purely functional Linux distribution , 2008, ICFP.

[35]  Robert Brijder,et al.  Models of natural computation : gene assembly and membrane systems , 2008 .

[36]  Trajce Dimkov,et al.  Alignment of organizational security policies: Theory and Practice , 2012 .

[37]  M. J. de Mol,et al.  Reasoning about functional programs : Sparkle, a proof assistant for Clean , 2009 .

[38]  Eelco Visser,et al.  Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns , 2008, 2008 Eighth International Conference on Web Engineering.

[39]  Eelco Dolstra Eelco Visser The Nix Build Farm: A Declarative Approach to Continuous Integration , 2008 .

[40]  M Muhammad Atif,et al.  Formal modeling and verification of distributed failure detectors , 2011 .

[41]  Georgeta Igna,et al.  Performance analysis of real-time task systems using timed automata , 2013 .

[42]  van Mj Muck Weerdenburg,et al.  Efficient rewriting techniques , 2009 .

[43]  van den,et al.  Composition and synchronization of real-time components upon one processor , 2013 .

[44]  Craig A. Knoblock,et al.  Advanced Programming in the UNIX Environment , 1992, Addison-Wesley professional computing series.

[45]  Pascal Costanza,et al.  Dynamic Replacement of Active Objects in the Gilgul Programming Language , 2002, Component Deployment.

[46]  Wolter Pieters,et al.  La volonté machinale: understanding the electronic voting controversy , 2008 .

[47]  Marija Mikic-Rakic,et al.  Architecture-Level Support for Software Component Deployment in Resource Constrained Environments , 2002, Component Deployment.

[48]  van Pja Paul Tilburg From computability to executability : a process-theoretic view on automata theory , 2011 .

[49]  T. D. Vu,et al.  Semantics and applications of process and program algebra , 2007 .

[50]  Sander van der Burg,et al.  Automating System Tests Using Declarative Virtual Machines , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[51]  Yanjing Wang,et al.  Epistemic Modelling and Protocol Dynamics , 2010 .

[52]  Информатика Global Assembly Cache , 2010 .

[53]  D. Graaf,et al.  Mining semi-structured data, theoretical and experimental aspects of pattern evaluation , 2008 .

[54]  Sebastiaan Gijsbert Marinus Cornelissen,et al.  Evaluating Dynamic Analysis Techniques for Program Comprehension , 2009 .

[55]  Dag Johansen,et al.  Software Deployment Using Mobile Agents , 2002, Component Deployment.

[56]  Hendrik Michaël van der Bijl,et al.  On changing models in model-based testing , 2011 .

[57]  de A. Bruin,et al.  Service-oriented discovery of knowledge : foundations, implementations and applications , 2010 .

[58]  Laura Brandán Briones,et al.  Theories for Model-based Testing: Real-time and Coverage , 2007 .

[59]  염흥렬,et al.  [서평]「Applied Cryptography」 , 1997 .

[60]  Steven Hand,et al.  Satori: Enlightened Page Sharing , 2009, USENIX Annual Technical Conference.

[61]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[62]  Daniel M. German,et al.  Discovering Software License Constraints: Identifying a Binary’s Sources by Tracing Build Processes , 2012 .

[63]  Eric Foster-Johnson Red Hat RPM guide , 2002 .

[64]  Michael H. Kalantar,et al.  An architecture for virtual solution composition and deployment in infrastructure clouds , 2009, VTDC '09.

[65]  Ljp Luc Engelen From napkin sketches to reliable software , 2012 .

[66]  Mari Antonius Cornelis Dekker,et al.  Flexible Access Control for Dynamic Collaborative Environments , 2009 .

[67]  John Paxton,et al.  Self-managed Deployment in a Distributed Environment via Utility Functions , 2008, SEKE.

[68]  Roberto Di Cosmo,et al.  On Software Component Co-Installability (extended version) , 2011 .

[69]  Luciano Baresi,et al.  Live goals for adaptive service compositions , 2010, SEAMS '10.

[70]  Mohammad Mahdi Jaghoori,et al.  Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services , 2010 .

[71]  Eelco Visser,et al.  Code generation by model transformation: a case study in transformation modularity , 2008, Software & Systems Modeling.

[72]  Roberto Di Cosmo,et al.  Package upgrades in FOSS distributions: details and challenges , 2008, HotSWUp '08.

[73]  Michael H. Kalantar,et al.  Managing the configuration complexity of distributed applications in Internet data centers , 2006, IEEE Communications Magazine.

[74]  Damiano Bolzoni,et al.  Revisiting Anomaly-based Network Intrusion Detection Systems , 2009 .

[75]  Daniel M. Germán,et al.  License integration patterns: Addressing license mismatches in component-based development , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[76]  Bas Basten,et al.  Ambiguity Detection for Programming Language Grammars , 2011 .

[77]  Ncwm Niels Braspenning Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .

[78]  C. J. Boogerd,et al.  Focusing Automatic Code Inspections , 2010 .

[79]  J. Kwisthout,et al.  The Computational Complexity of Probabilistic Networks , 2009 .

[80]  Wolfgang De Meuter,et al.  Design recovery and maintenance of build systems , 2007, 2007 IEEE International Conference on Software Maintenance.

[81]  de Hayco Jong Flexible heterogeneous software systems , 2007 .

[82]  Luciano Baresi,et al.  Version-consistent dynamic reconfiguration of component-based distributed systems , 2011, ESEC/FSE '11.

[83]  Rupak Majumdar,et al.  Engage: a deployment management system , 2012, PLDI '12.

[84]  Merijn de Jonge,et al.  Imposing a memory management discipline on software deployment , 2004, Proceedings. 26th International Conference on Software Engineering.

[85]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[86]  T. van der Storm Component-based configuration, integration and delivery , 2003 .

[87]  Ali Mesbah,et al.  Analysis and Testing of Ajax-based Single-page Web Applications , 2009 .

[88]  Andrew S. Tanenbaum,et al.  Operating systems: design and implementation , 1987, Prentice-Hall software series.

[89]  Eelco Dolstra,et al.  Declarative testing and depolyment of distributed systems , 2010 .

[90]  Marius Adrian Marin,et al.  An Integrated System to Manage Crosscutting Concerns in Source Code , 2008 .

[91]  Yves Caseau,et al.  Self-adaptive middleware: Supporting business process priorities and service level agreements , 2005, Adv. Eng. Informatics.

[92]  Eelco Visser,et al.  Syntax definition for language prototyping , 1997 .

[93]  George Necula,et al.  apmake : a reliable parallel build manager , 2010 .

[94]  Ronald Middelkoop,et al.  Capturing and exploiting abstract views of states in OO verification , 2011 .

[95]  Justin Cappos,et al.  Stork: Package Management for Distributed VM Environments , 2007, LISA.

[96]  José Proença,et al.  Synchronous Coordination of Distributed Components , 2011 .

[97]  Chen Fu,et al.  Maintaining and evolving GUI-directed test scripts , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[98]  K. Tsirogiannis,et al.  Analysis of flow and visibility on triangulated terrains , 2011 .

[99]  Fpm Frank Stappers Bridging formal models : an engineering perspective , 2012 .

[100]  van Mf Marcel Amstel,et al.  Assessing and improving the quality of model transformations , 2012 .

[101]  Jasen Markovski,et al.  Real and stochastic time in process algebras for performance evaluation , 2008 .

[102]  Raluca Marin-Perianu,et al.  Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning , 2008 .

[103]  Sander van der Burg,et al.  Disnix: A toolset for distributed deployment , 2014, Sci. Comput. Program..

[104]  Eelco Dolstra,et al.  Charon: Declarative provisioning and deployment , 2013, 2013 1st International Workshop on Release Engineering (RELENG).

[105]  Karl Trygve Kalleberg,et al.  Finding software license violations through binary code clone detection , 2011, MSR '11.

[106]  Antonio Cicchetti,et al.  A Model Driven Approach to Upgrade Package-Based Software Systems , 2009, ENASE.

[107]  Tudor Dumitras,et al.  No more HotDependencies: toward dependency-agnostic online upgrades in distributed systems , 2007 .

[108]  Sam Malek,et al.  Improving Availability in Large, Distributed Component-Based Systems Via Redeployment , 2005, Component Deployment.

[109]  D. E. Nadales Agut,et al.  A Compositional Interchange Format for Hybrid Systems: Design and Implementation , 2012 .

[110]  Lennart C. L. Kats,et al.  Building Blocks for Language Workbenches , 2011 .

[111]  Eelco Visser,et al.  WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications , 2008, MoDELS.

[112]  Thomas Bäck,et al.  Mixed-integer evolution strategies for parameter optimization and their applications to medical image analysis , 2005 .

[113]  D. Costa Formal models for component connectors , 2010 .

[114]  W. Kuijper Compositional Synthesis of Safety Controllers , 2012 .

[115]  Jeff Sutherland,et al.  Manifesto for Agile Software Development , 2013 .

[116]  Theo D'Hondt,et al.  Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates , 2007, IEEE Transactions on Software Engineering.

[117]  Anton Wijs,et al.  Silent steps in transition systems and Markov chains , 2007 .

[118]  H. Hansen Coalgebraic Modelling : Applications in Automata theory and Modal logic , 2009 .

[119]  B. Lijnse,et al.  TOP to the rescue. Task-oriented programming for incident response applications , 2005 .

[120]  Marcin Czenko,et al.  TuLiP : reshaping trust management , 2009 .

[121]  Somayeh Malakuti Khah Olun Abadi Event composition model: achieving naturalness in runtime enforcement , 2011 .

[122]  Andrew D. Gordon,et al.  A Declarative Approach to Automated Configuration , 2012, LISA.

[123]  Kab Kevin Verbeek Algorithms for cartographic visualization , 2012 .

[124]  Farhad Arbab,et al.  Model Checking of Component Connectors , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[125]  A Adam Koprowski,et al.  Termination of rewriting and its certification , 2004 .

[126]  Christian Krause,et al.  Reconfigurable Component Connectors , 2011 .

[127]  Ivan S. Zapreev Model checking Markov chains : techniques and tools , 2008 .

[128]  B. J. Arnoldus,et al.  An illumination of the template enigma : software code generation with templates , 2011 .

[129]  Sander Vermolen,et al.  Software Language Evolution , 2008, 2008 15th Working Conference on Reverse Engineering.

[130]  Tommi Kärkkäinen,et al.  Automated software license analysis , 2009, Automated Software Engineering.

[131]  Pascal Durr,et al.  Resource-based Verification for Robust Composition of Aspects , 2008 .

[132]  Merijn de Jonge,et al.  Atomic upgrading of distributed systems , 2008, HotSWUp '08.

[133]  Iris Loeb Natural Deduction, Sharing By Presentation , 2007 .

[134]  A. L. de Groot,et al.  Practical Automaton proofs in PVS , 2000 .

[135]  R. Bakhshi Gossiping Models : Formal Analysis of Epidemic Protocols , 2011 .

[136]  Antonio Cicchetti,et al.  Towards a Model Driven Approach to Upgrade Complex Software Systems , 2009, ENASE.

[137]  Tim K. Cocx,et al.  Metrics and visualisation for crime analysis and genomics , 2005 .

[138]  Tom Staijen,et al.  Graph-based Specification and Verification for Aspect-Oriented Languages , 2010 .

[139]  M. S. Greiler,et al.  Test Suite Comprehension for Modular and Dynamic Systems , 2013 .

[140]  Mark J. Sebern,et al.  SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering , 2015, Computer.

[141]  de Ism Ivo Jong Integration and test strategies for complex manufacturing machines , 2008 .

[142]  Vijay Karamcheti,et al.  Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , 2005, Component Deployment.

[143]  Sam Malek,et al.  Software deployment architecture and quality-of-service in pervasive environments , 2007, ESSPE '07.

[144]  Eric S. Raymond,et al.  The Art of Unix Programming , 2003 .

[145]  Taolue Chen Clocks, Dice and Processes , 2009 .

[146]  Mohammad Ali Abam New data structures and algorithms for mobile data , 2007 .

[147]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[148]  Gheorghe Paun Spiking Neural P Systems: A Tutorial , 2007, Bull. EATCS.

[149]  Farhad Mavaddat,et al.  Reliable Deployment of Component-based Applications into Distributed Environments , 2006, Third International Conference on Information Technology: New Generations (ITNG'06).

[150]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[151]  RH Rudolf Mak,et al.  Design and performance analysis of data-independent stream processing systems , 2008 .

[152]  Ileana Buhan,et al.  Cryptographic keys from noisy data, theory and applications , 2008 .

[153]  Kyrre M. Begnum Managing Large Networks of Virtual Machines , 2006, LISA.

[154]  Tingting Han,et al.  Diagnosis, Synthesis and Analysis of Probabilistic Models , 2009, Ausgezeichnete Informatikdissertationen.

[155]  Frederic P. Miller,et al.  Apache Maven , 2010 .

[156]  Eelco Dolstra,et al.  Efficient upgrading in a purely functional component deployment model , 2005, CBSE'05.

[157]  Peter Wegner,et al.  Research paradigms in computer science , 1976, ICSE '76.

[158]  Edsger W. Dijkstra,et al.  Communication with an Automatic Computer , 1959 .

[159]  Sander Vermolen,et al.  Generating database migrations for evolving web applications , 2011, GPCE '11.

[160]  Alan Dearle,et al.  Software Deployment, Past, Present and Future , 2007, Future of Software Engineering (FOSE '07).

[161]  Steve Traugott,et al.  Why Order Matters: Turing Equivalence in Automated Systems Administration , 2002, LISA.

[162]  Cynthia Kop Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems , 2012 .

[163]  Aad Mathssen,et al.  Logical Calculi for Reasoning with Binding , 2008 .

[164]  Eelco Dolstra Secure sharing between untrusted users in a transparent source/binary deployment model , 2005, ASE '05.

[165]  R. Boumen,et al.  Integration and test plans for complex manufacturing systems , 2007 .

[166]  Martijn van Veelen,et al.  Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .

[167]  Gregor von Laszewski,et al.  Software, Component, and Service Deployment in Computational Grids , 2002, Component Deployment.

[168]  Eelco Dolstra,et al.  The purely functional software deployment model , 2006 .

[169]  Werner Heijstek,et al.  Architecture design in global and model-centric software development , 2012 .

[170]  Roberto Di Cosmo,et al.  A modular package manager architecture , 2013, Inf. Softw. Technol..

[171]  R.S.S. O'Connor,et al.  Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .

[172]  Marcel Verhoef,et al.  Modeling and validating distributed embedded real-time control systems , 2009 .

[173]  Eelco Visser,et al.  Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions , 2004, OOPSLA '04.

[174]  Bowen Alpern,et al.  Opening black boxes: using semantic information to combat virtual machine image sprawl , 2008, VEE '08.

[175]  Cfj Christian Lange,et al.  Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .

[176]  Jens R. Calamé,et al.  Testing reactive systems with data: enumerative methods and constraint solving , 2008 .

[177]  Yolande Berbers,et al.  Resource-Driven Collaborative Component Deployment in Mobile Environments , 2006, International Conference on Autonomic and Autonomous Systems (ICAS'06).

[178]  M. T. de Berg,et al.  Algorithms for Fat Objects: Decompositions and Applications , 2004 .

[179]  高山 恭介 入門TRAC : Integrated SCM and Project Management : Linux/Windows対応 , 2009 .

[180]  Steve Freeman,et al.  Mock Roles, not Objects , 2004 .

[181]  Hossein Rahmani,et al.  Analysis of protein-protein interaction networks by means of annotated graph mining algorithms , 2012 .

[182]  Jacky W. Keung,et al.  Guest Editors' Introduction: Software Engineering for the Cloud , 2012, IEEE Softw..

[183]  Roberto Di Cosmo,et al.  Strong dependencies between software components , 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.

[184]  Haibo Chen,et al.  POLUS: A POwerful Live Updating System , 2007, 29th International Conference on Software Engineering (ICSE'07).

[185]  Judith Bishop,et al.  The design of a self-healing composition cycle for Web services , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.

[186]  Martin R. Neuhäußer,et al.  Model checking nondeterministic and randomly timed systems , 2010 .

[187]  Martin Bravenboer,et al.  Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates , 2003 .

[188]  Michael Stonebraker,et al.  A Formal Model of Crash Recovery in a Distributed System , 1983, IEEE Transactions on Software Engineering.

[189]  Flavio D. Garcia Formal and Computational Cryptography: Protocols, Hashes and Commitments , 2008 .

[190]  Richard N. Taylor,et al.  Software architecture: foundations, theory, and practice , 2009, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[191]  Marija Mikic-Rakic,et al.  An Extensible Framework for Improving a Distributed Software System's Deployment Architecture , 2012, IEEE Transactions on Software Engineering.

[192]  Daniel Brélaz,et al.  New methods to color the vertices of a graph , 1979, CACM.

[193]  Eelco Visser,et al.  Software deployment in a dynamic cloud: From device to service orientation in a hospital environment , 2009, 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing.

[194]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[195]  Richard S. Hall,et al.  A cooperative approach to support software deployment using the Software Dock , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[196]  Arthur I. Baars,et al.  Embedded Compilers , 2009 .

[197]  Stephanie Kemper,et al.  Modelling and analysis of real-time coordination patterns , 2011 .

[198]  Adriaan Middelkoop,et al.  Inference of Program Properties with Attribute Grammars, Revisited , 2012 .

[199]  Mike Hibler,et al.  Large-scale Virtualization in the Emulab Network Testbed , 2008, USENIX ATC.

[200]  Xuejun Chen,et al.  A Component Framework for Dynamic Reconfiguration of Distributed Systems , 2002, Component Deployment.

[201]  Alexander L. Wolf,et al.  Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems , 2008, IEEE Transactions on Software Engineering.

[202]  Eddy Caron,et al.  GoDIET: A Deployment Tool for Distributed Middleware on Grid'5000 , 2006 .

[203]  Venkateswara Rao Muvva Distributed Systems and Recent Innovations: Challenges and Benefits , 2015 .

[204]  E Elena Mumford,et al.  Drawing graphs for cartographic applications , 2008 .

[205]  U Uzma Khadim,et al.  Process algebras for hybrid systems : comparison and development , 2008 .

[206]  Frédéric Guidec,et al.  Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks , 2005, Component Deployment.

[207]  Miguel E. Andrés,et al.  Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems , 2011, ArXiv.

[208]  Magiel Bruntink,et al.  Renovation of idiomatic crosscutting concerns in embedded systems , 2005 .

[209]  Zef Hemel Methods and Techniques for the Design and Implementation of Domain-Specific Languages , 2012 .

[210]  Cyrille Artho,et al.  Why do software packages conflict? , 2012, 2012 9th IEEE Working Conference on Mining Software Repositories (MSR).

[211]  Dennis Heimbigner,et al.  Reconfiguration in the Enterprise JavaBean Component Model , 2002, Component Deployment.

[212]  Gürcan Gülesir,et al.  Evolvable Behavior Specifications Using Context-Sensitive Wildcards , 2008 .

[213]  J. van den Berg,et al.  Reasoning about Java programs in PVS using JML , 2009 .

[214]  Farhad Arbab,et al.  Deploying loosely coupled, component-based applications into distributed environments , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).

[215]  Klara Nahrstedt,et al.  A Translation System for Enabling Flexible and Efficient Deployment of QoS-Aware Applications in Ubiquitous Environments , 2002, Component Deployment.

[216]  Emmanuele Zambon,et al.  Towards optimal IT availability planning: methods and tools , 2011 .

[217]  Eelco Visser,et al.  Stratego/XT 0.17. A language and toolset for program transformation , 2008, Sci. Comput. Program..

[218]  Eelco Visser,et al.  The Spoofax language workbench , 2010, SPLASH/OOPSLA Companion.

[219]  Shane McIntosh,et al.  An empirical study of build maintenance effort , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[220]  Z Zvezdan Protic,et al.  Configuration management for models : generic methods for model comparison and model co-evolution , 2011 .

[221]  van Mpwj Michiel Osch Model-based testing of hybrid systems , 2007 .

[222]  Paolo Traverso,et al.  Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.

[223]  Young-Joo Moon,et al.  Stochastic models for quality of service of component connectors , 2011 .

[224]  A. Rodriguez Yakushev,et al.  Towards Getting Generic Programming Ready for Prime Time , 2009 .

[225]  Hugo Jonker,et al.  Security matters : privacy in voting and fairness in digital exchange , 2009 .

[226]  A. Morali,et al.  IT architecture-based confidentiality risk assessment in networks of organizations , 2011 .

[227]  S. Georgievska Probability and Hiding in Concurrent Processes ( thesis abstract ) , 2011 .

[228]  J. Endrullis Termination and Productivity , 2010 .

[229]  Inês Lynce,et al.  Apt-pbo: solving the software dependency problem using pseudo-boolean optimization , 2010, ASE.

[230]  Mohammed G. Khatib MEMS-Based Storage Devices : Integration in Energy-Constrained Mobile Systems , 2009 .

[231]  Lacramioara Astefanoaei,et al.  An executable theory of multi-agent systems refinement , 2011 .

[232]  Jeff Magee,et al.  Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).

[233]  Open Source Inititiative The Open Source Definition , 2006 .

[234]  Arjen van Weelden,et al.  Putting Types To Good Use , 2007 .

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

[236]  Harmen Kastenberg Graph-based software specification and verification , 2008 .

[237]  M. T. de Berg,et al.  Multi-functional geometric data structures , 2003 .

[238]  M. G. van der Horst,et al.  Scalable block processing algorithms , 2008 .

[239]  Dmitri Jarnikov,et al.  QoS framework for video streaming in home networks , 2007 .

[240]  Sander van der Burg,et al.  A self-adaptive deployment framework for service-oriented systems , 2011, SEAMS '11.

[241]  M. Torabi Dashti,et al.  Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols , 2008 .

[242]  Katsuro Inoue,et al.  A sentence-matching method for automatic license identification of source code files , 2010, ASE.

[243]  Karina R. Olmos Joffré Strategies for Context Sensitive Program Transformation , 2009 .

[244]  Matthew Wilcox,et al.  Improving the Linux Test Project with Kernel Code Coverage Analysis , 2003 .

[245]  Tim K. Cocx,et al.  Algorithmic tools for data-oriented law enforcement , 2009 .

[246]  Sander van der Burg A generic approach for deploying and upgrading mutable software components , 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).