5832 search results - page 3 / 1167 » Software complexity and maintainability |
FM
1998
Springer
13 years 10 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
IJBC
2008
13 years 6 months ago
2008
nodes and their interactions are abstract edges. This paper attempts to characterize the structural quality of complex software networks. We propose to use a novel statistical meas...
KBSE
2006
IEEE
14 years 7 days ago
2006
IEEE
The widespread adoption of Free and Open Source Software (FOSS) in many strategic contexts of the information technology society has drawn the attention on the issues regarding ho...
IEEEICCI
2006
IEEE
14 years 8 days ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulï...
BIS
2006
13 years 7 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...