Resultados de 1 a 10 de 91 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Software And Systems Modeling
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A formal component model for UML based on CSP aiming at compositional verificationFalcão, Flávia ; Lima, Lucas ; Sampaio, Augusto ; Antonino, PedroSoftware and systems modeling, 2023-10 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Execution of UML models: a systematic review of research and practiceCiccozzi, Federico ; Malavolta, Ivano ; Selic, BranSoftware and systems modeling, 2019-06, Vol.18 (3), p.2313-2360 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Uncertainty representation in software models: a surveyTroya, Javier ; Moreno, Nathalie ; Bertoa, Manuel F. ; Vallecillo, AntonioSoftware and systems modeling, 2021-08, Vol.20 (4), p.1183-1213 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Uncertainty-Wise Cyber-Physical System test modelingZhang, Man ; Ali, Shaukat ; Yue, Tao ; Norgren, Roland ; Okariz, OscarSoftware and systems modeling, 2019-04, Vol.18 (2), p.1379-1418 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Practitioners’ experiences with model-driven engineering: a meta-reviewVerbruggen, Charlotte ; Snoeck, MoniqueSoftware and systems modeling, 2023-02, Vol.22 (1), p.111-129 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Incorporating measurement uncertainty into OCL/UML primitive datatypesBertoa, Manuel F. ; Burgueño, Loli ; Moreno, Nathalie ; Vallecillo, AntonioSoftware and systems modeling, 2020-09, Vol.19 (5), p.1163-1189 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UMLCámara, Javier ; Troya, Javier ; Burgueño, Lola ; Vallecillo, AntonioSoftware and systems modeling, 2023-06, Vol.22 (3), p.781-793 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
OCLFO: first-order expressive OCL constraints for efficient integrity checkingFranconi, Enrico ; Mosca, Alessandro ; Oriol, Xavier ; Rull, Guillem ; Teniente, ErnestSoftware and systems modeling, 2019-08, Vol.18 (4), p.2655-2678 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Design and evaluation of a collaborative UML modeling environment in virtual realityYigitbas, Enes ; Gorissen, Simon ; Weidmann, Nils ; Engels, GregorSoftware and systems modeling, 2023-10, Vol.22 (5), p.1397-1425 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A model-based architecture for interactive run-time monitoringHili, Nicolas ; Bagherzadeh, Mojtaba ; Jahed, Karim ; Dingel, JuergenSoftware and systems modeling, 2020-07, Vol.19 (4), p.959-981 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 91 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Software Engineering (86)
- Programming Techniques (86)
- Programming Languages (86)
- Interpreters (86)
- Information Systems Applications (86)
- Software Engineering/programming And Operating Systems (86)
- Compilers (86)
- It In Business (86)
- Uml (57)
- Regular Paper (56)
- Software (30)
- Computer Programs (22)
- Unified Modeling Language (20)
- Special Section Paper (17)
- Modelling (16)
- Semantics (15)
-
Mais opções
Data de Publicação
- Antes de2009 (12)
- 2009Até2011 (16)
- 2012Até2014 (13)
- 2015Até2018 (24)
- Após 2018 (27)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Journals All 2022 (91)
- EBSCOhost Computers and Applied Sciences Complete (91)
- Springer Online Journals (91)
- Academic Search Premier (EB_SDU_P3) (91)
- Science Citation Index Expanded (Web of Science) (87)
- Springer Nature OA Free Journals (14)
- Recercat (3)
- METADEX (1)
- Materials Research Database (1)
-
Mais opções
Nome da Publicação
- Software & Systems Modeling (7)
- Models, Acm/ieee International Conference On Model Driven Engineering Languages And Systems, 19, Emmsad, International Working Conference On Exploring Modeling Methods For Systems Analysis And Development, 23 (3)
- Tests And Proofs, Tap, International Conference On Tests And Proofs, 9, Staf, Software Technologies: Applications And Foundations, 2015, Modelling Foundations And Applications, Ecmfa, European Conference On Modelling Foundations And Applications, 11, Theory And Practice Of Model Transformations, Icmt, International Conferences On Model Transformations, 8 (1)
- Staf, Software Technologies: Applications And Foundations, 2016, Modelling Foundations And Applications, Ecmfa, European Conference On Modelling Foundations And Applications, 12, Icmt, International Conference On Theory And Practice Of Model Transformations, 2016, Bpmds, Workshop On Business Process Modeling, Development, And Support, 17 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 