Sciweavers

4276 search results - page 80 / 856
» Techniques for Empirical Validation
Sort
View
JIKM
2008
98views more  JIKM 2008»
15 years 6 months ago
Knowledge-Based Expert System Development and Validation with Petri Nets
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
Madjid Tavana
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ECSA
2007
Springer
16 years 16 days ago
Issues in Applying Empirical Software Engineering to Software Architecture
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
Davide Falessi, Philippe Kruchten, Giovanni Canton...
LCPC
2005
Springer
15 years 12 months ago
A Systematic Approach to Model-Guided Empirical Search for Memory Hierarchy Optimization
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
Chun Chen, Jacqueline Chame, Mary W. Hall, Kristin...
ICSE
2005
IEEE-ACM
16 years 6 months ago
Validation methods for calibrating software effort models
COCONUT calibrates effort estimation models using an exhaustive search over the space of calibration parameters in a COCOMO I model. This technique is much simpler than other effo...
Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn...