BibSonomy publications for /tag/functionalhttp://www.bibsonomy.org/publrss/tag/functionalBibSonomy RSS Feed for /tag/functionalA relation-based method combining functional and structural testing for test case generationhttp://www.bibsonomy.org/bibtex/28d0088e10092aa47bf80c2ecb4f89054/ist_splist_spl2008-07-30T15:21:39+02:00functional case test gray-box contracts SOFL testing specification-based oracle generation testdata structural <span style="color:#555555;">Shaoying <a href="http://www.bibsonomy.org/author/Liu">Liu</a> und Yuting <a href="http://www.bibsonomy.org/author/Chen">Chen</a> </span><em>Journal of Systems and Software</em><em>81(2):234-248</em>(<em>2008</em>)Software Testing: A Craftsman's Approach, Third EditionMR: Kopiert: Triangle-Example, Dataflow Testing, System Testing, Object-Oriented System Testing, Model-Based Testinghttp://www.bibsonomy.org/bibtex/210f2e77d4720b527fdfbf04e002926bd/ist_splist_spl2008-07-28T10:22:09+02:00integration defs-uses testing path object-oriented MBT functional software systemtest <span style="color:#555555;">Paul C. <a href="http://www.bibsonomy.org/author/Jorgensen">Jorgensen</a> </span><em>AUERBACH, </em><em>3 Edition, </em>(<em>2008</em>)Opportunities and Challenges Applying Functional Data Analysis to the Study of Open Source Software Evolutionhttp://www.bibsonomy.org/bibtex/277d690ed7c756d71e683f1c1bab55cf2/pdeleenhpdeleenh2008-07-07T16:45:32+02:00data open complexity analysis, functional software source, <span style="color:#555555;">Katherine J. <a href="http://www.bibsonomy.org/author/Stewart">Stewart</a> und David P. <a href="http://www.bibsonomy.org/author/Darcy">Darcy</a> und Sherae L. <a href="http://www.bibsonomy.org/author/Daniel">Daniel</a> </span><em>Statistical Science</em><em>21(2):167--178</em><em>September~062006. </em>Functional Programming: Practice and Theoryhttp://www.bibsonomy.org/bibtex/2b8ed6a95d95b2d544c8545a03a73d9db/pdeleenhpdeleenh2008-07-07T16:45:32+02:00functional programming <span style="color:#555555;">Bruce J. <a href="http://www.bibsonomy.org/author/MacLennan">MacLennan</a> </span>(<em>1990</em>)Carbon three-dimensional architecture formed by intersectional collision of graphene patcheshttp://www.bibsonomy.org/bibtex/228b7f9a794f68449c4fa7696ee0b6437/sansirosansiro2008-07-07T09:08:07+02:00energy; density functional dynamics calculations; binding bonds thermal stability molecular theory; tight-binding (chemical); method; graphite; <span style="color:#555555;">Takazumi <a href="http://www.bibsonomy.org/author/Kawai">Kawai</a> und Susumu <a href="http://www.bibsonomy.org/author/Okada">Okada</a> und Yoshiyuki <a href="http://www.bibsonomy.org/author/Miyamoto">Miyamoto</a> und Atsushi <a href="http://www.bibsonomy.org/author/Oshiyama">Oshiyama</a> </span><em>Physical Review B</em><em>72(3):035428</em>(<em>2005</em>)Black-Box Testing: Techniques for Functional Testing of Software and SystemsAmazon.de: Black-Box Testing: Techniques for Functional Testing of Software and Systems: Boris Beizer: Englische Bücherhttp://www.bibsonomy.org/bibtex/2ed27c814801f39fa05296c28b63a2554/ist_splist_spl2008-06-23T14:22:04+02:00black-box testing functional <span style="color:#555555;">Boris <a href="http://www.bibsonomy.org/author/Beizer">Beizer</a> </span><em>Verlag John Wiley & Sons, Inc, </em><em>1 Edition, </em>(<em>1995</em>) <em>MR: referenziert aus Binder1999 (u.a. im Hinblick auf data flow testing strategies)
.
</em>A Higher-Order Function Approach to Evolve Recursive Programshttp://www.bibsonomy.org/bibtex/247dd5812dd9d1a02f0f940d6949cb7d5/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00Haskell programming, recursion lambda programming functions, recursion, algorithms, sequence, Fibonacci PolyGP, filter, strstr, abstraction, type scanr, patterns, systems, functional higher-order languages, foldr, genetic <span style="color:#555555;">Tina <a href="http://www.bibsonomy.org/author/Yu">Yu</a> </span><em>Genetic Programming Theory and Practice III, </em><em>Volume9vonGenetic Programming, </em><em>chapter 7, </em><em>Springer, </em><em>Ann Arbor, </em><em>12-14 May2005. </em>Reconstruction of polynomial systems from noisy time-series measurements using genetic programminghttp://www.bibsonomy.org/bibtex/253d7e50ee86f0ba42847cda75dc832c7/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00embedding measurements, delay, algorithms, structure dimension, unknown noise, operators, estimate, noisy signal method, programming, multiplication, reconstruction, addition, functional time distance, time-series Euclidean polynomial systems accurate parameter orthogonal genetic polynomials, least-squares improved <span style="color:#555555;">Vinay <a href="http://www.bibsonomy.org/author/Varadan">Varadan</a> und Henry <a href="http://www.bibsonomy.org/author/Leung">Leung</a> </span><em>IEEE Transactions on Industrial Electronics</em><em>48(4):742--748</em><em>August2001. </em>A Functional Modularity Approach to Agent-based Modeling of the Evolution of Technologyhttp://www.bibsonomy.org/bibtex/24bbcc1b29d0421d2a873393ec009a304/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00programming, economics, agent-based innovation, functional algorithms, modularity computational genetic <span style="color:#555555;">Shu-Heng <a href="http://www.bibsonomy.org/author/Chen">Chen</a> und Bin-Tzong <a href="http://www.bibsonomy.org/author/Chie">Chie</a> </span><em>The Complex Networks of Economic Interactions: Essays in Agent-Based Economics and Econophysics, </em><em>Volume567vonLecture Notes in Economics and Mathematical Systems, </em><em>Springer, </em><em>January2006. </em>Functional Modularity in the Fundamentals of Economic Theory: Toward an Agent-Based Economic Modeling of the Evolution of Technologyhttp://www.bibsonomy.org/bibtex/244e1ed53af685219a476f5eb82a803fa/brazovayeyebrazovayeye2008-06-19T17:35:00+02:00genetic economics, computational programming, innovation, Agent-based modularity functional algorithms, <span style="color:#555555;">Shu-Heng <a href="http://www.bibsonomy.org/author/Chen">Chen</a> und Bin-Tzong <a href="http://www.bibsonomy.org/author/Chie">Chie</a> </span><em>International Journal of Modern Physics B</em><em>18(17-19):2376--2386</em><em>July 302004. </em>The Cow_Suite Approach to Planning and Deriving Test Suites in UML ProjectsSpringerLink - Buchkapitelhttp://www.bibsonomy.org/bibtex/2869bca60c4d2cace8e0b22596f912cd3/ist_splist_spl2008-06-09T11:38:04+02:00category-partition testing generation functional specification-based integration systemtest automated UML <span style="color:#555555;">Francesca <a href="http://www.bibsonomy.org/author/Basanieri">Basanieri</a> und Antonia <a href="http://www.bibsonomy.org/author/Bertolino">Bertolino</a> und Eda <a href="http://www.bibsonomy.org/author/Marchetti">Marchetti</a> </span><em>«UML» 2002 — The Unified Modeling Language, </em><em>Seite275--303. </em>(<em>2002</em>) <em>MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp f&#252;r den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interactio<span class="info">...<span>MR: Cow_Suite ist ein Ansatz einer Technik und Toolprototyp für den Systemtest und Integrationstest und besteht aus zwei Teilen: - UIT (Use Interaction Test) als Testableitungsmethode - Cowtest (Cost Weighted Test Strategy) für Testpriorisierung und -selektion. Mit Cowtest wird entschieden welche Testfälle ausgeführt werden sollen, durch setzen von Gewichten in die von der Spez. abgeleitete Graphstrukturen (Testauswahlkriterium) und unterstützt auch die Planung des Testprozesses. UIT nutzt diese Information bei der Testfallableitung basierend auf der Category-Partition-Methode, also teils manuell (Interaction mit dem User). Das Besondere ist, dass die forliegende Anforderungs- und Designspezifikation in Form von UML-Use-Case-Diagrammen und -Sequenzdiagrammen ohne weiteren Ausbau (also so wie sie ist) als Input für die Technik dienen kann. Ein für IST-SPL wichtiger Ansatz: es wäre möglich ähnliche Strategie (CP) bereits für die Aktivitätsdiagramme anzuwenden, wobei deren Produktlinieneigenschaften berücksichtigt werden müssten.</span></span>
.
</em>A UML-based approach to system testingDBLP Record 'journals/isse/HartmannVFR05'http://www.bibsonomy.org/bibtex/21a538d314b1e59f56185643384be67cf/ist_splist_spl2008-06-04T17:14:57+02:00diagrams activity testing generation functional UML systemtest automated Use-Cases test <span style="color:#555555;">Jean <a href="http://www.bibsonomy.org/author/Hartmann">Hartmann</a> und Marlon <a href="http://www.bibsonomy.org/author/Vieira">Vieira</a> und Herbert <a href="http://www.bibsonomy.org/author/Foster">Foster</a> und Axel <a href="http://www.bibsonomy.org/author/Ruder">Ruder</a> </span><em>ISSE</em><em>1(1):12-24</em>(<em>2005</em>)Language in context: emergent features of word, sentence, and narrative comprehensionhttp://www.bibsonomy.org/bibtex/2f1520eb0556c1a70e2d57b3b027fe45d/yishyish2008-05-27T18:10:04+02:00Functional FMRI mythesis magnetic imaging resonance context neuropsychology reading human neuroscience brain narrative <span style="color:#555555;">Jiang <a href="http://www.bibsonomy.org/author/Xu">Xu</a> und Stefan <a href="http://www.bibsonomy.org/author/Kemeny">Kemeny</a> und Grace <a href="http://www.bibsonomy.org/author/Park">Park</a> und Carol <a href="http://www.bibsonomy.org/author/Frattali">Frattali</a> und Allen <a href="http://www.bibsonomy.org/author/Braun">Braun</a> </span><em>Neuroimage</em><em>25(3):1002-1015</em>(<em>2005</em>)Rosenfeld functional for non-additive hard spheresDefines the binary non-additive hard sphere functional using the Kierlik-Rosinberg formalism. Calculates phase diagram and radial distribution functions and compares to monte carlo simulations.http://www.bibsonomy.org/bibtex/22a75334d471065012dfa2bb8c84718ac/paul_hopkinspaul_hopkins2008-05-01T14:06:43+02:00rdf non-additive monte-carlo kierlik-rosinberg hard-sphere phase-diagram functional <span style="color:#555555;">Matthias <a href="http://www.bibsonomy.org/author/Schmidt">Schmidt</a> </span><em>Journal of Physics: Condensed Matter</em><em>16(30):L351-L357</em>(<em>2004</em>)A functional law of the iterated logarithm for the Dekkers-Einmahl-de Haan tail index estimatorhttp://www.bibsonomy.org/bibtex/2fdde8a1b57c6c2cbf997c42f27ab2102/smichasmicha2008-04-23T22:05:04+02:00iterated Functional of laws the logarithm <span style="color:#555555;">Khelifa <a href="http://www.bibsonomy.org/author/Tobbal">Tobbal</a> </span><em>Statistics \& Probability Letters</em><em>29(1):15--22</em><em>Aug1996. </em>On the approximation of measurable linear functionalshttp://www.bibsonomy.org/bibtex/25e8327985c1bfc6f31f59d2d67fd1292/smichasmicha2008-04-23T22:05:04+02:00measurable linear functional <span style="color:#555555;">W. <a href="http://www.bibsonomy.org/author/Smolenski">Smolenski</a> </span><em>Statistics \& Probability Letters</em><em>3(4):205--207</em><em>Jul1985. </em>Regression models for functional data by reproducing kernel Hilbert spaces methodshttp://www.bibsonomy.org/bibtex/200c9a4401c373cc26641b3fff52fb653/smichasmicha2008-04-23T22:05:04+02:00data Functional <span style="color:#555555;">Cristian <a href="http://www.bibsonomy.org/author/Preda">Preda</a> </span><em>Journal of Statistical Planning and Inference</em><em>137(3):829--840</em><em>Mar2007. </em>A nonparametric repeated significance test with adaptive target sample sizehttp://www.bibsonomy.org/bibtex/2f82d19a65a7b6dd6ef21eb201802b2f6/smichasmicha2008-04-23T22:05:04+02:00central limit theorem Functional <span style="color:#555555;">Vladimir <a href="http://www.bibsonomy.org/author/Pozdnyakov">Pozdnyakov</a> und Joseph <a href="http://www.bibsonomy.org/author/Glaz">Glaz</a> </span><em>Journal of Statistical Planning and Inference</em><em>137(3):869--878</em><em>Mar2007. </em>Specification and identification issues in models involving a latent hierarchical structurehttp://www.bibsonomy.org/bibtex/2e6cb46c7993c10e0e4ae559eb25102b6/smichasmicha2008-04-23T22:05:04+02:00Functional model <span style="color:#555555;">M. <a href="http://www.bibsonomy.org/author/Mouchart">Mouchart</a> und E. <a href="http://www.bibsonomy.org/author/San Mart{\'i}n">San Mart'in</a> </span><em>Journal of Statistical Planning and Inference</em><em>111(1-2):143--163</em><em>Feb2003. </em>A class of strong laws for functionals of countable nonhomogeneous Markov chainshttp://www.bibsonomy.org/bibtex/25a2e58c963ff58af7addb876f1b02894/smichasmicha2008-04-23T22:05:04+02:00chain of nonhomogeneous Functional Markov <span style="color:#555555;">Wen <a href="http://www.bibsonomy.org/author/Liu">Liu</a> und Guoxin <a href="http://www.bibsonomy.org/author/Liu">Liu</a> </span><em>Statistics \& Probability Letters</em><em>22(2):87--96</em><em>Feb1995. </em>