Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 1
Results: 7
Functional prototypes for generic C ++ libraries: a transformational approach based on higher-order, typed signatures.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 91, doi. 10.1007/s10009-014-0299-0
- By:
- Publication type:
- Article
Real-time specifications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x
- By:
- Publication type:
- Article
Termination proofs for linear simple loops.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 47, doi. 10.1007/s10009-013-0288-8
- By:
- Publication type:
- Article
A systematic review of state-based test tools.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0
- By:
- Publication type:
- Article
A construction and minimization service for continuous probability distributions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 77, doi. 10.1007/s10009-013-0296-8
- By:
- Publication type:
- Article
Testing abstract behavioral specifications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 107, doi. 10.1007/s10009-014-0301-x
- By:
- Publication type:
- Article
Assessing the effects of introducing a new software development process: a methodological description.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 1, doi. 10.1007/s10009-013-0275-0
- By:
- Publication type:
- Article