358 search results - page 70 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
85
Voted
TAMODIA
2007
14 years 10 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
111
click to vote
POPL
2011
ACM
14 years 11 days ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
EPIA
1999
Springer
15 years 1 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
101
click to vote
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...