ReP USP - Resultado da busca

Trabalho de evento
Implementing rigorous web services with process algebra: navigation plan for web services (2009)
Rodrigues, Mauricio Chui; Malkowski, Simon; Ferreira, João Eduardo
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: SISTEMAS DE INFORMAÇÃO, WORLD WIDE WEB
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUES, Mauricio Chui e MALKOWSKI, Simon e FERREIRA, João Eduardo. Implementing rigorous web services with process algebra: navigation plan for web services. 2009, Anais.. New York: ACM, 2009. Disponível em: https://doi.org/10.1145/1529282.1529413. Acesso em: 07 jun. 2024.
APA
Rodrigues, M. C., Malkowski, S., & Ferreira, J. E. (2009). Implementing rigorous web services with process algebra: navigation plan for web services. In Proceedings. New York: ACM. doi:10.1145/1529282.1529413
NLM
Rodrigues MC, Malkowski S, Ferreira JE. Implementing rigorous web services with process algebra: navigation plan for web services [Internet]. Proceedings. 2009 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1529282.1529413
Vancouver
Rodrigues MC, Malkowski S, Ferreira JE. Implementing rigorous web services with process algebra: navigation plan for web services [Internet]. Proceedings. 2009 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1529282.1529413
Trabalho de evento
Dynamic support to transactional remote invocations over multiple transports (2008)
Reverbel, Francisco Carlos da Rocha ; Silva Neto, Ivan
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REVERBEL, Francisco Carlos da Rocha e SILVA NETO, Ivan. Dynamic support to transactional remote invocations over multiple transports. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363809. Acesso em: 07 jun. 2024.
APA
Reverbel, F. C. da R., & Silva Neto, I. (2008). Dynamic support to transactional remote invocations over multiple transports. In Proceedings. New York: ACM. doi:10.1145/1363686.1363809
NLM
Reverbel FC da R, Silva Neto I. Dynamic support to transactional remote invocations over multiple transports [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363809
Vancouver
Reverbel FC da R, Silva Neto I. Dynamic support to transactional remote invocations over multiple transports [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363809
Trabalho de evento
Towards verification and testing of Java programs (2008)
Melo, Ana Cristina Vieira de; Nunes, Paulo Roberto de Araújo França; Xavier, Kleber da Silva
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e NUNES, Paulo Roberto de Araújo França e XAVIER, Kleber da Silva. Towards verification and testing of Java programs. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363858. Acesso em: 07 jun. 2024.
APA
Melo, A. C. V. de, Nunes, P. R. de A. F., & Xavier, K. da S. (2008). Towards verification and testing of Java programs. In Proceedings. New York: ACM. doi:10.1145/1363686.1363858
NLM
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363858
Vancouver
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363858
Trabalho de evento
A formal architectural model for exception handling coordination (2008)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Assunto: ARQUITETURA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. A formal architectural model for exception handling coordination. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363716. Acesso em: 07 jun. 2024.
APA
Pereira, D. P., & Melo, A. C. V. de. (2008). A formal architectural model for exception handling coordination. In Proceedings. New York: ACM. doi:10.1145/1363686.1363716
NLM
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363716
Vancouver
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363716
Trabalho de evento
Borboleta: a mobile telehealth system for primary homecare (2008)
Correia, Rafael; Kon, Fabio ; Kon, Rubens
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidades: IME, FM
Subjects: COMPUTAÇÃO MÓVEL, TELEMEDICINA, CUIDADOS DOMICILIARES DE SAÚDE, MEDICINA PREVENTIVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORREIA, Rafael e KON, Fabio e KON, Rubens. Borboleta: a mobile telehealth system for primary homecare. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363998. Acesso em: 07 jun. 2024.
APA
Correia, R., Kon, F., & Kon, R. (2008). Borboleta: a mobile telehealth system for primary homecare. In Proceedings. New York: ACM. doi:10.1145/1363686.1363998
NLM
Correia R, Kon F, Kon R. Borboleta: a mobile telehealth system for primary homecare [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363998
Vancouver
Correia R, Kon F, Kon R. Borboleta: a mobile telehealth system for primary homecare [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363998
Trabalho de evento
Using annotations in the naked objects framework to explore data requirements (2008)
Broinizi, Marcos Eduardo Bolelli; Ferreira, João Eduardo ; Goldman, Alfredo
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: MÉTODOS ÁGEIS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BROINIZI, Marcos Eduardo Bolelli e FERREIRA, João Eduardo e GOLDMAN, Alfredo. Using annotations in the naked objects framework to explore data requirements. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363838. Acesso em: 07 jun. 2024.
APA
Broinizi, M. E. B., Ferreira, J. E., & Goldman, A. (2008). Using annotations in the naked objects framework to explore data requirements. In Proceedings. New York: ACM. doi:10.1145/1363686.1363838
NLM
Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363838
Vancouver
Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363838
Trabalho de evento
Using process algebra to control the execution of business processes (2008)
Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Pu, Calton
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: ÁLGEBRA, CONTROLE DE PROCESSOS, SISTEMAS DE INFORMAÇÃO GERENCIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. Using process algebra to control the execution of business processes. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363720. Acesso em: 07 jun. 2024.
APA
Braghetto, K. R., Ferreira, J. E., & Pu, C. (2008). Using process algebra to control the execution of business processes. In Proceedings. New York: ACM. doi:10.1145/1363686.1363720
NLM
Braghetto KR, Ferreira JE, Pu C. Using process algebra to control the execution of business processes [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363720
Vancouver
Braghetto KR, Ferreira JE, Pu C. Using process algebra to control the execution of business processes [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1363720
Trabalho de evento
HIV drug resistance analysis tool based on process algebra (2008)
Araújo, Luciano Vieira de ; Sabino, Ester Cerdeira ; Ferreira, João Eduardo
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidades: FM, IME, BIOINFORMÁTICA
Subjects: ÁLGEBRA, HIV, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Luciano Vieira de e SABINO, Ester Cerdeira e FERREIRA, João Eduardo. HIV drug resistance analysis tool based on process algebra. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364001. Acesso em: 07 jun. 2024.
APA
Araújo, L. V. de, Sabino, E. C., & Ferreira, J. E. (2008). HIV drug resistance analysis tool based on process algebra. In Proceedings. New York: ACM. doi:10.1145/1363686.1364001
NLM
Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1364001
Vancouver
Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1363686.1364001
Trabalho de evento
Using control-flow patterns for specifying business processes in cooperative environments (2007)
Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Pu, Calton
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: ÁLGEBRA, SISTEMAS DE CONTROLE, GESTÃO POR PROCESSOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. Using control-flow patterns for specifying business processes in cooperative environments. 2007, Anais.. New York: ACM, 2007. Disponível em: https://doi.org/10.1145/1244002.1244270. Acesso em: 07 jun. 2024.
APA
Braghetto, K. R., Ferreira, J. E., & Pu, C. (2007). Using control-flow patterns for specifying business processes in cooperative environments. In Proceedings. New York: ACM. doi:10.1145/1244002.1244270
NLM
Braghetto KR, Ferreira JE, Pu C. Using control-flow patterns for specifying business processes in cooperative environments [Internet]. Proceedings. 2007 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1244002.1244270
Vancouver
Braghetto KR, Ferreira JE, Pu C. Using control-flow patterns for specifying business processes in cooperative environments [Internet]. Proceedings. 2007 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/1244002.1244270
Trabalho de evento
On the composition of Java frameworks control-flows (2003)
Melo, Ana Cristina Vieira de; Moutinho, Bruno Martins
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e MOUTINHO, Bruno Martins. On the composition of Java frameworks control-flows. 2003, Anais.. New York: ACM, 2003. Disponível em: https://doi.org/10.1145/952532.952747. Acesso em: 07 jun. 2024.
APA
Melo, A. C. V. de, & Moutinho, B. M. (2003). On the composition of Java frameworks control-flows. In Proceedings. New York: ACM. doi:10.1145/952532.952747
NLM
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/952532.952747
Vancouver
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2024 jun. 07 ] Available from: https://doi.org/10.1145/952532.952747

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Funding Agencies