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. Mathematical Logic and Formal Languages. Models and Principles. 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.