Cavalcanti, Ana.

概要

作品:	0 作品在 3 項出版品 1 種語言

書目資訊

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) (書目-語言資料,印刷品)

Software engineering for robotics by: Cavalcanti, Ana.; SpringerLink (Online service); Woodcock, Jim.; Timmis, Jon.; Dongol, Brijesh.; Hierons, Rob. (書目-電子資源)

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 :) (書目-電子資源)

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: Cavalcanti, Ana.; SpringerLink (Online service); FASE (Conference) (2024 :); ETAPS (Conference) (2024 :); Beyer, Dirk. (書目-電子資源)

主題

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Natural Language Processing (NLP) Computer programs- Reliability Logics and Meanings of Programs. 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. Computer Science. Computer software- Verification Computer software- Reliability Computer System Implementation. Computer programs- Verification Robotics and Automation.