Works matching DE "COM (Computer architecture)"


Results: 23
    1
    2
    3
    4
    5
    6

    SOFTWARE CORRECTNESS VERIFICATION BY CONTRACT.

    Published in:
    Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2014, v. 7, n. 56-1, p. 131
    By:
    • NĂNĂU, Corina-Ştefania
    Publication type:
    Article
    7
    8
    9
    10
    11
    12
    13

    Software Component Models.

    Published in:
    IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 709, doi. 10.1109/TSE.2007.70726
    By:
    • Kung-Kiu Lau;
    • Zheng Wang
    Publication type:
    Article
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23