22698 search results - page 189 / 4540 » Modeling in Software Engineering |
80
Voted
BC
2010
15 years 1 months ago
2010
The pre-B
159
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
138
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
133
Voted
ISSRE
2005
IEEE
15 years 9 months ago
2005
IEEE
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
130
Voted
ISMIS
1999
Springer
15 years 8 months ago
1999
Springer
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...