Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Data Analytics and Machine Learning Methods, Techniques and Tool for Model-Driven Engineering of Smart IoT ServicesMoin, Armin2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.287-292IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Using Domain-Specific Corpora for Improved Handling of Ambiguity in RequirementsEzzini, Saad ; Abualhaija, Sallam ; Arora, Chetan ; Sabetzadeh, Mehrdad ; Briand, Lionel C.2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1485-1497IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
AADL modelling with SysML v2Roger, Jean-Charles ; Dissaux, PierreACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.42-45New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/StateflowXu, Xiong ; Wang, Shuling ; Zhan, Bohua ; Jin, Xiangyu ; Zhan, Naijun ; Talpin, Jean-PierreACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.46-49New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Visibility of control in adaptive systemsMüller, Hausi ; Pezzè, Mauro ; Shaw, MaryInternational Conference on Software Engineering 2008, 2008, Vol.2008 (4), p.23-26New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Inferring Resource Specifications from Natural Language API DocumentationHao Zhong ; Lu Zhang ; Tao Xie ; Hong Mei2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.307-318IEEETexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Vetting undesirable behaviors in android apps with permission use analysisZhang, Yuan ; Yang, Min ; Xu, Bingquan ; Yang, Zhemin ; Gu, Guofei ; Ning, Peng ; Wang, X. Sean ; Zang, BinyuProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.611-622New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
FeatureMapper: mapping features to modelsHeidenreich, Florian ; Kopcsek, Jan ; Wende, ChristianCompanion of the 30th international conference on Software engineering, 2008, Vol.2008 (3), p.943-944New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Automated reporting of GUI design violations for mobile appsMoran, Kevin ; Li, Boyang ; Bernal-Cárdenas, Carlos ; Jelf, Dan ; Poshyvanyk, Denys2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.165-175New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Automatic Generation of Object Usage Specifications from Large Method TracesPradel, M. ; Gross, T.R.2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.371-382IEEETexto completo disponível |