Languages for System Specification

Preface. I: UML-Based System Specification and Design. Introduction; P. van der Putten. 1. UML-Based Co-Design; B. Steinbach, et al. 2. A Unified Approach to Code Generation from Behavioral Diagrams; D. Bjorklund, et al. 3. Platform-Independent Design for Embedded Real-Time Systems; Jinfeng Huang, et al. 4. Real-Time System Modeling with ACCORD/UML Methodology; Trung Hieu Phan, et al. 5. UML-Based Specification of Embedded Systems; M. Prevostini, et al. II: C-Based System Design. 6. SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS; J. Chevalier, et al. 7. LAERTE++: An Object Oriented High-Level TPG for SystemC Designs; A. Fin, F. Fummi. 8. A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit; A.G. Braun, et al. 9. Modeling of CSP, KPN and SR Systems with SystemC; F. Herrera, et al. 10. On Hardware Description in ECL; L. Ribas, J. Saiz. III: Analog and Mixed-Signal Systems. Introduction; A. Vachoux. 11. Rules for Analog and Mixed-Signal VHDL-AMS Modeling; J. Haase. 12. A VHDL-AMS Library of Hierarchical Optoelectronic Device Models; F. Mieyeville, et al. 13. Towards High-Level Synthesis from VHDL-AMS Specifications; Hua Tang, et al. 14. Reliability Simulation of Electronic Circuits with VHDL-AMS; F. Marc, et al. 15. Extending SystemC to Analog Modeling and Simulation; G. Biagetti, et al. IV: Languages for Formal Methods. 16. Abstract State Machines; E. Borger. 17. A New Time Extension to p-Calculus Based on Time Consuming Transition Semantics; M. Fischer, et al. 18. Modeling CHP Descriptions in LTS for Asynchronous Circuit Validation; M. Boubekeur, et al. 19. Combined Formal Refinement and Model Checking for Real-Time Systems Verification; A. Krupp, et al. 20. Refinement of Hybrid Systems; J. Romberg, C. Grimm. V: Applications and New Languages. 21. Automotive Software Engineering; C. Salzmann, T. Stauner. 22. System Verilog; W. Ecker, et al.