Andere Kunden interessierten sich auch für
![Confidence Measures for Speech/Speaker Recognition]( "Confidence Measures for Speech/Speaker Recognition")
Confidence Measures for Speech/Speaker Recognition40,99 €![Measures of Information and their Applications to various Disciplines]( "Measures of Information and their Applications to various Disciplines")
Measures of Information and their Applications to various Disciplines46,99 €![HIV Status Predictive Modeling Using Data Mining Technology]( "HIV Status Predictive Modeling Using Data Mining Technology")
HIV Status Predictive Modeling Using Data Mining Technology44,99 €![Towards predictive models for e-learning]( "Towards predictive models for e-learning")
Towards predictive models for e-learning30,99 €![Predictive Modeling for HIV Testing Using Data Mining techniques]( "Predictive Modeling for HIV Testing Using Data Mining techniques")
Predictive Modeling for HIV Testing Using Data Mining techniques36,99 €![Seeding - Can Marketers Take Advantage of Known Network Measures?]( "Seeding - Can Marketers Take Advantage of Known Network Measures?")
Seeding - Can Marketers Take Advantage of Known Network Measures?42,95 €![Feature-based Variability Modelling in Software Evolution]( "Feature-based Variability Modelling in Software Evolution")
Feature-based Variability Modelling in Software Evolution19,99 €
The success of software development projects depends highly on meeting the assigned schedule and budget of the project which are often defined in terms of a project plan. Estimation is the basis for planning; therefore, having a reliable way of estimating effort needed to perform the tasks is a must for a reliable project plan. Already in 1987, Samson, Nevill and Dugard, showed that there is a strong and direct influence of formal specification metrics onto the effort needed for implementation. Since then, there has been some progress in various aspects of formal specifications; the introduction of specification slicing methods, slice-based specification metrics, and methods for visualization of specifications has opened new ways for measuring properties of specifications with more metrics. Nevertheless, there hasn t been much progress in the field of cost estimation using recent achievements of formal specifications. The main focus in this work is to examine if there is a correlation between formal Z specification measures and implementation related measures. In concise, this work tries to explain the correlation between the measures in specifications and code.