2835 search results - page 365 / 567 » Imperfect Requirements in Software Development |
171
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The ever increasing adoption of software technologies has bring closer technology to users with disabilities and users that interact with devices other than a PC. This diversific...
196
click to vote
ICRE
1996
IEEE
15 years 10 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...
192
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
197
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...