22698 search results - page 189 / 4540 » Modeling in Software Engineering |
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 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 ...
174
click to vote
IEEECIT
2010
IEEE
15 years 5 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...
177
click to vote
ISSRE
2005
IEEE
16 years 1 days 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. ...
163
click to vote
ISMIS
1999
Springer
15 years 10 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...