Wyniki wyszukiwania:

Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task. Automated debugging has seen major developments over the last decade. One successful development is algorithmic debugging, which originated in logic program but was later generalized to concurrent, imperative, and lazy functional languages.

Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience.

• The only book with complete Modelica 3.3 coverage
• Over one hundred exercises and solutions
• Examines basic concepts such as cyber-physical, equation-based, object-oriented, system, model, and simulation

• Provides an introduction to modern object-oriented design principles and applications for the fast-growing area of modeling and simulation
• Covers the topic of multi-domain system modeling and design with applications that have components from several areas
• Serves as a reference for the Modelica language as well as a comprehensive overview of application model libraries for a number of application domains

Master modeling and simulation using Modelica, the new powerful, highly versatile object-based modeling language

Modelica, the new object-based software/hardware modeling language that is quickly gaining popularity around the world, offers an almost universal approach to high-level computational modeling and simulation. It handles a broad range of application domains, for example mechanics, electrical systems, control, and thermodynamics, and facilitates general notation as well as powerful abstractions and efficient implementations. Using the versatile Modelica language and its...

The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94,...