Követés
Alexandre Mota
Alexandre Mota
Lecturer of Computer Science, Universidade Federal de Pernambuco
E-mail megerősítve itt: cin.ufpe.br - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Model-checking CSP-Z: strategy, tool support and industrial application
A Mota, A Sampaio
Science of computer programming 40 (1), 59-96, 2001
832001
NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcao, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Science of Computer Programming 95, 275-297, 2014
632014
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26, 441-490, 2014
592014
Guided test generation from CSP models
S Nogueira, A Sampaio, A Mota
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
502008
A semantics for UML-RT active classes via mapping into Circus
R Ramos, A Sampaio, A Mota
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 …, 2005
472005
Integrating UML and formal methods
RM Borges, AC Mota
Electronic Notes in Theoretical Computer Science 184, 97-112, 2007
442007
Towards property oriented testing
PDL Machado, DA Silva, AC Mota
Electronic Notes in Theoretical Computer Science 184, 3-19, 2007
392007
Model-checking CSP-Z
A Mota, A Sampaio
Fundamental Approaches to Software Engineering: First International …, 1998
351998
NAT2TEST tool: from natural language requirements to test cases based on CSP
G Carvalho, F Barros, A Carvalho, A Cavalcanti, A Mota, A Sampaio
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
342015
Test case generation from natural language requirements based on SCR specifications
G Carvalho, D Falcão, F Barros, A Sampaio, A Mota, L Motta, M Blackburn
Proceedings of the 28th annual ACM symposium on applied computing, 1217-1222, 2013
302013
A FRAX model for the estimation of osteoporotic fracture probability in Portugal.
A Marques, A Mota, H Canhão, JC Romeu, P Machado, A Ruano, ...
Acta reumatologica portuguesa 38 (2), 104-112, 2013
302013
Proteção de sistemas de energia elétrica
F Sato
UNICAMP: Faculdade de Engenharia Elétrica e de Computadores. Campinas, 2005
282005
An empirical evaluation of automated black box testing techniques for crashing guis
C Bertolini, G Peres, M d'Amorim, A Mota
2009 International Conference on Software Testing Verification and …, 2009
262009
Systematic development of trustworthy component systems
R Ramos, A Sampaio, A Mota
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
262009
Systematic model-based safety assessment via probabilistic model checking
A Gomes, A Mota, A Sampaio, F Ferri, J Buzzi
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
252010
Aiding exploratory testing with pruned gui models
J Reis, A Mota
Information Processing Letters 133, 49-55, 2018
242018
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings
H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira
SBLP 9, 117-130, 2009
242009
Compositional verification of input-output conformance via csp refinement checking
A Sampaio, S Nogueira, A Mota
Formal Methods and Software Engineering: 11th International Conference on …, 2009
222009
Model-based development of fault tolerant systems of systems
Z Andrews, R Payne, A Romanovsky, A Didier, A Mota
2013 IEEE International Systems Conference (SysCon), 356-363, 2013
212013
Class and capsule refinement in UML for real time
A Sampaio, A Mota, R Ramos
Electronic Notes in Theoretical Computer Science 95, 23-51, 2004
212004
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20