886 search results - page 12 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—As the service requirements of network applications shift from high throughput to high media quality, interactivity, and responsiveness, the definition of QoE (Quality of Exper...
102
click to vote
RE
1999
Springer
15 years 2 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
DSVIS
1997
Springer
15 years 1 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
AAAI
2000
14 years 11 months ago
2000
If robotic agents are to act autonomously they must have the ability to construct and reason about models of their physical environment. For example, planning to achieve goals req...