478 search results - page 35 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
AAAI
2006
13 years 10 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...