715 search results - page 6 / 143 » Application of Formal Methods to the Development of a Softwa... |
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
WCRE
1993
IEEE
13 years 11 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
COMPSAC
1997
IEEE
13 years 11 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...