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
π-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
|
|||
|
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
|
|||
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
|
|||
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
|
|||
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADLProceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01443130v1
|
|||
Special Issue on Software ArchitectureSpringer, 12 (2), 2013, International Journal on Software and System Modeling (SoSyM), 1619-1366
Ouvrages
hal-00913477v1
|
|||
The State-of-the-Art and Future Perspectives in Systems-of-Systems Software ArchitecturesFirst International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013), Jul 2013, France. pp.13-20
Communication dans un congrès
hal-00913493v1
|
|||
Automating the Discovery of Services for Service-Oriented Robotic Systems11th Latin-American Robotics Symposium (LARS'2014), Oct 2014, São Carlos, Brazil
Communication dans un congrès
hal-01114162v1
|
|||
A Quality Model for AAL Software SystemsIEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), Jun 2016, Belfast, Northern Ireland, United Kingdom. pp.175-180, ⟨10.1109/CBMS.2016.46⟩
Communication dans un congrès
hal-01429106v1
|
|||
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems9th Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), Sep 2015, Belo Horizonte, Brazil. pp.70-79, ⟨10.1109/SBCARS.2015.18⟩
Communication dans un congrès
hal-01432705v1
|
|||
Variability Viewpoint to Describe Reference Architectures3rd International Workshop on Variability in Software Architecture (VARSA co-located with WICSA), Apr 2014, Sydney, Australia. pp.6
Communication dans un congrès
hal-01113192v1
|
|||
|
Automating Cataloging and Discovery of Services for Service-Oriented Robotic SystemsDoctoral. 11th Latin American Robotics Symposium (LARS), São Carlos, Brazil. 2014, pp.20
Cours
cel-01113218v1
|
||
Les architectures logiciellesEncyclopédie de l'informatique et des systèmes d'information, Vuibert, Editions Vuibert, pp.1085-1096, 2006
Chapitre d'ouvrage
hal-00514268v1
|
|||
An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented ArchitectureEighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.234-241
Communication dans un congrès
hal-00514272v1
|
|||
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid ApplicationsEighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.322-330
Communication dans un congrès
hal-00514276v1
|
|||
π-ADL Visual Notation and its Application to Formally Modelling the High Level ArchitectureNineteenth International Conference on Software and Systems Engineering and their Applications (ICSSEA 2006), Dec 2006, Paris, France. pp.1-10
Communication dans un congrès
hal-00514284v1
|
|||
Software Agents for bringing cooperating software-intensive processes under quantitative control using fuzzy setsMany Facets of Process Engineering MFPE'99, May 1999, Garmath, Tunisia
Communication dans un congrès
hal-04476138v1
|
|||
On the Application of Fuzzy Sets Theory on the Monitoring of Software-Intensive ProcessesEight International Fuzzy Systems Association World Congress (IFSA’99), National Tsing Hua University National Central University Chinese Fuzzy Systems Association T (CFSAT), Aug 1999, Taipei, Taiwan
Communication dans un congrès
hal-04476143v1
|