648 search results - page 57 / 130 » Software requirements validation via task analysis |
AAAI
1990
13 years 11 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
ASWEC
2006
IEEE
14 years 4 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
CASCON
2007
13 years 11 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...