524 search results - page 74 / 105 » Debugging Models in the Context of Automotive Software Devel... |
104
Voted
EUROSPI
2005
Springer
15 years 6 months ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
CPAIOR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
118
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
134
Voted
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
106
Voted
CCE
2006
15 years 15 days ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...