9783848434107 - Predictive Software Measures Based on Formal Z Specifications: A means of predicting software costs de Tabareh, Abdollah (6 resultados)

paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 56 pp. Englisch.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Tabareh AbdollahAbdollah was born in Iran and finished his bachelor educations in Software Engineering at Razi university of Kermanshah. After a few years of work in software industy in different roles, he went to Goeteborg in Sweden .

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 56 pp. Englisch.

Taschenbuch. Condición: Neu. Predictive Software Measures Based on Formal Z Specifications | A means of predicting software costs | Abdollah Tabareh | Taschenbuch | 56 S. | Englisch | 2012 | LAP LAMBERT Academic Publishing | EAN 9783848434107 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand.