Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Automated Prototype Generation From Formal Requirements ModelYang, Yilong ; Li, Xiaoshan ; Ke, Wei ; Liu, ZhimingIEEE transactions on reliability, 2020-06, Vol.69 (2), p.632-656 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Automatic test generation: a use case driven approachNebut, C. ; Fleurey, F. ; Le Traon, Y. ; Jezequel, J.-M.IEEE transactions on software engineering, 2006-03, Vol.32 (3), p.140-155 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
UML Templates DistilledFarinha, Jose ; da Silva, Alberto RodriguesIEEE access, 2022, Vol.10, p.8709-8727 [Periódico revisado por pares]Piscataway: IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Preliminary Steps Towards Modeling Blockchain Oriented SoftwareRocha, Henrique ; Ducasse, Stephane2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.52-57ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software MaintenanceDzidek, W.J. ; Arisholm, E. ; Briand, L.C.IEEE transactions on software engineering, 2008-05, Vol.34 (3), p.407-432 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
An Approach to Checking Consistency between UML Class Model and Its Java ImplementationChavez, Hector M. ; Shen, Wuwei ; France, Robert B. ; Mechling, Benjamin A. ; Li, GuangyuanIEEE transactions on software engineering, 2016-04, Vol.42 (4), p.322-344 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
A Comparison of Six UML-Based Languages for Software Process ModelingBendraou, Reda ; Jézéquel, Jean-Marc ; Gervais, Marie-Pierre ; Blanc, XavierIEEE transactions on software engineering, 2010-09, Vol.36 (5), p.662-675 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
A UML-based pattern specification techniqueFrance, R.B. ; Kim, D.-K. ; Sudipto Ghosh ; Song, E.IEEE transactions on software engineering, 2004-03, Vol.30 (3), p.193-206 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java SoftwareBriand, L.C. ; Labiche, Y. ; Leduc, J.IEEE transactions on software engineering, 2006-09, Vol.32 (9), p.642-663 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
UML Diagram Synthesis Techniques: A Systematic Mapping StudyTorre, Damiano ; Labiche, Yvan ; Genero, Marcela ; Baldassarre, Maria Teresa ; Elaasar, Maged2018 IEEE/ACM 10th International Workshop on Modelling in Software Engineering (MiSE), 2018, p.33-40ACMTexto completo disponível |