2019
DOI: 10.1007/s10009-019-00546-y
|View full text |Cite
|
Sign up to set email alerts
|

Enabling continuous integration in a formal methods setting

Abstract: Noname manuscript No.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
3
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
2
2
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(4 citation statements)
references
References 21 publications
(24 reference statements)
0
3
0
Order By: Relevance
“…Software that boosts user productivity and efficiency can significantly impact the perceived value (Cheah et al, 2020;Chouki et al, 2020;Couto et al, 2020). When software is designed with focus on intuitiveness, it means that the user interface and interactions are designed to be easily understandable and require minimal effort to navigate and use effectively Dewit et al, 2021;Simeone et al, 2021).…”
Section: Productivitymentioning
confidence: 99%
“…Software that boosts user productivity and efficiency can significantly impact the perceived value (Cheah et al, 2020;Chouki et al, 2020;Couto et al, 2020). When software is designed with focus on intuitiveness, it means that the user interface and interactions are designed to be easily understandable and require minimal effort to navigate and use effectively Dewit et al, 2021;Simeone et al, 2021).…”
Section: Productivitymentioning
confidence: 99%
“…A crucial step to leverage the benefits brought by the best industry practices, shared with successful practitioners, relies on a CI implementation [12]. Although the ideas are appealing to embrace, the choices for implementing unit testing, CI and test automation are usually heavily influenced by the particular software task and development environment, and unavoidably intimidating to software developers whose main expertise is in the domain sciences [9,10]. The risk of software faults, programming errors and mistakes can be mitigated by continuous integration, regression testing and test automation, implemented by a testing workflow proposed here.…”
Section: Introduction and Related Workmentioning
confidence: 99%
“…For solving the problem of integration between different environments and tools, DevOps tools play a critical role [4]. These tools once implemented blend different systems together and work in a continuous serving fashion enabling any change in the source code to propagate across different environments [5]. A lot of Organizations face the challenge of selecting a fit for purpose tool and selection of appropriate DevOps Tooling is an important criterion to automate and integrate different systems together.…”
Section: Introductionmentioning
confidence: 99%