Cargando…
Advances in computers. Volume 97 /
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 chap...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Waltham, MA :
Academic Press,
2015.
|
| Colección: | Advances in Computers,
Volume 97 |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- 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