Resultados de 1 a 10 de 212 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
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Formalizing UML State Machines for Automated Verification – A SurveyAndré, Étienne ; Liu, Shuang ; Liu, Yang ; Choppy, Christine ; Sun, Jun ; Dong, Jin SongACM computing surveys, 2023-07, Vol.55 (13s), p.1-47, Article 277 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 2 |
Material Type: Livro
|
|
UML»’99 — The Unified Modeling Language: Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 ProceedingsFrance, Robert ; Rumpe, Bernhard France, Robert ; Rumpe, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
UML in practicePetre, Marian2013 35th International Conference on Software Engineering (ICSE), 2013, p.722-731IEEE PressTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Formal Methods in Railways: A Systematic Mapping StudyFerrari, Alessio ; Beek, Maurice H. TerACM computing surveys, 2022-11, Vol.55 (4), p.1-37, Article 69 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 5 |
Material Type: Livro
|
|
UML≫ 2000 — The Unified Modeling Language: Advancing the Standard Third International Conference York, UK, October 2–6, 2000 ProceedingsEvans, Andy ; Kent, Stuart ; Selic, Bran Evans, Andy ; Kent, Stuart ; Selic, BranBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
Verification and Validation of UML Conceptual Schemas with OCL ConstraintsQueralt, Anna ; Teniente, ErnestACM transactions on software engineering and methodology, 2012-03, Vol.21 (2), p.1-41 [Periódico revisado por pares]ACMTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case ModelsYue, Tao ; Briand, Lionel C ; Labiche, YvanACM transactions on software engineering and methodology, 2015-05, Vol.24 (3), p.1-52 [Periódico revisado por pares]ACMTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Comparison of Software Design Models: An Extended Systematic Mapping StudyGonçales, Lucian ; Farias, Kleinner ; Oliveira, Toacy ; Scholl, MuriloACM computing surveys, 2019-07, Vol.52 (3), p.1-41 [Periódico revisado por pares]Baltimore: ACMTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Knowledge Adaptive Multi-way Matching Network for Biomedical Named Entity Recognition via Machine Reading ComprehensionChen, Peng ; Wang, Jian ; Lin, Hongfei ; Zhang, Yijia ; Yang, ZhihaoIEEE/ACM transactions on computational biology and bioinformatics, 2023-05, Vol.20 (3), p.1-11 [Periódico revisado por pares]United States: IEEETexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Building an Open Representation for Biological ProtocolsBartley, Bryan ; Beal, Jacob ; Rogers, Miles ; Bryce, Daniel ; Goldman, Robert P. ; Keller, Benjamin ; Lee, Peter ; Biggers, Vanessa ; Nowak, Joshua ; Weston, MarkACM journal on emerging technologies in computing systems, 2023-07, Vol.19 (3), p.1-21 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
Resultados de 1 a 10 de 212 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
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (155)
- Artigos (51)
- Livros (6)
-
Mais opções
Assunto
- Computer Science (169)
- Technology (150)
- Science & Technology (148)
- Uml (140)
- Computer Science, Software Engineering (99)
- Unified Modeling Language (60)
- Software Engineering (40)
- Computer Science, Theory & Methods (30)
- Software (30)
- Engineering (28)
- Engineering, Electrical & Electronic (25)
- Computer Science, Information Systems (23)
- Design (21)
- Software And Its Engineering -- Software Creation And Management -- Designing Software (20)
- Computer Science, Hardware & Architecture (18)
- Exact Sciences And Technology (17)
- Applied Sciences (17)
- Computer Science; Control Theory; Systems (17)
- Java (16)
- Software And Its Engineering (15)
-
Mais opções
Data de Publicação
- Antes de2002 (17)
- 2002Até2006 (39)
- 2007Até2011 (65)
- 2012Até2017 (66)
- Após 2017 (26)
-
Mais opções
Base de Dados/Biblioteca
- EBSCOhost Computers and Applied Sciences Complete (63)
- IEEE Electronic Library (IEL) Conference Proceedings (44)
- Science Citation Index Expanded (Web of Science) (39)
- SpringerLINK Lecture Notes in Computer Science (2015) (6)
- SpringerLINK Lecture Notes in Computer Science (6)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (6)
- SpringerLink (Online service) (6)
- Springer Books (6)
- SpringerLink Books Lecture Notes in Computer Science Archive (5)
- EZB Electronic Journals Library (5)
- Springer Books Online Archive (5)
- Gale Academic OneFile (Gale Reference Complete) (4)
- EBSCOhost Business Source Complete (4)
- IEEE Electronic Library (IEL) Journals (3)
- ANTE: Abstracts in New Technology & Engineering (2)
- Aerospace Database (2)
- Engineered Materials Abstracts (1)
- Materials Business File (1)
- Aluminium Industry Abstracts (1)
-
Mais opções
Nome da Publicação
- Acm Transactions On Software Engineering And Methodology (10)
- Sigplan Notices (7)
- Formal Aspects Of Computing (5)
- Software Engineering Notes (4)
- Acm Transactions On Design Automation Of Electronic Systems (4)
- Acm Sigsoft Software Engineering Notes (4)
- Acm Transactions On Embedded Computing Systems (3)
- Acm Sigplan Notices (3)
- Ieee/acm Transactions On Computational Biology And Bioinformatics (3)
- Acm Computing Surveys (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 