Integration between Requirements Engineering and Safety Analysis: A Systematic Literature Review
- 期刊名称Journal of Systems and Software
- 作者Vilela, Jéssyka; Castro, Jaelson; Martins, Luiz Eduardo G.; Gorschek, Tony
- 印刷ISSN0164-1212
- 文件大小7863.04KB
- 发表时间2016-11
- DOI10.1016/j.jss.2016.11.031
<sup>2</sup> F <sup>1</sup> -type Solutions of Second Order Differential Equationsvan Hoeij, Mark; Imamoglu, Erdal · ACM Communications in Computer Algebra · 2015
[ACM Press the 2015 ACM - Bath, United Kingdom (2015.07.06-2015.07.09)] Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 - Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal SolutionsImamoglu, Erdal; van Hoeij, Mark · 2015
Foreword from the EditorsDickenstein, Alicia; Di Rocco, Sandra; Hubert, Evelyne; Schicho, Josef · Journal of Symbolic Computation · 2013
Calculating generators of multigraded algebrasIlten, Nathan Owen; Kastner, Lars · Journal of Symbolic Computation · 2013
Small polygons and toric codesBrown, Gavin; Kasprzyk, Alexander M. · Journal of Symbolic Computation · 2013
Computing tropical linear spacesRincón, Felipe · Journal of Symbolic Computation · 2013
Generating subfieldsvan Hoeij, Mark; Klüners, Jürgen; Novocin, Andrew · Journal of Symbolic Computation · 2013
Group arithmetic in curvesOyono, Roger; Thériault, Nicolas · Journal of Symbolic Computation · 2013
Computational algebraic geometryShaska, T. · Journal of Symbolic Computation · 2013
Factoring bivariate polynomials using adjointsWeimann, Martin · Journal of Symbolic Computation · 2013