Breitman, Karin.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Conversations around semiotic engineering by: Breitman, Karin.; Barbosa, Simone Diniz Junqueira.; SpringerLink (Online service) (Language materials, printed)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Breitman, Karin. (Language materials, printed)

Subjects

Software Engineering. Formal methods (Computer science) Algorithm Analysis and Problem Complexity. Language Translation and Linguistics. Human-computer interaction. Natural language processing (Computer science) User Interfaces and Human Computer Interaction. Software engineering Semiotics. Programming Techniques. Computer Science. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Models and Principles.