4919 search results - page 383 / 984 » A Process-Ontological Model for Software Engineering |
155
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we experimentally evaluated the effect of outlier detection methods to improve the prediction performance of fault-proneness models. Detected outliers were removed ...
140
click to vote
ICFEM
2009
Springer
16 years 25 days ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
154
click to vote
MODELS
2009
Springer
16 years 24 days ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
154
click to vote
AMOST
2005
ACM
15 years 11 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
158
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...