Flexibility in modeling languages and tools: a call to arms.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 203, doi. 10.1007/s10009-009-0107-4
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 3
Results: 8
1
2
Satisfiability solving for software verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 255, doi. 10.1007/s10009-009-0105-6
- By:
- Publication type:
- Article
3
An automated testing experiment for layered embedded C code.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 175, doi. 10.1007/s10009-009-0108-3
- By:
- Publication type:
- Article
4
Encoding a process algebra using the Event B method.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 239, doi. 10.1007/s10009-009-0109-2
- By:
- Publication type:
- Article
5
Model checking C source code for embedded systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 187, doi. 10.1007/s10009-009-0106-5
- By:
- Publication type:
- Article
6
Formalizing interoperability for test case generation purpose.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 261, doi. 10.1007/s10009-009-0103-8
- By:
- Publication type:
- Article
7
System-on-chip design by proof-based refinement.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 217, doi. 10.1007/s10009-009-0104-7
- By:
- Publication type:
- Article
8
Guest Editor’s introduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 3, p. 173, doi. 10.1007/s10009-009-0114-5
- By:
- Publication type:
- Article