328 search results - page 10 / 66 » Requirements Inheritance in Continuous Requirements Engineer... |
SSD
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
APAQS
2000
IEEE
15 years 3 months ago
2000
IEEE
Estimating different characteristics viz., size, cost, etc. of sofrware during different phases of software development is required to manage the resources effectively. Function p...
105
click to vote
SIMULATION
2011
14 years 5 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
EDOC
2004
IEEE
15 years 2 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...