715 search results - page 22 / 143 » Application of Formal Methods to the Development of a Softwa... |
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
VL
2008
IEEE
14 years 1 months ago
2008
IEEE
Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a varia...
PROFES
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...