Assessing the practical benefits of formal methods for software development

Droschl, Georg; Kuhn, Walter; Sonneck, Gernot; Thuswald, Michael

doi:10.1016/s0925-7535(01)00082-0

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Two of the most common methodologies are the ESA standard [28] and the Agile methodology [29]. Droschl et al (2002) compared the development of a software module using the ESA standard with the formal Vienna development method (VDM) and found that the use of VDM led to the fulfillment of more requirements, thus increasing the quality of the developed product [30]. Many other methods for the design, development and validation of a software module or a software solution can be found in the bibliography (e.g.…”

Section: Methodologies Used For the Development And Analysis Of Ict Smentioning

confidence: 99%

Key factors for the implementation and integration of innovative ICT solutions in SMEs and large companies involved in the multimodal transport of dangerous goods

Molero

Santarremigia

Poveda-Reyes

et al. 2019

Eur. Transp. Res. Rev.

View full text Add to dashboard Cite

The increased number of transports with dangerous goods (TDG) increases the risk of both accidents and terrorist attacks. Digitalisation is crucial in order to avoid human errors and to increase safety, security and efficiency, however there are few research studies that analyse digitalisation for the TDG, this being the first time, to the author's knowledge, that barriers to the implementation of information and communication technology (ICT) solutions for the transport of dangerous goods has been analysed. A new elicitation methodology called the 'implementation acceleration methodology for ICT (IAM-ICT)' has been created, with the aim of identifying and hierarchizing potential barriers to the implementation and integration of ICT solutions involved in the multimodal TDG, and with a view to overcoming the most relevant problems at an early stage. This methodology combines user-driven innovation (UDI), the analytic hierarchy process (AHP) and Bayesian networks. The application of this methodology, which is easily replicable in other fields, will enable a better design of ICT solutions so that they can be implemented and integrated in SMEs and large companies. The results show a hierarchy of potential barriers for a multi-modular ICT solution used as use case study, in two different co-designed schemes for a small and medium enterprise (SME) and for a large company.

show abstract

Section: Methodologies Used For the Development And Analysis Of Ict Smentioning

confidence: 99%