Works matching IS 17366046 AND DT 2013 AND VI 62 AND IP 1
Results: 8
Adjusting effort estimation using micro-productivity profiles.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 71, doi. 10.3176/proc.2013.1.08
- By:
- Publication type:
- Article
Bounded saturation-based CTL model checking.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 59, doi. 10.3176/proc.2013.1.07
- By:
- Publication type:
- Article
Does the Shannon bound really apply to all data structures?
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 47, doi. 10.3176/proc.2013.1.06
- By:
- Publication type:
- Article
An approach to the inference of finite state machines based on a gravitationally-inspired search algorithm.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 39, doi. 10.3176/proc.2013.1.05
- By:
- Publication type:
- Article
DPF Workbench: a multi-level language workbench for MDE.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 3, doi. 10.3176/proc.2013.1.02
- By:
- Publication type:
- Article
Implementing artificial intelligence: a generic approach with software support.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 27, doi. 10.3176/proc.2013.1.04
- By:
- Publication type:
- Article
Interleaving human and search-based software architecture design.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 16, doi. 10.3176/proc.2013.1.03
- By:
- Publication type:
- Article
Preface.
- Published in:
- Proceedings of the Estonian Academy of Sciences, 2013, v. 62, n. 1, p. 1, doi. 10.3176/proc.2013.1.01
- By:
- Publication type:
- Article