Search results

...ering|software engineer]] who holds a personal chair in the mathematics of software engineering as part of the School of Informatics at the [[University of Edi ...2003 and in 2014 was given a personal chair as Professor of Mathematics of Software Engineering.{{r|profile}} ...

{{Short description|Extent to which software can be tested}} {{more footnotes|date=September 2014}} ...

{{Technical|date = October 2014}} ==Software Implementation== ...

...Pattern Recognition |chapter=Balanced K-Means for Clustering |date=August 2014 |series=Lecture Notes in Computer Science |volume=8621|pages=32–41 |doi=10 == Software == ...

{{Short description|Software analysis method to identify structural units in code}} ...Dynamic software analysis is used to measure the quality and efficacy of software test data, where the quantification is performed in terms of structural uni ...

* {{cite book |title=Software Pioneers: Contributions to Software Engineering |editor-last1=Broy |editor-first1=Manfred |editor-link=Manfred ...Verlag GmbH |isbn=978-3-88579-426-4 |issn=1614-3213 |date=2015 |orig-date=2014-11-14 |publication-place=Bonn, Germany |pages=20–21 |url=https://dl.gi.de/b ...

{{Infobox software | genre = [[Simulation software]] ...

...n in Chemical Biology|language=en|volume=21|pages=56–62|doi=10.1016/j.cbpa.2014.03.022|pmc=4149935|pmid=24814389}}</ref> == Software == ...

...lyn M.|date=April 3, 2014|work=The Wall Street Journal|accessdate=June 10, 2014}}</ref> It compares both required time and [[Data compression ratio|compres [[Category:Software metrics]] ...

{{Short description|General-purpose MATLAB software}} {{Infobox software ...

...functional size measurement method fully compliant with IFPUG 4.x|journal=Software Measurement European Forum. 2011}}</ref> is a lightweight Functional Measur ...ake functional size measurement easier yet reliable in the early stages of software projects. The short name became SFP. The SPM (Simple Function Point Practic ...

{{Infobox software | latest release date = 2014-10-10 ...

...te journal|last1=Goldwasser|first1=Shafi|last2=Rothblum|first2=Guy N.|date=2014-07-01|title=On Best-Possible Obfuscation|journal=Journal of Cryptology|lang ...ion and 'unhackable' software|url=https://blog.cryptographyengineering.com/2014/02/21/cryptographic-obfuscation-and/|access-date=2021-03-14|website=A Few T ...

{{Infobox software | logo = Mountains (software) logo.jpg ...

{{for|the open-source software development project|GNU coding standards}} ...ant quantum codes | journal=Physical Review A | volume=90 | issue=6 | date=2014-12-10 | issn=1050-2947 | doi=10.1103/physreva.90.062317 | page=062317| arxi ...

{{more citations needed|date=May 2014}} ...was limited. Le Bail is also easily integrated into [[Rietveld analysis]] software, and is a part of a number of programs. Both methods improve subsequent str ...

==Application software== ...spectrum of any [[lanthanide]] can be calculated by the RELIC application software.<ref name=helhen/> ...

...aic geometry|url=http://msp.org/jsag/2011/3-1/p02.xhtml|journal=Journal of Software for Algebra and Geometry|volume=3|issue=1|pages=5–10|doi=10.2140/jsag.2011. ...Solutions to Polynomial Systems |journal=ACM Transactions on Mathematical Software |date=August 2012 |volume=38 |issue=4 |pages=1–20 |doi=10.1145/2331130.2331 ...

...n single-spin-flip dynamics |journal= Physical Review E|date= 29 September 2014|volume= 90|issue= 3|page= 032141|doi= 10.1103/PhysRevE.90.032141|language=e ...= An introduction to Monte Carlo methods |year= 2015 |doi= 10.1016/j.physa.2014.06.014 |arxiv= 1404.0209 |language=en-US|last1= Walter |first1= J.-C. |last ...

{{Short description|Software library for numerical integration}} {{Infobox software ...