1304 search results - page 190 / 261 » Model-Driven Engineering for Requirements Analysis |
122
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
107
click to vote
ISCC
2002
IEEE
15 years 6 months ago
2002
IEEE
Network service provisioning involves the control of network resources through signaling, routing and management protocols that achieve Quality of Service and Traffic Engineering ...
117
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
133
click to vote
APSEC
1996
IEEE
15 years 5 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
133
click to vote
ICRE
1996
IEEE
15 years 5 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...