331. Five recommendations for software evolvability. Issue 9 (15th March 2018) Authors: Rajlich, Václav Journal: Journal of software Issue: Volume 30:Issue 9(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. FlexParser—The adaptive log file parser for continuous results in a changing world. Issue 3 (27th January 2022) Authors: Rücker, Nadine; Maier, Andreas Journal: Journal of software Issue: Volume 34:Issue 3(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. Foreword to the SANER 2015 special issue. Issue 3 (March 2017) Authors: Serebrenik, Alexander; Adams, Bram Other Names: Serebrenik Alexander guestEditor.; Adams Bram guestEditor. Journal: Journal of software Issue: Volume 29:Issue 3(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
334. Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks. Issue 2 (12th December 2019) Authors: Benyagoub, Sarah; Aït‐Ameur, Yamine; Ouederni, Meriem; Mashkoor, Atif; Medeghri, Ahmed Other Names: Mashkoor Atif guestEditor.; Sametinger Johannes guestEditor.; Biro Miklós guestEditor.; Egyed Alexander guestEditor. Journal: Journal of software Issue: Volume 32:Issue 2(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. Formal methods by stealth: The INSPEX experience. Issue 12 (13th October 2021) Authors: Banach, Richard; Razavi, Joseph; Debicki, Oivier; Lesecq, Suzanne Journal: Journal of software Issue: Volume 33:Issue 12(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Formal verification of probabilistic SystemC models with statistical model checking. Issue 3 (14th August 2017) Authors: Ngo, Van Chan; Legay, Axel Other Names: Babiceanu Radu guestEditor.; Waeselynck Hélène guestEditor. Journal: Journal of software Issue: Volume 30:Issue 3(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Formalizing model transformation patterns. Issue 2 (5th January 2022) Authors: Rouhi, Alireza; Kolahdouz Rahimi, Shekoufeh; Lano, Kevin Journal: Journal of software Issue: Volume 34:Issue 2(2022) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
338. Formulation of process improvement knowledge: 7 components of a good PI story. Issue 1 (5th September 2018) Authors: Norimatsu, So; Endo, Kiyoshi; Usugi, Makoto; Niwa, Aiichiro; Tange, Koichi Other Names: Biró Miklós guestEditor.; Colomo‐Palacios Ricardo guestEditor.; Messnarz Richard guestEditor. Journal: Journal of software Issue: Volume 31:Issue 1(2019) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. Framework for empirical examination and modeling structural dependencies among inhibitors that impact SPI implementation initiatives in software SMEs. Issue 12 (30th October 2018) Authors: Sharma, Pooja; Sangal, Amrit Lal Journal: Journal of software Issue: Volume 30:Issue 12(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. Framing program comprehension as fault localization. Issue 10 (20th July 2016) Authors: Perez, Alexandre; Abreu, Rui Other Names: Roy Chanchal K. guestEditor.; Begel Andrew guestEditor.; Moonen Leon guestEditor. Journal: Journal of software Issue: Volume 28:Issue 10(2016) Page Start: 840 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗