414 search results - page 23 / 83 » Using Strongest Postconditions to Improve Software Quality |
CLEIEJ
2000
13 years 8 months ago
2000
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
FM
2008
Springer
13 years 10 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
JITECH
2010
13 years 3 months ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
SE
2007
13 years 10 months ago
2007
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
CBSQ
2003
Springer
14 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...