637 search results - page 36 / 128 » Inconsistency-Tolerant Integrity Checking |
110
click to vote
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
164
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
131
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
113
click to vote
DAISD
1994
15 years 3 months ago
1994
We are interested in the problem of validating the consistency of integrity constraints when data is modi ed. In particular, we consider how constraints can be checked with only p...