AI Chat AI Image Generator AI Video Text to Speech

Facets of Software Doping

03/27/2018

∙

by Gilles Barthe, et al.

∙

∙

This paper provides an informal discussion of the formal aspects of software doping.

Gilles Barthe
30 publications
Pedro R. D'Argenio
9 publications
Bernd Finkbeiner
77 publications
Holger Hermanns
13 publications

page 1

page 2

page 3

page 4

research

∙ 06/16/2004

Notions of Equivalence in Software Design

Design methods in information systems frequently create software descrip...

0 David King, et al. ∙

research

∙ 01/25/2008

Increased security through open source

In this paper we discuss the impact of open source on both the security ...

0 Jaap-Henk Hoepman, et al. ∙

research

∙ 03/24/2018

Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"

The given paper considered a generalized model representation of the sof...

0 A. V. Palagin, et al. ∙

research

∙ 10/30/2020

A Review On Software Defects Prediction Methods

Software quality is one of the essential aspects of a software. With inc...

0 Mitt Shah, et al. ∙

research

∙ 08/29/2023

Transitioning ECP Software Technology into a Foundation for Sustainable Research Software

Research software plays a crucial role in advancing scientific knowledge...

0 Gregory R. Watson, et al. ∙

research

∙ 10/13/2018

Integration in terms of polylogarithm

This paper provides a Liouville principle for integration in terms of di...

0 Waldemar Hebisch, et al. ∙

research

∙ 10/28/2022

Let's Go to the Whiteboard (Again):Perceptions from Software Architects on Whiteboard Architecture Meetings

The whiteboard plays a crucial role in the day-to-day lives of software ...

0 Eduardo Santana de Almeida, et al. ∙