ask others

International Journal on Software Tools for Technology Transfer, Volume 20

> Home > Journals > International Journal on Software Tools for Technology Transfer

Volume 20, Number 1, February 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/JaberFDAE18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/JaberFDAE18
Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji:
A high-level modeling language for the efficient design, implementation, and testing of Android applications. 1-18
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/BoukhariJAB18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/BoukhariJAB18
Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche:
The role of user requirements in data repository design. 19-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/UlyantsevBS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/UlyantsevBS18
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact finite-state machine identification from scenarios and temporal properties. 35-55
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HolmesGPMAKO18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HolmesGPMAKO18
Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
TSTL: the template scripting testing language. 57-78
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HoxhaDF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HoxhaDF18
Bardh Hoxha, Adel Dokhanchi, Georgios E. Fainekos:
Mining parametric temporal logic properties in model-based design for cyber-physical systems. 79-93
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/PantelicPLJMKBO18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/PantelicPLJMKBO18
Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng:
Software engineering practices and Simulink: bridging the gap. 95-117

Volume 20, Number 2, April 2018

TACAS 2016

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Mateescu18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Mateescu18
Radu Mateescu:
Recent advances in interactive and automated analysis. 119-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/FaithfullBTT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/FaithfullBTT18
Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink:
Coqoon - An IDE for interactive proof development in Coq. 125-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GrovL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GrovL18
Gudmund Grov, Yuhui Lin:
The Tinker tool for graphical tactic development. 139-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DijkP18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DijkP18
Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. 157-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KleinBCDDKMM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KleinBCDDKMM18
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller:
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. 179-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KwiatkowskaPW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KwiatkowskaPW18
Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. 195-210

Regular article

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Tran-JorgensenL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Tran-JorgensenL18
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens:
Automated translation of VDM to JML-annotated Java. 211-235

maintained by

at