Works matching DE "ARTIFICIAL languages"


Results: 796
    1
    2
    3
    4
    5
    6
    7
    8
    9
    12
    13

    Towards more positive environments.

    Published in:
    Babel: International Journal of Translation / Revue Internationale de la Traduction / Revista Internacional de Traducción, 2014, v. 60, n. 4, p. 464, doi. 10.1075/babel.60.4.04ech
    By:
    • Galván, Bruno Echauri
    Publication type:
    Article
    14

    LaTraduction Universitaire au Nigéria.

    Published in:
    Babel: International Journal of Translation / Revue Internationale de la Traduction / Revista Internacional de Traducción, 2004, v. 50, n. 2, p. 132, doi. 10.1075/babel.50.2.04bar
    By:
    • Bariki, Ozidi
    Publication type:
    Article
    15

    Data-abstraction refinement: a game semantic approach.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 5, p. 373, doi. 10.1007/s10009-010-0143-0
    By:
    • Bakewell, Adam;
    • Dimovski, Aleksandar;
    • Ghica, Dan;
    • Lazić, Ranko
    Publication type:
    Article
    16

    The software model checker B last.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 505, doi. 10.1007/s10009-007-0044-z
    By:
    • Beyer, Dirk;
    • Henzinger, Thomas;
    • Jhala, Ranjit;
    • Majumdar, Rupak
    Publication type:
    Article
    17

    An overview of JML tools and applications.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 212, doi. 10.1007/s10009-004-0167-4
    By:
    • Burdy, Lilian;
    • Cheon, Yoonsik;
    • Cok, David R.;
    • Ernst, Michael D.;
    • Kiniry, Joseph R.;
    • Leavens, Gary T.;
    • Leino, K. Rustan M.;
    • Poll, Erik
    Publication type:
    Article
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34

    A functional approach to natural language.

    Published in:
    Journal of Economic Development, Environment & People, 2022, v. 11, n. 3, p. 36, doi. 10.26458/jedep.v11i3.773
    By:
    • Plojović, Šemsudin A.;
    • Radu, Bucea-Manea-Tonis;
    • Kuleto, Valentin;
    • Adrian, Beteringhe;
    • Ilić, Milena P.
    Publication type:
    Article
    35
    36
    37
    38
    39
    40
    41
    42
    43

    Testing for refinement in Circus.

    Published in:
    Acta Informatica, 2011, v. 48, n. 2, p. 97, doi. 10.1007/s00236-011-0133-z
    By:
    • Cavalcanti, Ana;
    • Gaudel, Marie-Claude
    Publication type:
    Article
    44
    45
    46
    47
    48
    49
    50

    Swift vs. Objective-C: A New Programming Language.

    Published in:
    International Journal of Interactive Multimedia & Artificial Intelligence, 2015, v. 3, n. 3, p. 74, doi. 10.9781/ijimai.2015.3310
    By:
    • García, Cristian González;
    • Espada, Jordán Pascual;
    • G-Bustelo, B. Cristina Pelayo;
    • Lovelle, Juan Manuel Cueva
    Publication type:
    Article