2019
DOI: 10.1007/978-3-319-91908-9_14
|View full text |Cite
|
Sign up to set email alerts
|

Methods, Languages and Tools for Future System Development

Abstract: Language design for simplifying programming, analysis/verification methods and tools for guaranteeing, for example, security and real-time constraints, and validation environments for increasing automation during quality assurance can all be regarded as means to factor out and generically solve specific concerns of the software development process and then reuse the corresponding solutions. In this sense, reuse, a guiding engineering principle, appears as a unifying theme in software science, and it is not sur… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Year Published

2019
2019
2019
2019

Publication Types

Select...
6

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(8 citation statements)
references
References 31 publications
0
8
0
Order By: Relevance
“…The analytical solutions of the cooled spectrum in equation (35) and of the self-similar spectrum in equation (36) need a functional representation of the spectrum at time t 0 for the entire momentum range. As the spectrum is calculated on a discrete momentum grid with piecewise constant values, we calculate an interpolation function at every time with the Steffen's method (Steffen 1990), which is cubic and monotonic between neighbouring discrete momenta. This interpolation function is used to calculate the analytic solution after a time step ∆t.…”
Section: General Solutionsmentioning
confidence: 99%
“…The analytical solutions of the cooled spectrum in equation (35) and of the self-similar spectrum in equation (36) need a functional representation of the spectrum at time t 0 for the entire momentum range. As the spectrum is calculated on a discrete momentum grid with piecewise constant values, we calculate an interpolation function at every time with the Steffen's method (Steffen 1990), which is cubic and monotonic between neighbouring discrete momenta. This interpolation function is used to calculate the analytic solution after a time step ∆t.…”
Section: General Solutionsmentioning
confidence: 99%
“…In fact, it requires matrix-by-matrix multiplications and, in particular, the calculation of second-order accurate numerical derivatives appears to be the most expensive part of the method. Moreover, Ibgui et al (2013) explained that the calculation of numerical derivatives proposed by Steffen (1990) is sensibly slower than the one proposed by Fritsch & Butland (1984). However, the derivatives provided by Fritsch & Butland (1984) are second-order accurate on uniform grids only and they drop to first-order accuracy on non-uniform grids (see Janett & Paganini 2018).…”
Section: Cubic Hermitian Methodsmentioning
confidence: 99%
“…However, the derivatives provided by Fritsch & Butland (1984) are second-order accurate on uniform grids only and they drop to first-order accuracy on non-uniform grids (see Janett & Paganini 2018). For this reason, the version by Steffen (1990) is used here.…”
Section: Cubic Hermitian Methodsmentioning
confidence: 99%
See 1 more Smart Citation
“…Fritsch & Carlson (1980) proposed a two-pass algorithm to recover such derivatives. Later on, Fritsch & Butland (1984) and Steffen (1990) added alternative formulas to recover secondorder accurate first derivatives 7 . Auer (2003) suggested the use of monotonic Hermite interpolants in radiative transfer problems and Ibgui et al (2013) used monotonic cubic Hermite polynomials (version of Fritsch & Butland 1984) in the IRIS code.…”
Section: Cubic Hermite Splinesmentioning
confidence: 99%