Sciweavers

4919 search results - page 141 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
ICSM
2003
IEEE
15 years 3 months ago
Towards a Versioning Model for Component-based Software Assembly
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
Jaroslav Gergic
AC
2005
Springer
14 years 10 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ESEM
2007
ACM
15 years 1 months ago
Building Software Cost Estimation Models using Homogenous Data
Several studies have been conducted to determine if company-specific cost models deliver better prediction accuracy than cross-company cost models. However, mixed results have lef...
Rahul Premraj, Thomas Zimmermann
ICSE
2007
IEEE-ACM
15 years 10 months ago
Modeling the Effect of Size on Defect Proneness for Open-Source Software
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
Akif Günes Koru, Dongsong Zhang, Hongfang Liu
WCRE
2007
IEEE
15 years 4 months ago
A Model to Understand the Building and Running Inter-Dependencies of Software
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
Daniel M. Germán, Jesús M. Gonz&aacu...