Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Recurso Textual
|
Chaos Engineering of Ethereum Blockchain ClientsZhang, Long ; Javier, Ron ; Baudry, Benoit ; Monperrus, MartinarXiv.org, 2021Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Recurso Textual
|
Preface: Special issue on Software Engineering and Formal MethodsÖlveczky, Peter Csaba C ; Salaün, GwenSoftware and Systems Modeling, 2021, Vol.20 (2), p.291-292Springer VerlagTexto completo disponível |
|
3 |
Material Type: Recurso Textual
|
VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems' LogsFortz, Sophie ; Temple, Paul ; Devroey, Xavier ; Heymans, Patrick ; Perrouin, GillesEmpirical Software Engineering, 2024Springer VerlagTexto completo disponível |
|
4 |
Material Type: Recurso Textual
|
Le pillage de la communauté des logiciels libresO'Neil, Mathieu ; Muselli, Laure ; Pailler, Fred ; Zacchiroli, StefanoLe Monde Diplomatique, 2022, p.20-21Le MondeTexto completo disponível |
|
5 |
Material Type: Recurso Textual
|
AutomationXP 2021: Automation Experience at the Workplace 2021: Proceedings of the Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Online Workshop (originally Yokohama, Japan), May 7, 2021Baldauf, Matthias ; Fröhlich, Peter ; Sadeghian, Shadan ; Palanque, Philippe ; Roto, Virpi ; Ju, Wendy ; Baillie, Lynne ; Tscheligi, ManfredCEUR Workshop Proceedings, 2021, Vol.2905, p.1-180CEUR-WS.orgTexto completo disponível |
|
6 |
Material Type: Recurso Textual
|
Editorial : Software-intensive Systems-of-SystemsDrira, Khalil ; Cuesta, Carlos E.Science of Computer Programming, 2021, Vol.212 (102705)ElsevierTexto completo disponível |
|
7 |
Material Type: Recurso Textual
|
Special issue from PETRI NET 2016Kordon, Fabrice ; Moldt, DanielScience of Computer Programming, 2018, Vol.157ElsevierTexto completo disponível |
|
8 |
Material Type: Recurso Textual
|
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, ElenaElectronic Proceedings in Theoretical Computer Science, 2018, Vol.271EPTCSTexto completo disponível |
|
9 |
Material Type: Recurso Textual
|
Guest Editorial: Adaptive and reconfigurable service-oriented, cloud and virtualized architecturesBouassida Rodriguez, Ismael ; Drira, Khalil ; Jmaiel, MohamedIET Software, 2019, Vol.13 (1), p.1-2Institution of Engineering and Technology - HindawiTexto completo disponível |
|
10 |
Material Type: Recurso Textual
|
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)Gerostathopoulos, Ilias ; Prefoher, Christian ; Moessne, Klaus ; Raibulet, Claudia ; Pelliccione, Patrizio ; Fugini, Mariagrazia ; Moessner, Klaus ; Drira, Khalil ; Prehofer, ChristianSoftware Engineering Notes, 2019, Vol.43 (4), p.52-53Association for Computing MachineryTexto completo disponível |