International Journal on Software Tools for Technology Transfer, Volume 20
Volume 20, Number 1, February 2018
- 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 - Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche:
The role of user requirements in data repository design. 19-34 - Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact finite-state machine identification from scenarios and temporal properties. 35-55 - Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
TSTL: the template scripting testing language. 57-78 - Bardh Hoxha, Adel Dokhanchi, Georgios E. Fainekos:
Mining parametric temporal logic properties in model-based design for cyber-physical systems. 79-93 - 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
- Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink:
Coqoon - An IDE for interactive proof development in Coq. 125-137 - 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 - Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. 195-210
- Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens:
Automated translation of VDM to JML-annotated Java. 211-235