524 search results - page 32 / 105 » Debugging Models in the Context of Automotive Software Devel... |
96
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
114
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
107
click to vote
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
113
click to vote
APSEC
1998
IEEE
15 years 4 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
99
Voted
JUCS
2010
14 years 11 months ago
2010
: In order to develop context-aware applications for ubiquitous computing environments we have defined an MDA approach that defines three layers of models. The first layer captures...