Cavalcanti, Ana.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

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

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

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

FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (1998 :); Cavalcanti, Ana.; Dams, Dennis.; SpringerLink (Online service) (書目-電子資源)

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

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

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

主題

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.