| Description |
1 online resource |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
| Series |
Advances in Computers, 0065-2458 ; Volume 97
|
| Note |
Includes index. |
|
Online resource; title from PDF title page (ScienceDirect, viewed March 9, 2015). |
| Bibliography |
Includes bibliographical references at the end of each chapters and indexes. |
| Summary |
This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski 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. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. -- Edited summary from book. |
| Contents |
Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter 1: Comparing Reuse Strategies in Different Development Environments; 1. Introduction; 2. Development Approaches for Embedded and Nonembedded Systems with Reuse; 2.1. Development Approaches; 2.2. Embedded versus Nonembedded Systems; 2.3. Types of Empirical Studies; 3. Review Process and Inclusion Criteria; 4. Reuse and Development Approaches for Embedded versus Nonembedded Systems; 4.1. Software Reuse in Embedded Systems; 4.2. Software Reuse in Nonembedded Systems; 4.3. Software Reuse in Embedded and Nonembedded Systems |
|
4.4. Comparing Study Types5. Metrics Reported; 6. Analysis of Outcomes; 7. Threats to Validity; 8. Conclusion and Future Work; Acknowledgments; Appendix A: Years of Publication; References; Chapter 2: Advances in Behavior Modeling; 1. Introduction; 2. Properties of the Modeling Semantics Needed for System Life Cycle Support; 3. Events, States, Transitions, and Communication-Composition; 3.1. Events; 3.1.1. Abstract Events Versus Structured Messages; 3.1.2. Events as Inputs Versus Inputs and Outputs; 3.2. States; 3.2.1. Abstract States Versus States with Variables |
|
3.2.2. State Localized Versus Distributed3.3. Transitions; 3.3.1. Transitions with Can, Must, Motivate Semantics; 3.3.2. Transitions That Update States Versus Transition That Update States and Variables; 3.4. Communication of LTSs and Composition; 3.4.1. CCS Composition; 3.4.2. CSP Composition; 3.4.3. Combined Composition Semantics; 3.5. Choice of a Behavior Modeling Semantics; 4. Behavior Semantics in UML; 4.1. Use Cases; 4.2. Sequence Diagrams; 4.3. Activity Diagrams; 4.4. State Machines (UML); 4.4.1. UML Behavior State Machines; 4.4.2. UML Protocol State Machines; 5. Outside UML |
|
5.1. Classical Petri Nets5.1.1. Classical Petri Nets Semantics; 5.1.2. A Petri Net of a Web Service; 5.1.3. Model Changes; 5.2. Colored Petri Nets; 5.2.1. Colored Petri Nets Semantics; 5.2.2. Colored Petri Net of a Mobile Phone with Phone Book; 5.2.3. Model Changes; 5.3. Protocol Modeling; 5.3.1. Protocol Modeling Semantics; 5.3.2. Protocol Model of a Mobile Phone with Phone Book; 5.3.3. Model Changes; 5.3.4. Can and Must Semantics; 5.3.5. Motivation Semantics; 5.3.6. Combining the CCS and CSP Parallel Composition in Protocol Models |
|
6. Summary of Semantic Elements of Behavior Modeling Approaches and Their PropertiesAcknowledgments; References; Chapter 3: Overview of Computational Approaches for Inference of MicroRNA-Mediated and Gene Regulatory Networks; 1. Introduction; 2. Biological Backgrounds of Cell Regulatory Mechanisms and Experimental Technologies; 3. Computational Backgrounds of the Inference of MiRNA-Mediated and GRNs; 4. Models for GRNs Inference; 4.1. Boolean Networks; 4.2. Bayesian Networks; 4.3. Dynamic Bayesian Networks; 4.4. Association Networks; 4.5. Differential and Difference Equations Models |
| Subject |
Computer science.
|
|
Software engineering.
|
|
Electronic Data Processing |
|
Informatique.
|
|
Génie logiciel.
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Computer science
|
|
Software engineering
|
| Added Author |
Memon, Atif M., editor.
|
| Other Form: |
Print version: Advances in computers. Volume 97. Amsterdam, [Netherlands] : Academic Press, ©2015 x, 265 pages Advances in Computers ; Volume 97 0065-2458 9780128021330 |
| ISBN |
9780128023396 (electronic bk.) |
|
0128023392 (electronic bk.) |
|
9780128023419 |
|
0128023414 |
|
0128021330 |
|
9780128021330 |
|
0128023392 |
| Standard No. |
GBVCP 825925932 |
|
UKMGB 017050423 |
|
