Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 1
Results: 6
Exact finite-state machine identification from scenarios and temporal properties.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 35, doi. 10.1007/s10009-016-0442-1
- By:
- Publication type:
- Article
TSTL: the template scripting testing language.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 57, doi. 10.1007/s10009-016-0445-y
- By:
- Publication type:
- Article
The role of user requirements in data repository design.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 19, doi. 10.1007/s10009-016-0443-0
- By:
- Publication type:
- Article
Mining parametric temporal logic properties in model-based design for cyber-physical systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 79, doi. 10.1007/s10009-017-0447-4
- By:
- Publication type:
- Article
Software engineering practices and Simulink: bridging the gap.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 95, doi. 10.1007/s10009-017-0450-9
- By:
- Publication type:
- Article
A high-level modeling language for the efficient design, implementation, and testing of Android applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 1, doi. 10.1007/s10009-016-0441-2
- By:
- Publication type:
- Article