INédit - Contents of n° 60, July 2007

Introduction

Modelling and Design of Systems

• From Scilab to Cycab via Syndex
• Ensuring Accurate and Reliable Control
• New Challenges for Synchronous Languages
• Contract-Based Design

Code Quality and Reliability

• Using Static Code Analysis to Hunt Down Bugs
• The Future is Asynchronous
• Harnessing the Approaches to Generate Adapted Tests

Systems Execution Support

• Compilers Adapt to Produce the Best Programmes
• Compilations and Architecture: the Same Optimization Methods
• Performance and Complexity What is the Compromise for Embedded Processors?
• Super Software for Mini Objects

 

Download Pdf version

Download INedit in PDF file format