Result 1 to 20 of 26 total
Instant and incremental QVT transformation for runtime models. (English)
Whittle, Jon (ed.) et al., Model driven engineering languages and systems. 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24484-1/pbk). Lecture Notes in Computer Science 6981, 273-288 (2011).
1
io-port 05914414 Grace, Paul;
Georgantas, Nikolaos;
Bennaceur, Amel;
Blair, Gordon S.;
Chauvel, Franck;
Issarny, Valérie;
Paolucci, Massimo;
Saadi, Rachid;
Souville, Betrand;
Sykes, Daniel
The CONNECT architecture. (English)
Bernardo, Marco (ed.) et al., Formal methods for eternal networked software systems. 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13‒18, 2011. Advanced lectures. Berlin: Springer (ISBN 978-3-642-21454-7/pbk). Lecture Notes in Computer Science 6659, 27-52 (2011).
2
Supporting runtime software architecture: A bidirectional-transformation-based approach (English)
Journal of Systems and Software 84, No. 5, 711-723 (2011).
3
Instant and incremental QVT transformation for runtime models (English)
MoDELS, 273-288 (2011).
4
Detecting architecture erosion by design decision of architectural pattern (English)
SEKE, 758-763 (2011).
6
io-port 05854262 Bennaceur, Amel;
Blair, Gordon;
Chauvel, Franck;
Gang, Huang;
Georgantas, Nikolaos;
Grace, Paul;
Howar, Falk;
Inverardi, Paola;
Issarny, Valrie;
Paolucci, Massimo;
Pathak, Animesh;
Spalazzese, Romina;
Steffen, Bernhard;
Souville, Bertrand
Towards an architecture for runtime interoperability. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 206-220 (2010).
7
Integrating MOF-compliant analysis results. (English)
Int. J. Softw. Inform. 4, No. 4, 383-400 (2010).
8
Inferring meta-models for runtime system data from the clients of management APIs. (English)
Petriu, Dorina C. (ed.) et al., Model driven engineering languages and systems. 13th international conference, MODELS 2010, Oslo, Norway, October 3‒8, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16128-5/pbk). Lecture Notes in Computer Science 6395, 168-182 (2010).
9
Using QoS-contracts to drive architecture-centric self-adaptation. (English)
Heineman, George T. (ed.) et al., Research into practice ‒ reality and gaps. 6th international conference on the quality of software architectures, QoSA 2010, Prague, Czech Republic, June 23‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13820-1/pbk). Lecture Notes in Computer Science 6093, 102-118 (2010).
10
Generating synchronization engines between running systems and their model-based views. (English)
Ghosh, Sudipto (ed.), Models in software engineering. Workshops and symposia at MODELS 2009, Denver, CO, USA, October 4‒9, 2009. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-12260-6/pbk). Lecture Notes in Computer Science 6002, 140-154 (2010).
11
Using QoS-contracts to drive architecture-centric self-adaptation (English)
QoSA, 102-118 (2010).
12
Inferring meta-models for runtime system data from the clients of management apis (English)
MoDELS (2), 168-182 (2010).
13
io-port 70790052 Bennaceur, Amel;
Blair, Gordon S.;
Chauvel, Franck;
Huang, Gang;
Georgantas, Nikolaos;
Grace, Paul;
Howar, Falk;
Inverardi, Paola;
Issarny, Valérie;
Paolucci, Massimo;
Pathak, Animesh;
Spalazzese, Romina;
Steffen, Bernhard;
Souville, Bertrand
Towards an architecture for runtime interoperability (English)
ISoLA (2), 206-220 (2010).
14
SM@RT: representing run-time system data as MOF-compliant models (English)
ICSE (2), 303-304 (2010).
15
Selecting fault tolerant styles for third-party components with model checking support. (English)
Lewis, Grace A. (ed.) et al., Component-based software engineering. 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24‒26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02413-9/pbk). Lecture Notes in Computer Science 5582, 69-86 (2009).
16
Supporting reconfigurable fault tolerance on application servers (English)
ISPA, 263-271 (2009).
17
Unifying runtime adaptation and design evolution (English)
CIT (1), 104-109 (2009).
18
Generating synchronization engines between running systems and their model-based views (English)
MoDELS Workshops, 140-154 (2009).
19
Selecting fault tolerant styles for third-party components with model checking support (English)
CBSE, 69-86 (2009).
20
Result 1 to 20 of 26 total
Start
Contact
Print
General Help
