TOWARDS MDE IMPROVEMENTS FROM INTEGRATED FORMAL VERIFICATIONS.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 89
- By:
- Publication type:
- Article
Works matching IS 1224869X AND DT 2012 AND VI 57 AND IP 1
Results: 8
1
2
A SOFTWARE REPOSITORY AND TOOLSET FOR EMPIRICAL RESEARCH.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 73
- By:
- Publication type:
- Article
3
A PROPOSED DSL FOR DATA INTENSIVE APPLICATION DEVELOPMENT.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 59
- By:
- Publication type:
- Article
4
A PRIMAL-DUAL INTERIOR POINT ALGORITHM FOR CONVEX QUADRATIC PROGRAMS.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 48
- By:
- Publication type:
- Article
5
PRINCIPLES OF ACTION SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 35
- By:
- Publication type:
- Article
6
DESIGNING AND IMPLEMENTING APPLICATIONS FOR HEARING-IMPAIRED CHILDREN.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 26
- By:
- Publication type:
- Article
7
SPECIAL ATTRIBUTES FOR DATABASE NORMAL FORMS DETERMINATION.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 16
- By:
- Publication type:
- Article
8
A MEMBRANE-IMMUNE ALGORITHM FOR SOLVING THE MULTIPLE 0/1 KNAPSACK PROBLEM.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 1, p. 3
- By:
- Publication type:
- Article