Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 49



41
TÍTULO: An operational semantics for StAC, a language for modelling long-running business transactions
AUTORES: Butler, M; Ferreira, C ;
PUBLICAÇÃO: 2004, FONTE: 6th International Conference on Coordination Models and Languages (COORDINATION 2004) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2949
INDEXADO EM: Scopus WOS CrossRef: 56
NO MEU: ORCID | ResearcherID
42
TÍTULO: Model-based approaches for validating business critical systems
AUTORES: Augusto, J; Howard, Y; Gravell, A; Ferreira, C ; Gruner, S; Leuschel, M;
PUBLICAÇÃO: 2004, FONTE: 11th Annual International Workshop on Software Technology and Engineering Practice in ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS
INDEXADO EM: WOS
NO MEU: ResearcherID
43
TÍTULO: Model-based approaches for validating business critical systems
AUTORES: Augusto J.; Howard Y.; Gravell A.; Ferreira C. ; Gruner S.; Leuschel M.;
PUBLICAÇÃO: 2004, FONTE: Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
44
TÍTULO: The benefits of rapid modelling for E-business system development
AUTORES: Augusto, JC; Ferreira, C ; Gravell, AM; Leuschel, MA; Ng, KMY;
PUBLICAÇÃO: 2003, FONTE: 22nd International Conference on Conceptual Modeling (ER 2003) in CONCEPTUAL MODELING FOR NOVEL APPLICATION DOMAINS, PROCEEDINGS, VOLUME: 2814
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
45
TÍTULO: Using B refinement to analyse compensating business processes
AUTORES: Ferreira, C ; Butler, M;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on B and Z Users in ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, VOLUME: 2651
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
46
TÍTULO: Using SPIN and STeP to verify business processes specifications
AUTORES: Augusto, JC; Butler, M; Ferreira, C ; Craig, SJ;
PUBLICAÇÃO: 2003, FONTE: 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics in PERSPECTIVES OF SYSTEM INFORMATICS, VOLUME: 2890
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
47
TÍTULO: Extending the concept of transaction compensation
AUTORES: Chessell, M; Griffin, C; Vines, D; Butler, M; Ferreira, C ; Henderson, P;
PUBLICAÇÃO: 2002, FONTE: IBM SYSTEMS JOURNAL, VOLUME: 41, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef: 29
NO MEU: ORCID
48
TÍTULO: A process compensation language
AUTORES: Butler, M; Ferreira, C ;
PUBLICAÇÃO: 2000, FONTE: 2nd International Conference on Integrated Formal Methods (IFM 2000) in INTEGRATED FORMAL METHODS, PROCEEDINGS, VOLUME: 1945
INDEXADO EM: Scopus WOS CrossRef: 28
NO MEU: ORCID
49
TÍTULO: Automatic generation of C-code or PLD circuits under SFC graphical environment
AUTORES: Ferreira, C ; Monteiro, S; Monteiro, J ;
PUBLICAÇÃO: 1997, FONTE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
Página 5 de 5. Total de resultados: 49.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service