Cavalcanti, Ana.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: Cavalcanti, Ana.; SpringerLink (Online service) (Language materials, printed)

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

Critical systems = formal 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: International Workshop on Formal Methods for Industrial Critical Systems (2017 :); Petrucci, Laure.; Seceleanu, Cristina.; Cavalcanti, Ana.; SpringerLink (Online service); International Workshop on Automated Verification of Critical Systems (2017 :) (Electronic resources)

Fundamental approaches to software engineering = 27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings / by: Beyer, Dirk.; Cavalcanti, Ana.; SpringerLink (Online service); ETAPS (Conference) (2024 :); FASE (Conference) (2024 :) (Electronic resources)

The practice of formal methods = essays in honour of Cliff Jones.. Part I / by: Cavalcanti, Ana.; Baxter, James.; Jones, C. B.; SpringerLink (Online service) (Electronic resources)

The practice of formal methods = essays in honour of Cliff Jones.. Part II / by: Cavalcanti, Ana.; Baxter, James.; Jones, C. B.; SpringerLink (Online service) (Electronic resources)

Subjects

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Natural Language Processing (NLP) Computer programs- Reliability Logics and Meanings of Programs. Programming Language. Computation by Abstract Devices. Robotics. Operating Systems. Control Structures and Microprogramming. Computer programming Computer science- Mathematics Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Software engineering. Formal Languages and Automata Theory. Computer Science. Computer software- Verification Computer software- Reliability Computer System Implementation. Computer programs- Verification Robotics and Automation.