Sciweavers

1086 search results - page 130 / 218
» A Probabilistic Model for Software Projects
Sort
View
118
Voted
SIGIR
2006
ACM
15 years 8 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
114
Voted
CPE
2003
Springer
149views Hardware» more  CPE 2003»
15 years 7 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
105
Voted
SIGSOFT
2010
ACM
15 years 29 days ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
125
Voted
ECLIPSE
2005
ACM
15 years 4 months ago
ConcernMapper: simple view-based separation of scattered concerns
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
Martin P. Robillard, Frédéric Weigan...
149
Voted
ISSRE
2003
IEEE
15 years 7 months ago
Optimal Resource Allocation for the Quality Control Process
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
Pankaj Jalote, Bijendra Vishal