715 search results - page 78 / 143 » Application of Formal Methods to the Development of a Softwa... |
CSMR
2009
IEEE
14 years 3 months ago
2009
IEEE
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
CTW
2006
13 years 8 months ago
2006
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...