THERIA_G: a software program to numerically model prograde garnet growth
نویسندگان
چکیده
منابع مشابه
Software Reliability Growth Model
Software Reliability Model is categorized into two, one is static model and the other one is dynamic model. Dynamic models observe the temporary behavior of debugging process during testing phase. In Static Models, modeling and analysis of program logic is done on the same code. A Model which describes about error detection in software Reliability is called Software Reliability Growth Model. Th...
متن کاملA New Empirical Model to Increase the Accuracy of Software Cost Estimation (TECHNICAL NOTE)
We can say a software project is successful when it is delivered on time, within the budget and maintaining the required quality. However, nowadays software cost estimation is a critical issue for the advance software industry. As the modern software’s behaves dynamically so estimation of the effort and cost is significantly difficult. Since last 30 years, more than 20 models are already develo...
متن کاملGarnet (Almandine-Spessartine) Growth Zoning and Its Application to Constrain Metamorphic History in Dehsalm Complex, Iran
Dehsalm Metamorphic Complex located in east of Iran consists of regionally metamorphosed rocks intruded by three phases of granitic masses. Synkinematic porphyroblasts of garnet from staurolite-garnet schist present well preserved growth zoning. Electron microprobe analysis of selected garnets was carried out to interpret the origin and pattern of zoning in amphibolite facies garnets and its im...
متن کاملA New Optimized Hybrid Model Based On COCOMO to Increase the Accuracy of Software Cost Estimation
The literature review shows software development projects often neither meet time deadlines, nor run within the allocated budgets. One common reason can be the inaccurate cost estimation process, although several approaches have been proposed in this field. Recent research studies suggest that in order to increase the accuracy of this process, estimation models have to be revised. The Construct...
متن کاملSoftware Model Checking by Program Specialization
We present a method for performing model checking of imperative programs by using techniques based on the specialization of constraint logic programs (CLP). We have considered a simple imperative language, called SIMP, extended with a nondeterministic choice operator, and we have introduced a CLP interpreter which defines the operational semantics of SIMP. Our software model checking method whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Contributions to Mineralogy and Petrology
سال: 2007
ISSN: 0010-7999,1432-0967
DOI: 10.1007/s00410-007-0263-z