3316 search results - page 196 / 664 » Mining Software Engineering Data |
109
click to vote
STEP
2005
IEEE
15 years 7 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
119
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
111
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
114
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
107
click to vote
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...