Advances in computers. Volume 97 / edited by Atif M. Memon.

Format:

Book

Author/Creator:

Memon, Atif, author.

Contributor:

Memon, Atif M., editor.

Series:

Advances in computers ; 0065-2458 v. 97 (OCoLC)1461174

Advances in computers, 0065-2458 ; v. 97

Language:

English

Subjects (All):

Software engineering.

Physical Description:

1 online resource (276 p.)

Edition:

First edition.

Place of Publication:

Amsterdam, [Netherlands] : Academic Press, 2015.

Language Note:

English

System Details:

text file

Summary:

This 97th volume is eclectic in nature. The chapter on "Comparing Reuse Strategies in Different Development Environments," analyze and compare reuse success and failures in embedded versus nonembedded systems. Such a comparison is useful and timely because of the ongoing debate in the industry regarding whether lessons from reuse successes and failures in nonembedded software can be applied to embedded software. A survey of the literature identifies empirical studies of reuse that can be used to compare reuse outcomes in embedded versus nonembedded systems. Reuse outcomes include amount of reuse, effort, quality, performance, and overall success. The chapter on "Advances in Behavior Modeling," provides a survey of existing approaches to discrete events behavior modeling. The survey is based on a series of successful international workshops on behavior modeling run by the author and is enriched by the results of her research experience. The chapter on "Overview of Computational Approaches for Inference of MicroRNA-Mediated and Gene Regulatory Networks," describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. The most commonly used models for gene regulatory networks inference based on Boolean networks, Bayesian networks, dynamic Bayesian networks, association networks, novel two-stage model using integration of a priori biological knowledge, and differential and difference equations models are detailed and their inference capabilities are compared. The chapter on "Proving Programs Terminate Using Well-Founded Orderings, Ramsey's Theorem, and Matrices," discusses various ways to prove that a given program terminates. Many programs allow the user to input data several times during its execution. The chapter on "Advances in Testing JavaScript-Based Web Applications," discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. The language is interpreted, dynamic, and weakly typed and has first-class functions. It also interacts extensively with other web languages such as CSS and HTML at runtime.

Contents:

Preface / Atif M. Memon

Chapter 1. Comparing Reuse Strategies in Different Development Environments / Julia Varnell-Sarjeant, Anneliese Amschler Andrews

Chapter 2. Advances in Behavior Modeling / Ella Roubtsova

Chapter 3. Overview of Computational Approaches for Inference of MicroRNA-Mediated and Gene Regulatory Networks / Blagoj Ristevski

Chapter 4. Proving Programs Terminate Using Well-Founded Orderings, Ramsey's Theorem, and Matrices / William Gasarch

Chapter 5. Advances in Testing JavaScript-Based Web Applications / Ali Mesbah

Index.

Notes:

Description based upon print version of record.

Includes bibliographical references at the end of each chapters and indexes.

Description based on online resource; title from PDF title page (ebrary, viewed March 14, 2015).

ISBN:

9780128023419

0128023414

9780128021330

0128021330

OCLC:

910165675