Следене
Augusto Cesar Alves Sampaio
Augusto Cesar Alves Sampaio
UFPE - Universidade Federal de Pernambuco
Потвърден имейл адрес: cin.ufpe.br
Заглавие
Позовавания
Позовавания
Година
A Refinement Strategy for Circus
A Cavalcanti, A Sampaio, J Woodcock
Formal Aspects of Computing 15, 146-181, 2003
1842003
Normal form approach to compiler design
CAR Hoare, H Jifeng, A Sampaio
Acta informatica 30, 701-739, 1993
1441993
Algebraic reasoning for object-oriented programming
P Borba, A Sampaio, A Cavalcanti, M Cornélio
Science of Computer Programming 52 (1-3), 53-100, 2004
1132004
An algebraic approach to compiler design
A Sampaio
World Scientific, 1997
1061997
Refinement in Circus
A Sampaio, J Woodcock, A Cavalcanti
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
992002
Formal specification generation from requirement documents
G Cabral, A Sampaio
Electronic Notes in Theoretical Computer Science 195, 171-188, 2008
972008
Model-checking CSP-Z: strategy, tool support and industrial application
A Mota, A Sampaio
Science of computer programming 40 (1), 59-96, 2001
852001
Unifying classes and processes
A Cavalcanti, A Sampaio, J Woodcock
Software & Systems Modeling 4, 277-296, 2005
702005
NAT2TESTSCR: 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
Science of Computer Programming 95, 275-297, 2014
682014
A refinement algebra for object-oriented programming
P Borba, A Sampaio, M Cornélio
ECOOP 2003–Object-Oriented Programming: 17th European Conference, Darmstadt …, 2003
672003
A process algebraic framework for specification and validation of real-time systems
A Sherif, A Cavalcanti, H Jifeng, A Sampaio
Formal Aspects of Computing 22, 153-191, 2010
662010
Test generation from state based use case models
S Nogueira, A Sampaio, A Mota
Formal Aspects of Computing 26, 441-490, 2014
632014
Guided test generation from CSP models
S Nogueira, A Sampaio, A Mota
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
512008
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
482005
Towards provably correct hardware/software partitioning using OCCAM
E Barros, A Sampaio
Third International Workshop on Hardware/Software Codesign, 210-217, 1994
481994
A constructive approach to hardware/software partitioning
L Silva, A Sampaio, E Barros
Formal Methods in System Design 24, 45-90, 2004
472004
Refinement of actions in Circus
A Cavalcanti, A Sampaio, J Woodcock
Electronic notes in theoretical computer science 70 (3), 132-162, 2002
462002
Object-Orientation in the UTP
T Santos, A Cavalcanti, A Sampaio
Unifying Theories of Programming: First International Symposium, UTP 2006 …, 2006
442006
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
432019
A normal form reduction strategy for hardware/software partitioning
L Silva, A Sampaio, E Barros
International Symposium of Formal Methods Europe, 624-643, 1997
421997
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20