Filtrer vos résultats
- 170
- 19
- 118
- 34
- 24
- 5
- 5
- 2
- 1
- 185
- 5
- 1
- 23
- 4
- 2
- 9
- 5
- 11
- 10
- 25
- 19
- 19
- 16
- 4
- 1
- 6
- 5
- 10
- 6
- 15
- 1
- 2
- 2
- 3
- 2
- 4
- 6
- 1
- 1
- 181
- 8
- 142
- 40
- 28
- 15
- 9
- 5
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 189
- 24
- 15
- 13
- 13
- 12
- 11
- 10
- 10
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
189 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
|
||
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
|
|||
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
|
|||
π-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
|
|||
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven ApproachICCSA 2021 - 21st International Conference on Computational Science and Its Applications, Sep 2021, Cagliari, Italy
Communication dans un congrès
hal-03584963v1
|
|||
Case Study on the Fuzzy Architecture Description of Cyber-Physical SoS under Uncertainty2021 16th International Conference of System of Systems Engineering (SoSE), Jun 2021, Västerås, Sweden. pp.61-68, ⟨10.1109/SOSE52739.2021.9497482⟩
Communication dans un congrès
hal-03585047v1
|
|||
Special Issue on Software Architecture, International Journal of Systems and Software, ElsevierJournal of Systems and Software, To Appear in 2010, 2010
Ouvrages
hal-00512576v1
|
|||
Special Issue on Software Architecture Modeling, International Journal on Software and System Modeling, SpringerInternational Journal on Software and System Modeling, To Appear in 2010, 2010
Ouvrages
hal-00512577v1
|
|||
π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software ArchitecturesSoftware Engineering Notes, 2006, 31 (2), pp.1-19
Article dans une revue
hal-00512570v1
|
|||
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
|
|||
From Business Process Models to Service-Oriented Architectures: Formal Development of Dynamic Service Compositions with π-ADLJournal of the Brazilian Computer Society, 2010, To Appear in 2010
Article dans une revue
hal-00512567v1
|
|||
π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service CompositionsSecond Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2008), Aug 2008, Porto Alegre, Brazil. pp.1-14
Communication dans un congrès
hal-00514295v1
|
|||
Towards the Software Engineering CoreInternational Journal of Cooperative Information Systems, 2007, 16 (3-4), pp.333-340
Article dans une revue
hal-00512561v1
|
|||
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
|
|||
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
|
|||
π-Diapason : un langage pour la formalisation des architectures orientées services WebPremière Conférence Francophone sur les Architectures Logicielles (CAL 2006), Hermès Sciences/Lavoisier, Sep 2006, Nantes, France. pp.119-127
Communication dans un congrès
hal-00514765v1
|
|||
A Formal Model-Driven Engineering Approach for Composable SimulationsXitong Fangzhen Xuebao/Acta Simulata Systematica Sinica, 2009, 21 (18), pp.1-10
Article dans une revue
hal-00512562v1
|
|||
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific ApproachFourteenth Asia-Pacific Software Engineering Conference (APSEC'07), Dec 2007, Nagoya, Japan. pp.568-568
Communication dans un congrès
hal-00514289v1
|
|||
|
|
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
|
|||
Evaluating a SysML-based Graphical Notation for Modeling Internet of Things System Architectures2020 IEEE 6th World Forum on Internet of Things (WF-IoT), Jun 2020, New Orleans, United States. pp.1-6, ⟨10.1109/WF-IoT48130.2020.9221497⟩
Communication dans un congrès
hal-03585028v1
|