715 search results - page 34 / 143 » Application of Formal Methods to the Development of a Softwa... |
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
ADAEUROPE
2001
Springer
14 years 1 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
FM
2003
Springer
14 years 1 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...