. Ceci-ne-représente and . Qu, une partie du cycle de développement qui intègre nécessairement des phases de vérification a posteriori, des phases de maintenance et d'évolution. Par rapport aux différentes générations de systèmes adaptatifs présentées au début du chapitre 2, il s'agit ici de concevoir des systèmes de seconde génération, c'est-à-dire des systèmes capables d

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering : First International Conference , FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, 1998.
DOI : 10.1007/BFb0053581

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

M. Baldauf, S. Dustdar, and F. Rosenberg, A survey on context-aware systems, International Journal of Ad Hoc and Ubiquitous Computing, vol.2, issue.4, pp.263-277, 2007.
DOI : 10.1504/IJAHUC.2007.014070

O. Barais, Construire et Maîtriser l'évolution d'une architecture logicielle à base de composants, 2005.
DOI : 10.3166/objet.11.4.115-140

T. Batista, A. Joolia, and G. Coulson, Managing Dynamic Reconfiguration in Component-Based Systems, Software Architecture : 2nd European Workshop, 2005.
DOI : 10.1007/11494713_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.556

D. E. Bell, H. Raiffa, and A. Tversky, Decision Making : Descriptive, Normative, and Prescriptive Interactions, 1988.
DOI : 10.1017/CBO9780511598951

A. Beugnard, J. M. Jezequel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

B. W. Boehm, Verifying and Validating Software Requirements and Design Specifications, IEEE Software, vol.1, issue.1, pp.75-88, 1984.
DOI : 10.1109/MS.1984.233702
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.8494

C. Bolchini, C. A. Curino, E. Quintarelli, F. A. Schreiber, and L. Tanca, A data-oriented survey of context models, ACM SIGMOD Record, vol.36, issue.4, pp.19-26, 2007.
DOI : 10.1145/1361348.1361353

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. B. Stefani, An Open Component Model and Its Support in Java, Component-based Software Engineering : 7th International Symposium, 2004.
DOI : 10.1007/978-3-540-24774-6_3

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. B. Stefani, The Fractal Component Model and its Support in Java. Software Practice and Experience, special issue on Experiences with Auto-adaptive and Reconfigurable Systems, pp.11-121257, 2006.

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. Grose, Eclipse Modeling Framework. The Eclipse Series, 2003.

F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern-oriented software architecture : a system of patterns, 1996.

E. Cecchet, H. Elmeleegy, O. Layaïda, and V. Quéma, Implementing Probes for J2EE Cluster Monitoring, OOPSLA Workshop on Component and Middleware Proformance, 2004.

C. Chaudet and F. Oquendo, /spl pi/-SPACE: a formal architecture description language based on process algebra for evolving software systems, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.245-248, 2000.
DOI : 10.1109/ASE.2000.873669

F. Chauvel and O. Barais, Modelling adaptation policies for self-adaptive component architectures, 1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007, pp.61-68, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477570

F. Chauvel, O. Barais, I. Borne, and J. Jézéquel, Composition of Qualitative Adaptation Policies, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008.
DOI : 10.1109/ASE.2008.72
URL : https://hal.archives-ouvertes.fr/inria-00477536

F. Chauvel, O. Barais, N. Plouzeau, I. Borne, and J. Jézéquel, Expression qualitative de politiques d'adaptation pour fractal, Langage Modèles et Objets LMO'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456478

F. Chauvel, I. Borne, J. Jézéquel, and O. Barais, A model-driven process for self-adaptive software, 4th European Congress ERTS Embedded Real-Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00455764

F. Chauvel and J. Jézéquel, Code Generation from UML Models with Semantic Variation Points, MoDELS, pp.54-68, 2005.
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105

D. Chefrour and F. Andre, D??veloppement d'applications en environnements mobiles ?? l'aide du mod??le de composant adaptatif ACEEL, L'objet, vol.9, issue.1-2, pp.77-90, 2003.
DOI : 10.3166/objet.9.1-2.77-90

H. Chen, T. Finin, and A. Joshi, An ontology for context-aware pervasive computing environments, The Knowledge Engineering Review, vol.18, issue.3, pp.197-207, 2004.
DOI : 10.1017/S0269888904000025

M. Clarke, G. S. Blair, G. Coulson, and N. Parlavantzas, An Efficient Component Model for the Construction of Adaptive Middleware, Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, 2001.
DOI : 10.1007/3-540-45518-3_9

P. Collet, A. Ozanne, and N. Rivierre, On contracting different behavioral properties in component-based systems, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1798-1799, 2006.
DOI : 10.1145/1141277.1141699
URL : https://hal.archives-ouvertes.fr/hal-01351667

P. Collet, R. Rousseau, D. Conan, R. Rouvoy, and L. Seinturier, ConFract, un système pour contractualiser des composants logiciels hiérarchiques. L' Objet(Paris) Scalable Processing of Context Information with COSMOS, In Lectures Notes in Computer Science, vol.11, issue.4531, pp.223-238, 2005.
DOI : 10.3166/objet.11.1-2.223-238

G. Coulson, G. S. Blair, M. Clarke, and N. Parlavantzas, The design of a configurable and reconfigurable middleware platform, Distributed Computing, vol.15, issue.2, pp.109-126, 2002.
DOI : 10.1007/s004460100064

O. Dahl, SIMULA 67 common base language, Norwegian Computing Center, 1968.

E. Dashofy, A. Van-der-hoek, and R. Taylor, A highly-extensible, XML-based architecture description language, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.103-112, 2001.
DOI : 10.1109/WICSA.2001.948416
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.1856

P. C. David and T. Ledoux, Towards a Framework for Self-adaptive Component-Based Applications, Distributed Applications and Interoperable Systems : 4th Ifip Wg6. 1 International Conference, 2003.
DOI : 10.1007/3-540-40002-8_12
URL : https://hal.archives-ouvertes.fr/hal-00457083

P. C. David and T. Ledoux, WildCAT, Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing , MPAC '05, pp.1-7, 2005.
DOI : 10.1145/1101480.1101483
URL : https://hal.archives-ouvertes.fr/hal-00457084

P. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, Software Composition , 5th International Symposium, SC 2006, pp.82-97, 2006.
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

L. Demichiel and M. Keith, Enterprise javabeans version 3.0 : Ejb core contracts and requirements, 2006.

A. K. Dey, Understanding and Using Context. Personal and Ubiquitous Computing, pp.4-7, 2001.
DOI : 10.1007/s007790170019
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9786

W. Edsger and . Dijkstra, On the role of scientific thought, Selected Writings on Computing : A Personal Perspective, pp.60-66, 1982.

J. Dowling and V. Cahill, The K-Component Architecture Meta-Model for Self-Adaptive Software, Metalevel Architectures and Separation of Crosscutting Concerns : Third International Conference, 2001.
DOI : 10.1007/3-540-45429-2_6

P. H. Feiler, B. Lewis, and S. Vestal, The SAE Avionics Architecture Description Language (AADL) Standard : A Basis for Model-Based Architecture-Driven Embedded Systems Engineering, RTAS 2003 Workshop on Model-Driven Embedded Systems, 2003.

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns : elements of reusable object-oriented software, 1995.

D. Garlan, S. W. Cheng, A. C. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.3746-54, 2004.
DOI : 10.1109/MC.2004.175

D. Garlan, R. T. Monroe, and D. Wile, Foundations of component-based systems , chapter Acme : architectural description of component-based systems, pp.47-67

K. Geihs, Middleware challenges ahead, Computer, vol.34, issue.6, pp.24-31, 2001.
DOI : 10.1109/2.928618

G. Grondin, N. Bouraqadi, and L. Vercouter, MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications, Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering, pp.360-367, 2006.
DOI : 10.1007/11783565_28
URL : https://hal.archives-ouvertes.fr/emse-00680258

T. Gu, X. H. Wang, H. K. Pung, and D. Q. Zhang, An Ontology-based Context Model in Intelligent Environments, Proceedings of Communication Networks and Distributed Systems Modeling and Simulation Conference, 2004.

T. Gu, X. H. Wang, H. K. Pung, and D. Q. Zhang, An Ontology-based Context Model in Intelligent Environments, Proceedings of Communication Networks and Distributed Systems Modeling and Simulation Conference, 2004.

M. Gupta, D. Katre, S. Shah, and R. Iyer, Architecting and Building Enterprise Solutions with COM+ and. NET, 2005.

K. Henricksen, J. Indulska, and A. Rakotonirainy, Modeling Context Information in Pervasive Computing Systems, Pervasive Computing : First International Conference, 2002.
DOI : 10.1007/3-540-45866-2_14

G. Huang, H. Mei, and F. Q. Yang, Runtime recovery and manipulation of software architecture of component-based systems, Automated Software Engineering, vol.10, issue.1, pp.257-281, 2006.
DOI : 10.1007/s10515-006-7738-4

J. Ivers, N. Sinha, and K. Wallnau, A Basis for Composition Language CL, 2002.

P. Jackson, Introduction to expert systems, 1986.

J. M. Jézéquel and B. Meyer, Design by contract: the lessons of Ariane, Computer, vol.30, issue.1, pp.129-130, 1997.
DOI : 10.1109/2.562936

M. Kaenampornpan and E. O. Neill, Modelling Context: An Activity Theory Approach, Ambient Intelligence : Second European Symposium, EUSAI 2004, 2004.
DOI : 10.1007/978-3-540-30473-9_35

J. O. Kephart, Research challenges of autonomic computing, Proceedings of the 27th international conference on Software engineering, pp.15-22, 2005.

J. Kephart and W. Walsh, An artificial intelligence perspective on autonomic computing policies, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004., pp.3-12, 2004.
DOI : 10.1109/POLICY.2004.1309145

H. Shekhar, I. A. Kirani, W. Zualkernan, and . Tsai, Evaluation of expert system testing methods, Commun. ACM, vol.37, issue.11, pp.71-81, 1994.

G. Klyne, F. Reynolds, C. Woodrow, H. Ohto, J. Hjelm et al., Composite Capability/Preference Profiles (CC/PP) : Structure and Vocabularies UML for ontology development, The Knowledge Engineering Review, issue.01, pp.1761-64, 2002.

F. Kon, M. Roman, P. Liu, J. Mao, T. Yamane et al., Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective ORB, Middleware 2000 : Ifip/Acm International Conference on Distributed Systems Platforms and Open Distributed Processing, 2000.
DOI : 10.1007/3-540-45559-0_7

G. Kraetzschmar, H. Utz, S. Sablatnog, S. Enderle, and G. Palm, Miro ??? Middleware for Cooperative Robotics, 2001.
DOI : 10.1007/3-540-45603-1_52

C. Landauer, Correctness principles for rule-based expert systems, Expert Systems with Applications, vol.1, issue.3, pp.291-316, 1990.
DOI : 10.1016/0957-4174(90)90009-J

O. Lassila and R. R. Swick, Resource Description Framework (RDF) Model and Syntax Specification, 1999.

. Kung-kiu, Z. Lau, and . Wang, A Taxonomy of Software Component Models, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, pp.88-95, 2005.
DOI : 10.1109/EUROMICRO.2005.8

M. Leclercq, V. Quéma, and J. B. Stefani, DREAM, Proceedings of the 3rd workshop on Adaptive and reflective middleware -, pp.250-255, 2004.
DOI : 10.1145/1028613.1028625
URL : https://hal.archives-ouvertes.fr/hal-00881539

B. Li and K. Nahrstedt, QualProbes: Middleware QoS Profiling Services for Configuring Adaptive Applications, MiddlewareAcm International Conference on Distributed Systems Platforms and Open Distributed Processing, 2000.
DOI : 10.1007/3-540-45559-0_13
URL : http://cairo.cs.uiuc.edu/papers/mdw00-bli.ps

D. Luckham, . Kenney, J. Lm-augustin, D. Vera, W. Bryan et al., Specification and analysis of system architecture using Rapide. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.336-354, 1995.

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp.3-14, 1996.

J. Malenfant, M. T. Segarra, and F. Andre, Dynamic Adaptability: The Mol??NE Experiment, Proceedings of Reflection, pp.110-117, 2001.
DOI : 10.1007/3-540-45429-2_8

S. Mary, Software Architecture : Perspectives on an Emerging Discipline, 1996.

J. Mccarthy, Notes on formalizing context, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pp.555-560, 1993.

N. Medvidovic, D. S. Rosenblum, D. F. Redmiles, and J. E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1, pp.2-57, 2002.
DOI : 10.1145/504087.504088

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

H. Mei, F. Chen, Q. Wang, and Y. Feng, ABC/ADL: An ADL Supporting Component Composition, Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, 2002.
DOI : 10.1007/3-540-36103-0_6

B. Meyer, Eiffel : the language, 1992.

R. T. Monroe, Capturing Software Architecture Design Expertise with Armani, 2000.

R. Moreira, S. Blair, and E. Carrapatoso, Supporting adaptable distributed systems with FORMAware, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings., pp.320-325, 2004.
DOI : 10.1109/ICDCSW.2004.1284049

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proc. of MODELS/UML'2005, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, Checking an expert systems knowledge base for consistency and completeness, Proceedings of 9th IJCAI, pp.374-378, 1985.

T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, Knowledge-Base Verification, pp.69-75, 1987.
URL : https://hal.archives-ouvertes.fr/tel-01175929

O. Nierstrasz, G. Arevalo, S. Ducasse, R. Wuyts, A. P. Black et al., A Component Model for Field Devices, Component Deployment : IFIP/ACM Working Conference, 2002.
DOI : 10.1007/3-540-45440-3_14

R. M. O-'keefe and D. E. Leary, Expert system verification and validation: a survey and tutorial, Artificial Intelligence Review, vol.6, issue.1, pp.3-42, 1993.
DOI : 10.1007/BF00849196

D. E. Leary, Methods of Validating Expert Systems, Interfaces, vol.18, issue.6, pp.72-79, 1988.
DOI : 10.1287/inte.18.6.72

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

P. Oreizy, Issues in modeling and analyzing dynamic software architectures, Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis, pp.54-57, 1998.

D. Pearce, The Induction of Fault Diagnosis Systems from Qualitative Models. Turing Institute, 1988.

]. F. Plásil, D. Bálek, and R. Janecek, SOFA/DCUP: architecture for component trading and dynamic updating, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), p.43, 1998.
DOI : 10.1109/CDS.1998.675757

J. Polakovic, A. E. Ozcan, and J. B. Stefani, Building Reconfigurable Component-Based OS with THINK, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.178-185, 2006.
DOI : 10.1109/EUROMICRO.2006.26

D. Preuveneers, J. Van-den-bergh, D. Wagelaar, A. Georges, P. Rigole et al., Towards an Extensible Context Ontology for Ambient Intelligence, Ambient Intelligence : Second European Symposium, EUSAI 2004, 2004.
DOI : 10.1007/978-3-540-30473-9_15

P. G. Raverdy, R. Gong, and . Lea, DART : A Reflective Middleware for Adaptive Applications, Proceedings of the Workshop on Reflective Programming in C++ and Java at the 13th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98), pp.37-40, 1998.

J. Rushby, Quality Measures and Assurance for AI (Artificial Intelligence) Software, 1988.

C. Saab, X. Bonnaire, and B. Folliot, A flexible monitoring platform to build cluster management services, Proceedings IEEE International Conference on Cluster Computing. CLUSTER 2000, pp.258-265, 2000.
DOI : 10.1109/CLUSTR.2000.889071

C. B. Saab, X. Bonnaire, and B. Folliot, PHOENIX : A Self Adaptable Monitoring Platform for Cluster Management, Cluster Computing, vol.5, issue.1, pp.75-85, 2002.
DOI : 10.1023/A:1012748806955
URL : https://hal.archives-ouvertes.fr/hal-01198802

D. Salber, A. K. Dey, and G. D. Abowd, The context toolkit, Proceedings of the SIGCHI conference on Human factors in computing systems the CHI is the limit, CHI '99, pp.434-441, 1999.
DOI : 10.1145/302979.303126

M. Samulowitz, F. Michahelles, and C. Linnhoff-popien, Capeus: An Architecture for Context-aware Selection and Execution of Services, Proceedings of the IFIP TC6/WG6. 1 Third International Working Conference on New Developments in Distributed Applications and Interoperable Systems, pp.23-40, 2001.
DOI : 10.1007/0-306-47005-5_3

M. Segarra and F. Andre, A framework for dynamic adaptation in wireless environments, Proceedings 33rd International Conference on Technology of Object-Oriented Languages and Systems TOOLS 33, pp.336-347, 2000.
DOI : 10.1109/TOOLS.2000.848773

L. Seinturier, N. Pessemier, L. Duchien, and T. Coupaye, A Component Model Engineered with Components and Aspects, Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'06), pp.139-153, 2006.
DOI : 10.1007/11783565_10
URL : https://hal.archives-ouvertes.fr/inria-00126350

Q. Z. Sheng and B. Benatallah, ContextUML: A UML-Based Modeling Language for Model-Driven Development of Context-Aware Web Services Development, International Conference on Mobile Business (ICMB'05), pp.206-212, 2005.
DOI : 10.1109/ICMB.2005.33

T. Strang and C. Linnhoff-popien, A Context Modeling Survey, Workshop on Advanced Context Modelling, Reasoning and Management, pp.34-41, 2004.

T. Strang, C. Linnhoff-popien, and K. Frank, CoOL: A Context Ontology Language to Enable Contextual Interoperability, Distributed Applications and Interoperable Systems : 4th Ifip Wg6. 1 International Conference, 2003.
DOI : 10.1109/JCN.2001.6596960

M. Sugeno and T. Yasukawa, A fuzzy-logic-based approach to qualitative modeling, IEEE Transactions on Fuzzy Systems, vol.1, issue.1, pp.7-31, 1993.
DOI : 10.1109/TFUZZ.1993.390281

M. Suwa, A. C. Scott, and E. H. Shortliffe, Completeness and consistency in a rule-based system, pp.16-21, 1982.

C. Szyperski, Component Software : Beyond Object-oriented Programming, 1998.

W. Tsai, R. Vishnuvajjala, and D. Zhang, Verification and validation of knowledge-based systems, IEEE Transactions on Knowledge and Data Engineering, vol.11, issue.1, pp.202-212, 1999.
DOI : 10.1109/69.755629

T. Tse and S. Yau, Testing context-sensitive middleware-based software applications, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004., pp.458-466, 2004.
DOI : 10.1109/CMPSAC.2004.1342879

A. M. Turing, Computing machinery and intelligence. Mind, pp.433-460, 1950.

H. Utz, S. Sablatnog, S. Enderle, and G. Kraetzschmar, Miro-middleware for mobile robot applications. Robotics and Automation, IEEE Transactions on, vol.18, issue.4, pp.493-497, 2002.

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699

P. Verissimo, V. Cahill, A. Casimiro, K. Cheverst, A. Friday et al., CORTEX : Towards Supporting Autonomous and Cooperating Sentient Entities, Proceedings of European Wireless, pp.595-601, 2002.

T. View, Reconfigurable context-sensitive middleware for pervasive computing. Pervasive Computing, IEEE, vol.1, issue.3, pp.33-40, 2002.

Z. Wang, S. Elbaum, and D. Rosenblum, Automated Generation of Context-Aware Tests, 29th International Conference on Software Engineering (ICSE'07), pp.406-415, 2007.
DOI : 10.1109/ICSE.2007.18

C. Xu and S. C. Cheung, Inconsistency detection and resolution for context-aware middleware support, Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp.336-345, 2005.
DOI : 10.1145/1095430.1081759

C. Xu, S. C. Cheung, and W. K. Chan, Incremental consistency checking for pervasive context, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.292-301, 2006.
DOI : 10.1145/1134285.1134327

C. Xu, S. C. Cheung, and W. K. Chan, Goal-Directed Context Validation for Adaptive Ubiquitous Systems, International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07), p.17, 2007.
DOI : 10.1109/SEAMS.2007.8

S. S. Yau and F. Karim, An Adaptive Middleware for Context-Sensitive Communications for Real-Time Applications in Ubiquitous Computing Environments, Real-Time Systems, vol.26, issue.1, pp.29-61, 2004.
DOI : 10.1023/B:TIME.0000009305.62647.ee

L. Zadeh, Fuzzy logic and approximate reasoning, Synthese, vol.3, issue.3-4, pp.407-428, 1975.
DOI : 10.1007/BF00485052

Z. Q. Zhou, . Huang, Z. Th-tse, H. Yang, T. Huang et al., Metamorphic testing and its applications, Proceedings of the 8th International Symposium on Future Software Technology, pp.20-22, 2004.