|
" Formal methods and models for system design : "
edited by Rajesh Gupta [and others].
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
719312
|
| Doc. No
|
:
|
b539003
|
| Main Entry
|
:
|
edited by Rajesh Gupta [and others].
|
| Title & Author
|
:
|
Formal methods and models for system design : : a system level perspective\ edited by Rajesh Gupta [and others].
|
| Publication Statement
|
:
|
New York ; London: Springer, 2011
|
| Page. NO
|
:
|
1 volume ; 24 cm
|
| ISBN
|
:
|
1441954643
|
|
|
:
|
: 9781441954640
|
| Notes
|
:
|
Originally published: Boston, Mass.; London: Kluwer Academic, 2004.
|
| Contents
|
:
|
Preface. I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems; M. Broy. 2. Actor-oriented Models for Codesign; E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models; F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC; H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation; J. Romberg, et al. II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication; C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems; E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems; F. Bellegarde, et al. III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference; J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design; J.-P. Talpin, et al. IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs; D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency; S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models; D. Berner, et al. V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures; S. Komatsu, et al.
|
| Subject
|
:
|
System design.
|
| LC Classification
|
:
|
QA76.9.S88E358 2011
|
| Added Entry
|
:
|
Rajesh Kumar Gupta
|
| |