A Framework for BIM-Based Accurate Formwork Quantification



A framework for qualitative assessment of domain-specific languages
Kahraman, Gokhan; Bilgen, Semih (Springer Science and Business Media LLC, 2015-10-01)
Domain-specific languages (DSLs) are used for improving many facets of software development, but whether and to what extent this aim is achieved is an important issue that must be addressed. This paper presents a proposal for a Framework for Qualitative Assessment of DSLs (FQAD). FQAD is used for determining the perspective of the evaluator, understanding the goal of the assessment and selecting fundamental DSL quality characteristics to guide the evaluator in the process. This framework adapts and integrat...
A Framework for qualitative assessment of domain specific languages
Kahraman, Gökhan; Bilgen, Semih; Department of Electrical and Electronics Engineering (2013)
Domain Specific Languages (DSLs) have been proposed in the literature with the aim of providing a wide range of advantages such as better productivity and quality for stakeholders involved with many aspects of software development. The objective of this study consists of supporting the improvement of DSL maturity by providing an A Framework for Qualitative Assessment of DSLs(FQAD). A formal approach is proposed for the assessment of DSLs. Metrics for DSL success measurement and the parameters that affect th...
A methodology for determination of performance based design parameters
Yazgan, Ufuk; Gülkan, Polat; Yakut, Ahmet; Department of Civil Engineering (2003)
A General Framework for Optimum Iterative Blockwise Equalization of Single Carrier MIMO Systems and Asymptotic Performance Analysis
Güvensen, Gökhan Muzaffer; Yılmaz, Ali Özgür (Institute of Electrical and Electronics Engineers (IEEE), 2013-02-01)
The paper proposes a general framework for both time-domain (TD) and frequency-domain (FD) iterative blockwise equalization in single carrier (SC) wideband multiple-input multiple-output (MIMO) channels. First, a novel turbo blockwise operating equalizer structure is proposed by jointly optimizing the feed-forward and feedback filters at each iteration based on the minimum mean squared error (MMSE) criterion. Optimization of the filter coefficients, utilized for feed-forward equalization and decision feedba...
A Methodology for cross-resolution modeling in DEVS using event-B refinement
Kara, Ahmet; Oğuztüzün, Mehmet Halit S.; Alpdemir, Mahmut Nedim; Department of Computer Engineering (2014)
This thesis proposes a software engineering solution for implementing simulations via composition of models at different resolution levels with the help of formal methods. Our solution provides a systematic methodology that offers a well-defined sequence of stages to obtain executable converters for entity resolution mapping, given the types of entity attributes that are exchanged at model interfaces and the mapping specifications. Our methodology relies on Event-B as the formal specification language and D...
Citation Formats
Y. Çepni and A. Akçamete Güngör, “A Framework for BIM-Based Accurate Formwork Quantification,” 2020, Accessed: 00, 2021. [Online]. Available: http://ipcmc2020.itu.edu.tr/docs/librariesprovider285/default-document-library/c4b1pcmc2020_proceedings.pdf?sfvrsn=8.