Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 49



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service