Filter your results
- 205
- 141
- 203
- 66
- 19
- 17
- 14
- 11
- 9
- 3
- 2
- 1
- 1
- 345
- 2
- 26
- 20
- 33
- 21
- 23
- 20
- 32
- 25
- 27
- 31
- 30
- 23
- 17
- 9
- 4
- 1
- 1
- 1
- 2
- 259
- 87
- 326
- 35
- 32
- 24
- 23
- 11
- 10
- 9
- 9
- 8
- 6
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 160
- 61
- 56
- 34
- 34
- 22
- 22
- 21
- 20
- 19
- 19
- 17
- 15
- 14
- 14
- 13
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
346 Results
Adaptive Configuration Meta-Model of a Guidance ProcessInternational journal of computer science & information technology (IJCSIT), 2016
Journal articles
hal-01684425v1
|
|||
Handling the Dynamic Reconfiguration of Software Architectures using Intelligent Agents,International conference on Intelligent Information Processing, Security and Advanced Communication (IPAC'2015), published by ACM, 2015, Batna, Algeria
Conference papers
hal-01687624v1
|
|||
New approach for smart composition of mobile applications,CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, Souk Ahras, Algeria
Conference papers
hal-01687646v1
|
|||
Meta-Evolution Style for Software Architecture EvolutionSOFSEM 42th International Conference on Current Trends in Theory and Practice of Computer Science-LNCS, 2016, Harrachov, Czech Republic
Conference papers
hal-01685168v1
|
|||
|
Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013
Journal articles
hal-00813675v2
|
||
|
Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles
hal-00939239v1
|
||
|
A model introducing SOAs quality attributes decompositionThe International Conference on Software Engineering and Knowledge Engineering, Aug 2012, San Francisco, United States
Conference papers
hal-00991580v1
|
||
|
SOAQE - Service Oriented Architecture Quality EvaluationENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland
Conference papers
hal-00991591v1
|
||
A Mechanically Proved Development Combining B Abstract Systems and SpinFourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Conference papers
hal-00421162v1
|
|||
Evolution Shelf: Reusing Evolution Expertise within Component-Based Software ArchitecturesCOMPSAC: Computer Software and Applications Conference, Jul 2008, Turku, Finland. pp.311-318, ⟨10.1109/COMPSAC.2008.104⟩
Conference papers
hal-00456002v1
|
|||
An Architecture-based Model for Software EvolutionWSEAS Transactions on Information Science and Applications, 2004, 1 (67), pp.1713--1720
Journal articles
hal-00446415v1
|
|||
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Conference papers
hal-00423658v1
|
||
Amélioration de la qualité de modèles: Une étude de deux approches complémentairesTechnique et Science Informatiques (TSI)- Numéro Spécial IDM, 2010, (c) Lavoisier, 2010, pp.571-599
Journal articles
hal-00484117v1
|
|||
|
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Conference papers
hal-00420050v1
|
||
Transformation des concepts architecturaux en UML 2.0Congrès International en Informatique Appliqué, 2005, Bordj Bou Arréridj, Algérie, Algérie. pp.195--201
Conference papers
hal-00457832v1
|
|||
Poster : Comparaison de modèles filtrée pour le test de transformations de modèlesJournées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Conference papers
hal-00920300v1
|
|||
|
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Conference papers
hal-00642345v1
|
||
Toward the Definition of the Loose Coupling Notion in a Composite Service2010 Second International Conference on Computer Engineering and Applications (ICCEA), Mar 2010, Indonesia. pp.339 - 343
Conference papers
hal-00486122v1
|
|||
Toward the denition of a many-to-many service discovery approachSEDE 2010 19th Software Engineering and Data Engineering, Jun 2010, San Francisco, United States
Conference papers
hal-00486126v1
|
|||
Re-ingénierie, migration et rénovation logicielle inter-paradigmes : de l'objet vers les composantsEvolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
Book sections
hal-00486354v1
|
|||
Software Component Reengineering for their Context-Aware Deployment in Ubiquitous EnvironmentsThird International ERCIM Symposium on Software Evolution, Oct 2007, Paris, France
Conference papers
hal-00486372v1
|
|||
Software Component Re-engineering for their Runtime Structural Adaptation31st IEEE Computers, Software, and Applications Conference, Jul 2007, Beijing, China. pp.109-114
Conference papers
hal-00486384v1
|
|||
1ère Conférence francophone sur les Architectures Logicielleshermes, 2006
Books
hal-00486347v1
|
|||
La composition d'objets, de composants et de servicesHermes, 2010
Books
hal-00486338v1
|
|||
Un cadre pour la vérification de modèles UML2005
Other publications
hal-00458117v1
|
|||
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers
hal-00458121v1
|
|||
Application d'ontologies formelles au droitSDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Conference papers
hal-00458123v1
|
|||
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Conference papers
hal-00458200v1
|
|||
Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Conference papers
hal-00467549v1
|
|||
Auto-adaptation dans les architectures logicielles2005
Other publications
hal-00457847v1
|