1601 search results - page 14 / 321 » The affordable application of formal methods to software eng... |
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
MEMOCODE
2007
IEEE
14 years 2 months ago
2007
IEEE
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
JLP
2006
13 years 7 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
ICSM
1996
IEEE
13 years 12 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...