669 search results - page 43 / 134 » Development and evaluation of a model of programming errors |
TOOLS
2009
IEEE
15 years 4 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
88
Voted
CAV
2001
Springer
15 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
71
Voted
WSC
1997
14 years 11 months ago
1997
As part of an ABB training program, two manufacturing engineers introduced a manufacturing facility to the benefits of modeling and simulation. The project goal was to evaluate a ...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
AADEBUG
1995
Springer
15 years 1 months ago
1995
Springer
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...