Filtrer vos résultats
- 122
- 45
- 107
- 25
- 14
- 9
- 6
- 3
- 1
- 1
- 1
- 158
- 5
- 2
- 2
- 1
- 22
- 3
- 1
- 2
- 4
- 13
- 11
- 35
- 24
- 32
- 22
- 5
- 3
- 2
- 1
- 1
- 4
- 3
- 1
- 158
- 9
- 167
- 14
- 12
- 10
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 112
- 22
- 15
- 14
- 12
- 12
- 12
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
167 résultats
|
|
A Logic for the Statistical Model Checking of Dynamic Software ArchitecturesISoLA, Oct 2016, Corfou, Greece. pp.806 - 820, ⟨10.1007/978-3-319-47166-2_56⟩
Communication dans un congrès
hal-01387429v1
|
||
|
|
Statistical Model Checking of Dynamic Software ArchitecturesECSA 2016 - 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark
Communication dans un congrès
hal-01390707v1
|
||
Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code EnhancementsSpringer, 20 (5), 2014, International Journal of Universal Computer Science (J.UCS)
Ouvrages
hal-01114148v1
|
|||
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic SystemsThe Computer Journal, 2017, 60 (9), pp.1363-1381. ⟨10.1093/comjnl/bxx008⟩
Article dans une revue
hal-01442597v1
|
|||
A Genetic Algorithm-Based Approach for Automated Refactoring of Component-Based SoftwareInformation and Software Technology, 2017, 88, pp.17 - 36. ⟨10.1016/j.infsof.2017.03.009⟩
Article dans une revue
hal-01705479v1
|
|||
SysADL: A SysML Profile for Software Architecture Description7th European Conference on Software Architecture (ECSA 2013), Jul 2013, Montpellier, France. pp.106-113
Communication dans un congrès
hal-00913494v1
|
|||
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code EnhancementsJournal of Universal Computer Science, 2014, 20 (5), pp.586
Article dans une revue
hal-01113152v1
|
|||
Reference ArchitecturesSoftware Architecture: Principles, Techniques, and Tool, John Wiley & Sons, pp.101-122, 2014
Chapitre d'ouvrage
hal-00913505v1
|
|||
RARep: a Reference Architecture Repository28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016), Jul 2016, Redwood, United States. pp.363-368
Communication dans un congrès
hal-01432702v1
|
|||
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
Communication dans un congrès
hal-01433093v1
|
|||
A mission-oriented approach for designing system-of-systems Proceedings of the 10th IEEE System-of-Systems Engineering Conference (SoSE 2015), IEEE, May 2015, San Antonio, Texas, United States. pp.346-351, ⟨10.1109/SYSOSE.2015.7151951⟩
Communication dans un congrès
hal-01441152v1
|
|||
Bridging Missions and Architecture in Software-intensive Systems-of-SystemsProceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. pp.201-206
Communication dans un congrès
hal-01441440v1
|
|||
Experience Report and Challenges for Systems-of-Systems Engineering: A Real Case in the Brazilian Defense DomainProceedings of the 10th CBSOFT Workshop on Distributed Development of Software, Software Ecosystems, and Systems-of-Systems (WDES), Sep 2016, Maringa, Brazil
Communication dans un congrès
hal-01492942v1
|
|||
|
|
Towards an MDE Methodology to Develop Multi-Agents Systems Including Mobile Agents8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Jul 2013, Angers, France. pp.45-55
Communication dans un congrès
hal-00908558v1
|
||
|
|
Modeling System of Systems configurations2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.392-399
Communication dans un congrès
hal-02021350v1
|
||
Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9
Communication dans un congrès
hal-01191618v1
|
|||
|
|
Safe reconfiguration of Coqcots and Pycots componentsJournal of Systems and Software, 2016, 122, pp.430-444. ⟨10.1016/j.jss.2015.11.039⟩
Article dans une revue
hal-01235602v1
|
||
Deriving Coupling Metrics from Call GraphsTenth IEEE International Working Conference on Source Code Analysis and Manipulation, Sep 2010, Timişoara, Romania. pp.43-52
Communication dans un congrès
hal-00511824v1
|
|||
|
|
From Object-Oriented Applications to Component-Oriented Applications via Component-Oriented Architecture9th Working IEEE/IFIP Conference on Software Architecture (WICSA'11), Jun 2011, Boulder, United States. pp.214-223
Communication dans un congrès
hal-00664851v1
|
||
Investigating the Model-Driven Development for Systems-of-SystemsProceedings of the 2014 European Conference on Software Architecture Workshops (ECSAW), Aug 2014, Vienna, Austria. pp.8
Communication dans un congrès
hal-01113186v1
|
|||
Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements of the International Journal of Universal Computer Science2014
Autre publication scientifique
hal-01114154v1
|
|||
Validating Emergent Behaviors in Systems-of-Systems through Model TransformationsProceedings of the ACM PhD Student Research Competition at MODELS 2016 co-located with the 19th International Conference on Model Driven Engineering Languages and Systems , Oct 2016, St. Malo, France
Communication dans un congrès
hal-01443187v1
|
|||
Architecting IoT Applications with SysADL2017 IEEE International Conference on Software Architecture Workshops (ICSAW), Apr 2017, Gothenburg, France. pp.92-99
Communication dans un congrès
hal-02132111v1
|
|||
Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL2017 12th System of Systems Engineering Conference (SoSE), Jun 2017, Waikoloa, United States. pp.1-6
Communication dans un congrès
hal-02132121v1
|
|||
|
|
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-SystemsERCIM News, 2015, 102
Article dans une revue
hal-01242651v1
|
||
Proceedings of the 4th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2016)2016
Ouvrages
hal-01441206v1
|
|||
Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)ACM, 2015
Ouvrages
hal-01441064v1
|
|||
|
|
Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Communication dans un congrès
hal-01666389v1
|
||
|
|
Assisting the evolutionary development of SoS with reconfiguration patternsSustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA), Nov 2016, Copenhagen, Denmark. pp.9, ⟨10.1145/2993412.3004845⟩
Communication dans un congrès
hal-01421487v1
|
||
|
|
Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesMODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Communication dans un congrès
hal-01693939v1
|