Resultados de 1 a 10 de 836 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:
Lista de Todas as Versões
Software And Systems Modeling
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
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 |
| 4 |
Material Type: Artigo
|
|
Unified verification and monitoring of executable UML specifications: A transformation-free approachBesnard, Valentin ; Teodorov, Ciprian ; Jouault, Frédéric ; Brun, Matthias ; Dhaussy, PhilippeSoftware and systems modeling, 2021-12, Vol.20 (6), p.1825-1855 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Aspectual templates in UML: Enhancing the semantics of UML templates in OCLVanwormhoudt, Gilles ; Caron, Olivier ; Carré, BernardSoftware and systems modeling, 2017-05, Vol.16 (2), p.469-497 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
How effective is UML modeling ?Chaudron, Michel R; V ; Heijstek, Werner ; Nugroho, AriadiSoftware and systems modeling, 2012-10, Vol.11 (4), p.571 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
| 7 |
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 |
| 8 |
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, 2024-06, Vol.23 (3), p.765-798 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
An executable formal semantics for UML-RTPosse, Ernesto ; Dingel, JuergenSoftware and systems modeling, 2016-02, Vol.15 (1), p.179-217 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
On challenges of model transformation from UML to AlloyAnastasakis, Kyriakos ; Bordbar, Behzad ; Georg, Geri ; Ray, IndrakshiSoftware and systems modeling, 2010, Vol.9 (1), p.69-86 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
Resultados de 1 a 10 de 836 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
- Computer Science (720)
- Software Engineering (706)
- Computer Science, Software Engineering (695)
- Programming Languages (695)
- Science & Technology (695)
- Technology (695)
- Programming Techniques (691)
- Interpreters (691)
- Information Systems Applications (691)
- Software Engineering/programming And Operating Systems (691)
- Compilers (691)
- It In Business (691)
- Regular Paper (286)
- Software (234)
- Computer Programs (199)
- Special Section Paper (175)
- Modelling (163)
- Semantics (128)
- Transformations (118)
- Mathematical Models (90)
-
Mais opções
Data de Publicação
- Antes de2005 (57)
- 2005Até2008 (83)
- 2009Até2012 (115)
- 2013Até2017 (193)
- Após 2017 (389)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Journals All 2022 (836)
- Academic Search Premier (EB_SDU_P3) (836)
- Springer journals (836)
- Computers & Applied Sciences Complete (EBSCO) (823)
- Science Citation Index Expanded (Web of Science) (631)
- Springer Open Access (157)
- Recercat (6)
- Materials Research Database (2)
- METADEX (1)
-
Mais opções
Nome da Publicação
- Software & Systems Modeling (95)
- 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 (9)
- 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 (9)
- 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 (7)
- Softw. Syst. Model (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 