A formal specification method VDM.

Download

029916.pdf

Date

1993

Author

Dursun, Hüseyin

Metadata

Show full item record

Item Usage Stats

73
views

0
downloads

URI

https://hdl.handle.net/11511/11393

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

A set-based execution model for parallel prolog Aybay, Işık; Baray, Mehmet; Bilgen, Semih; Department of Electrical and Electronics Engineering (1989)
A Decision support model for adopting software product line engineering / Tüzün, Eray; Bilgen, Semih; Tekinerdoğan, Bekir; Department of Information Systems (2014) The software product line engineering (SPLE) community has provided several different approaches for assessing the feasibility of SPLE adoption and selecting transition strategies. These approaches usually include many rules and guidelines which are very often implicit or scattered over different publications. Hence, for the practitioners it is not always easy to select and use these rules to support the decision-making process. To support the decision-making process in SPLE adoption, a decision support mod...
A Bayesian longitudinal circular model and model selection Çamlı, Onur; Kalaylıoğlu Akyıldız, Zeynep Işıl; Department of Statistics (2017) This research was motivated by a recent medical study that aims to estimate the general fetal head progression trajectory during the first stage of normal labour adjusted for maternal characteristics and environmental factors. A rather primitive manual method for determining the progression has recently been replaced by an ultrasound technology that can precisely measure the fetal's head angle. The particular challenge with such data is the model selection procedures that could objectively assess the models...
A case-based reasoning model as an organizational learning tool Ozorhon, B,; Dikmen Toker, İrem; Birgönül, Mustafa Talat (null; 2005-06-03) Organizational learning (OL) is a set of activities to obtain organizational memory (OM) byacquiring, sharing, interpreting, integrating and institutionalizing knowledge. Although the OLprocess of construction firms has been discussed for several times, utilization of the output ofthese activities has not been investigated in depth. All companies can learn but the advantage oflearning is revealed when companies enhance their decision-making abilities through their OM.The major objective of this...
A Kanban-based simulation analysis of a mixed model just-in-time manufacturing line. Yavuz, İsmail Hakkı; Department of Industrial Engineering (1992)

Citation Formats

H. Dursun, “A formal specification method VDM.,” Middle East Technical University, 1993.