2027 search results - page 36 / 406 » Process Support for Tools Interoperability |
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
COMPSAC
2006
IEEE
15 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...
TELSYS
2002
14 years 9 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...
IWC
2006
14 years 9 months ago
2006
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...