Sciweavers

384 search results - page 18 / 77
» Elicitation of Information Needs in Precontract Requirements...
Sort
View
TSE
1998
131views more  TSE 1998»
13 years 7 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
JOT
2010
142views more  JOT 2010»
13 years 6 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
AAAI
2012
11 years 10 months ago
A Robust Bayesian Truth Serum for Small Populations
Peer prediction mechanisms allow the truthful elicitation of private signals (e.g., experiences, or opinions) in regard to a true world state when this ground truth is unobservabl...
Jens Witkowski, David C. Parkes
ICSE
2008
IEEE-ACM
14 years 7 months ago
Fostering user-developer collaboration with infrastructure probes
In this paper we present a new variation of cultural probes, called Infrastructure Probes (IP). IPs can be seen as an additional ethnographic method to get a deeper understanding ...
Christian Dörner, Jan Heß, Volkmar Pipe...
BMCBI
2008
201views more  BMCBI 2008»
13 years 7 months ago
A copula method for modeling directional dependence of genes
Background: Genes interact with each other as basic building blocks of life, forming a complicated network. The relationship between groups of genes with different functions can b...
Jong-Min Kim, Yoon-Sung Jung, Engin A. Sungur, Kap...