1014 search results - page 93 / 203 » Software Development Environments for Scientific and Enginee... |
ICSEA
2008
IEEE
14 years 3 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
ASWEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...
ICSM
1994
IEEE
14 years 1 months ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
CBSE
2006
Springer
14 years 28 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...