524 search results - page 81 / 105 » Debugging Models in the Context of Automotive Software Devel... |
115
Voted
BPM
2008
Springer
15 years 2 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
99
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...
107
click to vote
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
113
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
73
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...