LSO
2004
Springer
13 years 9 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
ASWSD
2004
Springer
13 years 9 months ago
2004
Springer
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
VSTTE
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
VSTTE
2005
Springer
13 years 9 months ago
2005
Springer
VSTTE
2005
Springer
13 years 9 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...