Bibliography

Major publications by the team in recent years

1F. J. Alvares De Oliveira, R. Sharrock, T. Ledoux.

Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing, in: COORDINATION - International Conference on Coordination Models and Languages - 2012, Stockholm, Sweden, March 2012.

http://hal.inria.fr/hal-00682914
2B. De Fraine, E. Ernst, M. Südholt.

Essential AOP: The A Calculus, in: ACM Transactions on Programming Languages and Systems (TOPLAS), December 2012.

http://hal.inria.fr/hal-00676082
3A. El Rheddane, N. De Palma, F. Boyer, F. Dumont, J.-M. Menaud, A. Tchana.

Dynamic Scalability of a Consolidation Service, in: International Conference on Cloud Computing, Indus Track, United States, July 2013, pp. 01-09.

http://hal.inria.fr/hal-00835817
4G. Jaber, N. Tabareau, M. Sozeau.

Extending Type Theory with Forcing, in: LICS 2012 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.

http://hal.inria.fr/hal-00685150
5M. Léger, T. Ledoux, T. Coupaye.

Reliable Dynamic Reconfiguration in a Reflective Component Model, in: Proc. of the 13th Int. Symposium on Component Based Software Engineering (CBSE'10), Tchèque, République, Lecture Notes in Computer Science, Springer-Verlag, June 2010, pp. 74-92.
6F. Quesnel, A. Lèbre, M. Südholt.

Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS, in: Concurrency and Computation: Practice and Experience, December 2012.

http://hal.inria.fr/hal-00675315
7D. Serrano, S. Bouchenak, Y. Kouki, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.

Towards QoS-Oriented SLA Guarantees for Online Cloud Services, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013, Delft, Netherlands, May 2013.

http://hal.inria.fr/hal-00780000
8N. Tabareau, I. Figueroa, É. Tanter.

A Typed Monadic Embedding of Aspects, in: Proceedings of the 12th annual international conference on Aspect-oriented software development (AOSD'13), Fukuoka, Japan, March 2013.

http://hal.inria.fr/hal-00763695
9N. Tabareau.

A theory of distributed aspects, in: 9th International Conference on Aspect-Oriented Software Development (AOSD '10), France Rennes, Saint-Malo, ACM, 2010, pp. 133–144.

http://dx.doi.org/10.1145/1739230.1739246
10R. Toledo, A. Núñez, É. Tanter, J. Noyé.

Aspectizing Java Access Control, in: IEEE Transactions on Software Engineering, January 2011.

http://hal.inria.fr/inria-00567489/en

Publications of the year

Doctoral Dissertations and Habilitation Theses

11A. Ajouli.

Vues et transformations de programmes pour la modularité des évolutions, Ecole des Mines de Nantes, September 2013.

http://hal.inria.fr/tel-00866997
12F. J. Alvares De Oliveira.

Gestion multi autonome pour l'optimisation de la consommation énergétique sur les infrastructures en nuage, Université de Nantes, April 2013.

http://hal.inria.fr/tel-00853575
13Y. Kouki.

Approche dirigée par les contrats de niveaux de service pour la gestion de l'élasticité du "nuage", Ecole des Mines de Nantes, December 2013.

http://hal.inria.fr/tel-00919900
14F. Quesnel.

Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement, Ecole des Mines de Nantes, February 2013.

http://hal.inria.fr/tel-00821103

Articles in International Peer-Reviewed Journals

15O. Chebaro, P. Cuoq, N. Kosmatov, B. Marre, A. Pacalet, N. Williams, B. Yakobowski.

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses, in: Automated Software Engineering, June 2013, 45 p.

http://www.springer.com/computer/ai/journal/10515, http://hal.inria.fr/hal-00818147
16I. Figueroa, N. Tabareau, É. Tanter.

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice, in: Transactions on Aspect-Oriented Software Development, 2013.

http://hal.inria.fr/hal-00872782
17Y. Kouki, T. Ledoux.

RightCapacity: SLA-driven Cross-Layer Cloud Elasticity Management, in: International journal of next-generation computing (IJNGC), December 2013, vol. 4, n^o 3, pp. 250-262.

http://hal.inria.fr/hal-00920968
18P. Leger, É. Tanter, R. Douence.

Modular and Flexible Causality Control on the Web, in: Science of Computer Programming, January 2013.

http://hal.inria.fr/hal-00755127
19C. Prud'Homme, X. Lorca, R. Douence, N. Jussien.

Propagation Engine Prototyping with a Domain Specific Language, in: Constraints, 2013, 21 p. [ DOI : 10.1007/s10601-013-9151-5 ]

http://hal.inria.fr/hal-00867604
20M. Sellami, P. de Vettor, M. Mrissa, D. Benslimane, B. Defude.

DMaaS : Syntactic, Structural and Semantic Mediation for Service Composition, in: International Journal of Autonomous and Adaptive Communications Systems, 2014.

http://hal.inria.fr/hal-00937178
21É. Tanter, I. Figueroa, N. Tabareau.

Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications, in: Science of Computer Programming, 2013.

http://hal.inria.fr/hal-00872786

International Conferences with Proceedings

22A. Ajouli, J. Cohen, J.-C. Royer.

Transformations between Composite and Visitor implementations in Java, in: 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Santander, Spain, September 2013, 8 p.

http://hal.inria.fr/hal-00834149
23D. Allam, H. Grall, J.-C. Royer.

From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping, in: WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, K.-H. Krempels, A. Stocker (editors), SciTePress Digital Library, March 2013, pp. 169-173, Short paper presented as a poster.

http://hal.inria.fr/hal-00800153
24D. Allam, H. Grall, J.-C. Royer.

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success, in: The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Vienna, Austria, G. Kotsis (editor), Gabriele Kotsis, December 2013, Full regular paper.

http://hal.inria.fr/hal-00908552
25F. J. Alvares De Oliveira, T. Ledoux, R. Sharrock.

A framework for the coordination of multiple autonomic managers in cloud environments, in: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Philadelphia (PA), United States, 2013, pp. 179-188.

http://hal.inria.fr/hal-00839090
26S. Badia, A. Carpen-Amarie, A. Lèbre, L. Nussbaum.

Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed, in: TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, Lugano, Switzerland, ACM, July 2013, pp. 7-12. [ DOI : 10.1145/2489295.2489298 ]

http://hal.inria.fr/hal-00907888
27W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Önen, A. Santana De Oliveira, K. Bernsmed.

A Cloud Accountability Policy Representation Framework, in: CLOSER - 4th International Conference on Cloud Computing and Services Science, Barcelone, Spain, 2014.

http://hal.inria.fr/hal-00941872
28R.-A. Cherrueau, O. Chebaro, M. Südholt.

Flexible and expressive aspect-based control over service compositions in the Cloud, in: 4th International Workshop on Variability & Composition, Fukuoka, Japan, Digital Library, ACM, March 2013.

http://hal.inria.fr/hal-00782427
29R.-A. Cherrueau, R. Douence, J.-C. Royer, M. Südholt, A. Santana De Oliveira, Y. Roudier, M. Dell'Amico.

Reference monitors for security and interoperability in OAuth 2.0, in: SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Egham, United Kingdom, September 2013.

http://hal.inria.fr/hal-00846810
30R.-A. Cherrueau, M. Südholt, O. Chebaro.

Adapting workﬂows using generic schemas: application to the security of business processes, in: CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Bristol, United Kingdom, December 2013, pp. 519-524.

http://hal.inria.fr/hal-00866485
31J. Cohen, A. Ajouli.

Practical use of static composition of refactoring operations, in: ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, ACM, March 2013, pp. 1700-1705. [ DOI : 10.1145/2480362.2480684 ]

http://hal.inria.fr/hal-00751304
32A. El Rheddane, N. De Palma, F. Boyer, F. Dumont, J.-M. Menaud, A. Tchana.

Dynamic Scalability of a Consolidation Service, in: International Conference on Cloud Computing, Indus Track, United States, July 2013, pp. 01-09.

http://hal.inria.fr/hal-00835817
33I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.

Compositional Reasoning About Aspect Interference, in: 13th International Conference on Modularity (Modularity'14), Lugano, Switzerland, April 2014.

http://hal.inria.fr/hal-00919935
34I. Figueroa, N. Tabareau, É. Tanter.

Taming aspects with monads and membranes, in: FOAL'13: Foundations of aspect-oriented languages, Fukuoka, Japan, ACM, March 2013. [ DOI : 10.1145/2451598.2451600 ]

http://hal.inria.fr/hal-00808983
35T. Hirofuchi, A. Lèbre.

Adding Virtual Machine Abstractions Into SimGrid, A First Step Toward the Simulation of Infrastructure-as-a-Service Concerns, in: Third International Conference on Cloud and Green Computing (CGC 2013), Karlsruhe, Germany, September 2013.

http://hal.inria.fr/hal-00861848
36T. Hirofuchi, A. Lèbre, L. Pouilloux.

Adding a Live Migration Model Into SimGrid, One More Step Toward the Simulation of Infrastructure-as-a-Service Concerns, in: 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Bristol, United Kingdom, December 2013.

http://hal.inria.fr/hal-00861882
37M. Imbert, L. Pouilloux, J. Rouzaud-Cornabas, A. Lèbre, T. Hirofuchi.

Using the EXECO toolbox to perform automatic and reproducible cloud experiments, in: 1st International Workshop on UsiNg and building ClOud Testbeds (UNICO, collocated with IEEE CloudCom 2013, Bristol, United Kingdom, September 2013.

http://hal.inria.fr/hal-00861886
38Y. Kouki, F. J. Alvares De Oliveira, S. Dupont, T. Ledoux.

A Language Support for Cloud Elasticity Management, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2014, Chicago, United States, May 2014, pp. 1-8.

http://hal.inria.fr/hal-00941945
39Y. Kouki, T. Ledoux.

SCAling : SLA-driven Cloud Auto-scaling, in: ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, March 2013, pp. 411-414.

http://hal.inria.fr/hal-00780003
40G. Le Louet, J.-M. Menaud.

OptiPlace: designing cloud management with flexible power models through constraint programing, in: International Conference on Utility and Cloud Computing, Dresden, Germany, December 2013.

http://hal.inria.fr/hal-00931797
41G. Le Louet, J.-M. Menaud.

StressCloud: An infrastructure stresser for Virtual Machine Managers, in: Energy Efficiency in Large Scale Distributed Systems conference, Austria, April 2013, pp. 01-08.

http://hal.inria.fr/hal-00836137
42F. Marchand De Kerchove, J. Noyé, M. Südholt.

Aspectizing JavaScript Security, in: MISS - 3rd Workshop on Modularity In Systems Software, Fukuoka, Japan, March 2013. [ DOI : 10.1145/2451613.2451616 ]

http://hal.inria.fr/hal-00786258
43F. Quesnel, H. Kumar Mehta, J.-M. Menaud.

Estimating the Power Consumption of an Idle Virtual Machine, in: The 2013 IEEE International Conference on Green Computing and Communications (GreenCom 2013), Beijing, China, August 2013.

http://hal.inria.fr/hal-00838982
44F. Quesnel, A. Lèbre, J. Pastor, M. Südholt, D. Balouek.

Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling, in: ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Melbourne, Australia, July 2013.

http://hal.inria.fr/hal-00817369
45D. Serrano, S. Bouchenak, Y. Kouki, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.

Towards QoS-Oriented SLA Guarantees for Online Cloud Services, in: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2013, Delft, Netherlands, May 2013, pp. 50-57.

http://hal.inria.fr/hal-00780000
46N. Tabareau, I. Figueroa, É. Tanter.

A Typed Monadic Embedding of Aspects, in: 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Fukuoka, Japan, March 2013.

http://hal.inria.fr/hal-00763695
47N. Tabareau, M. Südholt, É. Tanter.

Aspectual Session Types, in: Modularity - 13th International Conference on Modularity, Lugano, Switzerland, 2014.

http://hal.inria.fr/hal-00872791
48J. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.

JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity '14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.

http://hal.inria.fr/hal-00862332

National Conferences with Proceedings

49L. Eyraud-Dubois, A. Lèbre, P. Martineau, A. Soukhal, V. T'Kindt, D. Trystram.

A Server Consolidation Problem: Definition and Model, in: Proceedings of the 14th conference ROADEF, Troyes, France, 2013.

http://hal.inria.fr/hal-00921363
50Y. Kouki, T. Ledoux, D. Serrano, S. Bouchenak, J. Lejeune, L. Arantes, J. Sopena, P. Sens.

SLA et qualité de service pour le Cloud Computing, in: Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Grenoble, France, January 2013, pp. 1-11.

http://hal.inria.fr/hal-00764951
51G. Le Louet, J.-M. Menaud.

StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée, in: Conférence Française en Systèmes d'Exploitation, France, January 2013, pp. 01-12.

http://hal.inria.fr/hal-00836139
52C. Prud'Homme, X. Lorca, R. Douence, N. Jussien.

Prototyper des Moteurs de Propagation avec un DSL, in: Journées française de la Programmation par Contraintes, Aix-en-Provence, France, 2013, pp. 279-288.

http://hal.inria.fr/hal-00867713
53N. Tabareau, É. Tanter, I. Figueroa.

Anti-Unification with Type Classes, in: Journées Francophones des Langages Applicatifs (JFLA), Aussois, France, February 2013.

http://hal.inria.fr/hal-00765862

Conferences without Proceedings

54D. Balouek, A. Lèbre, F. Quesnel.

Flauncher and DVMS – Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically, in: IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, Delft, Netherlands, 2013.

http://hal.inria.fr/hal-00920094

Internal Reports

55A. Ajouli, J. Cohen.

Refactoring Composite to Visitor and Inverse Transformation in Java, July 2013.

http://hal.inria.fr/hal-00652872
56A. Lèbre, J. Pastor, M. Bertier, F. Desprez, J. Rouzaud-Cornabas, C. Tedeschi, P. Anedda, G. Zanetti, R. Nou, T. Cortes, E. Rivière, T. Ropars.

Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?, Inria, July 2013, n^o RR-8348.

http://hal.inria.fr/hal-00854204
57N. Tabareau, J.-J. Slotine.

Contraction analysis of nonlinear random dynamical systems, Inria, 2013, n^o RR-8368, 17 p.

http://hal.inria.fr/hal-00864079

Other Publications

58S. Pearson, V. Tountopoulos, D. Catteddu, M. Südholt, R. Molva, C. Reich.

Accountability for Cloud and Other Future Internet Services, January 2013, The 4th IEEE Int. Conf. on Cloud Computing Technology and Science (CloudCom 2012).

http://hal.inria.fr/hal-00778369
59M. Sozeau, N. Tabareau.

Univalence for free, 2013.

http://hal.inria.fr/hal-00786589

References in notes

60M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)

Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
61C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, J. Tibble.

Adding trace matching with free variables to AspectJ, in: ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA), R. P. Gabriel (editor), ACM Press, 2005.
62R. Allen, D. Garlan.

A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, n^o 3, pp. 213–49.
63J. H. Andrews.

Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, 2001, vol. 2192, pp. 187–209.
64T. H. Austin, C. Flanagan.

Multiple facets for dynamic information flow, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA, POPL '12, ACM, 2012, pp. 165–178.

http://doi.acm.org/10.1145/2103656.2103677
65L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.

Explicitly distributed AOP using AWED, in: Aspect-Oriented Software Development (AOSD), ACM Press, March 2006, pp. 51-62.
66G. S. Blair, G. Coulson, P. Robin, M. Papathomas.

An architecture for next generation middleware, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer-Verlag, 1998.
67A. Braccialia, A. Brogi, C. Canal.

A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
68S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.

Session Types for Access and Information Flow Control, in: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, pp. 237–252.

http://dx.doi.org/10.1007/978-3-642-15375-4_17
69E. M. Clarke, O. Grumberg, D. A. Peled.

Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
70A. Colyer, A. Clement.

Large-scale AOSD for Middleware, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, K. Lieberherr (editor), ACM Press, 2004, pp. 56–65.
71F. DeRemer, H. H. Kron.

Programming-in-the-large versus programming-in-the-small, in: IEEE Transactions on Software Engineering, 1976, vol. SE-2, n^o 2, pp. 80-86.
72G. Decker, O. Kopp, F. Leymann, M. Weske.

BPEL4Chor: Extending BPEL for Modeling Choreographies, in: IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 296–303.
73E. W. Dijkstra.

On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, pp. 60–66, Published in 1982.
74R. Douence, P. Fradet, M. Südholt.

A framework for the detection and resolution of aspect interactions, in: Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Lecture Notes in Computer Science, Springer-Verlag, October 2002, vol. 2487, pp. 173–188.

http://hal.inria.fr/inria-00072153
75R. Douence, P. Fradet, M. Südholt.

Trace-Based Aspects, in: Aspect-Oriented Software Development, M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors), Addison-Wesley, 2004, pp. 201-218.
76R. Douence, O. Motelet, M. Südholt.

A formal definition of crosscuts, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, Springer-Verlag, 2001, vol. 2192, pp. 170–186.
77R. Douence, D. Le Botlan, J. Noyé, M. Südholt.

Concurrent Aspects, in: Proc. of the Int. ACM Conf. on Generative Programming and Component Engineering (GPCE), ACM Press, October 2006, pp. 79-88.
78H. Foster, S. Uchitel, J. Magee, J. Kramer.

Model-based Verification of Web Service Compositions, in: Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), IEEE Computer Society, 2003, pp. 152–163.
79A. Fuggetta, G. P. Picco, G. Vigna.

Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, n^o 5, pp. 342–361.
80K. Honda, N. Yoshida, M. Carbone.

Multiparty asynchronous session types, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, G. C. Necula, P. Wadler (editors), ACM, 2008, pp. 273–284.

http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf, http://doi.acm.org/10.1145/1328438.1328472
81G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold.

An Overview of AspectJ, in: ECOOP 2001 — Object-Oriented Programming 15th European Conference, Budapest Hungary, Berlin, J. L. Knudsen (editor), Lecture Notes in Computer Science, Springer-Verlag, June 2001, vol. 2072, pp. 327–353.

http://www.eclipse.org/aspectj/
82G. Kiczales.

Aspect Oriented Programming, in: Proc. of the Int. Workshop on Composability Issues in Object-Orientation (CIOO'96) at ECOOP, July 1996, Selected paper published by dpunkt press, Heidelberg, Germany.
83G. Kiczales, J. des Rivieres, Daniel G. Bobrow.

The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
84J. Kienzle, R. Guerraoui.

AOP - Does It Make Sense? The Case of Concurrency and Failures, in: 16th European Conference on Object-Oriented Programming (ECOOP'2002), Malaga, Spain, B. Magnusson (editor), Lecture Notes in Computer Science, Springer-Verlag, 2002.
85T. Ledoux.

OpenCorba: a Reflective Open Broker, in: ACM Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, P. Cointe (editor), Lecture Notes in Computer Science, Springer-Verlag, July 1999, vol. 1616, pp. 197–214.
86M. McIlroy.

Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, pp. 138-155.
87N. Medvidovic, R. N. Taylor.

A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, January 2000, vol. 26, n^o 1, pp. 70-93.
88M. Mernik, J. Heering, A. M. Sloane.

When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, n^o 4, pp. 316-344.
89L. Mikhajlov, E. Sekerinski.

A study of the fragile base class, in: A study of the fragile base class, Brussels, Belgium, E. Jul (editor), Lecture Notes in Computer Science, July 1998, vol. 1445, pp. 355-382.
90D. H. Nguyen, M. Südholt.

VPA-based aspects: better support for AOP over protocols, in: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), IEEE Computer Society Press, September 2006.
91O. Nierstrasz.

Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
92M. Nishizawa, S. Chiba, M. Tatsubori.

Remote Pointcut - A Language Construct for Distributed AOP, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, ACM Press, 2004.
93D. L. Parnas.

On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, n^o 12, pp. 1053-1058.
94S. Pearson.

Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, n^o 4, pp. 64-69.

http://dx.doi.org/10.1109/MIC.2011.98
95F. Plasil, S. Visnovsky.

Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, n^o 9.
96F. Puntigam.

Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), Lecture Notes in Computer Science, Springer-Verlag, 1997, vol. 1241, pp. 367–388.
97M. Shaw, D. Garlan.

Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
98B. C. Smith.

Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, n^o P84-00030.
99S. Soares, E. Laureano, P. Borba.

Implementing distribution and persistence aspects with AspectJ , in: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), C. Norris, J. J. B. Fenwick (editors), ACM SIGPLAN Notices, ACM Press, November 4–8 2002, vol. 37, 11, pp. 174–190.
100S. Sundareswaran.

Ensuring Distributed Accountability for Data Sharing in the Cloud, in: Dependable and Secure Computing, 2012, vol. 9.

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165313
101R. J. Walker, K. Viggers.

Implementing Protocols via Declarative Event Patterns, in: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), ACM Press, 2004, pp. 159 - 169.
102M. Wand, G. Kiczales, C. Dutchyn.

A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2004, vol. 26, n^o 5, pp. 890–910.
103D. M. Yellin, R. E. Strom.

Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, n^o 2, pp. 292–333.
104A. van Deursen, P. Klint, J. Visser.

Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, n^o 6, pp. 26-36.

Previous |

Home