Paul Krause
Paul Krause
Professor in Complex Systems, University of Surrey
Geverifieerd e-mailadres voor surrey.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
4082009
A logic of argumentation for reasoning under uncertainty
P Krause, S Ambler, M Elvang‐Goransson, J Fox
Computational Intelligence 11 (1), 113-131, 1995
3111995
Rule-based generation of requirements traceability relations
G Spanoudakis, A Zisman, E Pérez-Minana, P Krause
Journal of systems and software 72 (2), 105-127, 2004
2802004
Predicting software defects in varying development lifecycles using Bayesian nets
N Fenton, M Neil, W Marsh, P Hearty, D Marquez, P Krause, R Mishra
Information and Software Technology 49 (1), 32-43, 2007
2572007
Representing uncertain knowledge: an artificial intelligence approach
P Krause, D Clark
Springer Science & Business Media, 2012
2502012
Software measurement: Uncertainty and causal modeling
N Fenton, P Krause, M Neil
IEEE software 19 (4), 116-122, 2002
2382002
On the effectiveness of early life cycle defect prediction with Bayesian Nets
N Fenton, M Neil, W Marsh, P Hearty, Ł Radliński, P Krause
Empirical Software Engineering 13 (5), 499-537, 2008
1432008
Learning probabilistic networks
PJ Krause
Knowledge Engineering Review 13 (4), 321-352, 1998
1391998
Dialectic reasoning with inconsistent information
M Elvang-Gøransson, P Krause, J Fox
Uncertainty in Artificial Intelligence, 114-121, 1993
1351993
Arguments, contradictions and practical reasoning
J Fox, P Krause, S Ambler
Proceedings of the 10th European Conference on Artificial Intelligence, 623-627, 1992
1281992
Acceptability of arguments as ‘logical uncertainty’
M Elvang-Gøransson, PJ Krause, J Fox
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 1993
1251993
An automatic test case generation framework for web services
Y Zheng, J Zhou, P Krause
Journal of Software (JSW) 2, 64-77, 2007
1062007
Tracing Software Requirements Artifacts.
A Zisman, G Spanoudakis, E Pérez-Miñana, P Krause
Software Engineering Research and Practice, 448-455, 2003
792003
Computer aided transformation of Z into Prolog
AJJ Dick, PJ Krause, J Cozens
Z user workshop, 71-85, 1990
751990
A probabilistic model for software defect prediction
N Fenton, P Krause, M Neil
IEEE Transactions on Software Engineering 44 (0), 1-35, 2001
732001
Argumentation as a general framework for uncertain reasoning
J Fox, P Krause, M EIvang-Gøransson
Uncertainty in Artificial Intelligence, 428-434, 1993
661993
An efficient PHR service system supporting fuzzy keyword search and fine-grained access control
F Xhafa, J Wang, X Chen, J Liu, J Li, P Krause
Soft Comput. 18, 1795-1802, 2013
622013
Exploring defect causes in products developed by virtual teams
J Jacobs, J Van Moll, P Krause, R Kusters, J Trienekens, A Brombacher
Information and Software Technology 47 (6), 399-410, 2005
622005
A model checking based test case generation framework forweb services
Y Zheng, J Zhou, P Krause
Fourth International Conference on Information Technology (ITNG'07), 715-722, 2007
612007
Key concepts to assess the readiness of data for International research: Data quality, lineage and provenance, extraction and processing errors, traceability, and curation
S De Lusignan, ST Liaw, P Krause, V Curcin, MT Vicente, G Michalakidis, ...
Yearbook of medical informatics 20 (01), 112-120, 2011
572011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20