Cavalcanti, Ana.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (1998 :); Breitman, Karin.; Cavalcanti, Ana.; SpringerLink (Online service) (Electronic resources)

Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures / by: (1998 :); Cavalcanti, Ana.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim. (Electronic resources)

Theoretical Aspects of Computing - ICTAC 2006Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings / by: (1998 :); Barkaoui, Kamel.; Cavalcanti, Ana.; Cerone, Antonio.; SpringerLink (Online service) (Electronic resources)

FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (1998 :); Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service) (Electronic resources)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (1998 :); Cavalcanti, Ana.; SpringerLink (Online service) (Electronic resources)

Critical systemsformal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (1998 :); Cavalcanti, Ana.; Petrucci, Laure.; Seceleanu, Cristina.; SpringerLink (Online service) (Electronic resources)

Software engineering for robotics by: Cavalcanti, Ana.; Dongol, Brijesh.; Hierons, Rob.; SpringerLink (Online service); Timmis, Jon.; Woodcock, Jim. (Electronic resources)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Electronic data processing Logics and Meanings of Programs. Management of Computing and Information Systems. Programming Techniques. Computation by Abstract Devices. Computer software Algorithm Analysis and Problem Complexity. Robotics. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) System design Computer programming Special Purpose and Application-Based Systems. Software engineering. Models and Principles. Computer science Computer programs Computer Science. Computer Communication Networks. Information theory Robotics and Automation.