351. Designing an adaptive computer‐aided ambulance dispatch system with Zanshin: an experience report. (11th December 2013) Authors: Silva Souza, Vítor E.; Mylopoulos, John Journal: Software, practice & experience Issue: Volume 45:Number 5(2015) Page Start: 689 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
352. Designing expression templates with concepts. (10th March 2017) Authors: Bachelet, Bruno; Yon, Loïc Journal: Software, practice & experience Issue: Volume 47:Number 11(2017) Page Start: 1521 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
353. Designing future‐context‐aware dynamic applications with structured context prediction. (13th October 2011) Authors: Zaplata, Sonja; Meiners, Matthias; Lamersdorf, Winfried Other Names: Kapitza Rüdiger guestEditor. Journal: Software, practice & experience Issue: Volume 43:Number 10(2013) Page Start: 1185 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
354. Designing real‐time systems using imprecise discrete‐event system specifications. (23rd April 2020) Authors: Wainer, Gabriel; Moallemi, Mohammad Journal: Software, practice & experience Issue: Volume 50:Number 8(2020) Page Start: 1327 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
355. Detecting and visualizing online dispute dynamics in replying comments. (24th August 2012) Authors: Lee, Yun‐Jung; Kim, Eun‐Kyung; Cho, Hwan‐Gue; Woo, Gyun Other Names: Di lorio Angelo guestEditor.; Rossi Davide guestEditor.; Zacchiroli Stefano guestEditor. Journal: Software, practice & experience Issue: Volume 43:Number 12(2013) Page Start: 1395 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
356. Detecting functional and security‐related issues in smart contracts: A systematic literature review. (19th October 2022) Authors: Piantadosi, Valentina; Rosa, Giovanni; Placella, Davide; Scalabrino, Simone; Oliveto, Rocco Journal: Software, practice & experience Issue: Volume 53:Number 2(2023) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
357. Detecting safety‐related components in statecharts through traceability and model slicing. (5th September 2017) Authors: Kan, Shuanglong; Huang, Zhiqiu Journal: Software, practice & experience Issue: Volume 48:Number 3(2018) Page Start: 428 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
358. Determinization and minimization of finite acyclic automata by incremental techniques. (21st January 2015) Authors: Lamperti, Gianfranco; Scandale, Michele; Zanella, Marina Journal: Software, practice & experience Issue: Volume 46:Number 4(2016) Page Start: 513 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
359. DevDocOps: Enabling continuous documentation in alignment with DevOps. (28th November 2019) Authors: Rong, Guoping; Jin, Zefeng; Zhang, He; Zhang, Youwen; Ye, Wenhua; Shao, Dong Other Names: Bishop Judith guestEditor.; Cooper Kendra M.L. guestEditor.; Sharp Helen guestEditor.; Whalen Michael guestEditor. Journal: Software, practice & experience Issue: Volume 50:Number 3(2020) Page Start: 210 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
360. Developing an Eclipse editor for MARC records using Xtext. (13th July 2012) Authors: Surla, Bojana Dimić; Sicilia, Miguel‐Angel Journal: Software, practice & experience Issue: Volume 43:Number 11(2013) Page Start: 1377 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗