Sciweavers

524 search results - page 7 / 105
» Debugging Models in the Context of Automotive Software Devel...
Sort
View
ISPW
2008
IEEE
15 years 4 months ago
Integrating Joint Reviews with Automotive SPICE Assessments Results
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Ed...
AAAI
2008
15 years 3 days ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
EMSOFT
2005
Springer
15 years 3 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
RTA
2004
Springer
15 years 3 months ago
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
Jacob Matthews, Robert Bruce Findler, Matthew Flat...
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 3 months ago
Software Business Models and Contexts for Software Innovation: Key Areas for Software Business Research
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
Timo Käkölä