Schwendler's Testing Instructions for Telegraph Lines

instructions for authors

0

An Operator-Difference Method for Telegraph Equations Arising in Transmission Lines

A second-order linear hyperbolic equation with time-derivative term subject to appropriate initial and Dirichlet boundary conditions is considered. Second-order unconditionally absolutely stable difference scheme in Ashyralyev et al. 2011 generated by integer powers of space operator is modified for the equation. This difference scheme is unconditionally absolutely stable. Stability estimates f...

The variational iteration method for solving Nagumo telegraph equation

Model-Based Testing for Software Product Lines

MODEL-BASED TESTING FOR SOFTWARE PRODUCT LINES Erika Mir Olimpiew, Ph.D. George Mason University, 2008 Dissertation Director: Dr. Hassan Gomaa, Chairman & Professor A Software Product Line (SPL), or family of systems, is a collection of applications that have so many features in common that it is worthwhile to study and analyze the common features as well as analyzing the features that differen...

Specification-based Testing for Software Product Lines

In this paper, we develop a testing theory for specification-based software product line development. Starting with a framework for the evaluation of test cases with respect to formal specifications, we develop a notion of enhancement, which allows to re-use test cases in a horizontal systems development process. In such a process, more and more features are added to an existing software produc...