10038 search results - page 584 / 2008 » Model Checking for Managers |
180
click to vote
EUC
2006
Springer
15 years 11 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
185
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
195
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
192
click to vote
BIS
2007
15 years 8 months ago
2007
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
187
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...