10159 search results - page 180 / 2032 » System Design Validation Using Formal Models |
131
click to vote
ICSR
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
130
click to vote
DATESO
2007
15 years 4 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
137
Voted
IJNSEC
2010
14 years 9 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
118
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
130
Voted
ENVSOFT
2006
15 years 2 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...