Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Biçim Arayışlarında Sayısal İmalat Üretim Teknolojilerin Dönüştürücü Gücü
Date
2016-06-28
Author
Sorguç, Arzu
Ülgen, Serkan
Küçüksubaşı, Fatih
Kruşa Yemişcioğlu, Müge
Metadata
Show full item record
Item Usage Stats
92
views
0
downloads
Cite This
URI
https://hdl.handle.net/11511/78353
Collections
Unverified, Conference / Seminar
Suggestions
OpenMETU
Core
Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi
İnan, K.; Başbuğoğlu, O.; Dalkıran, İ.; Sulimov, A.; Sezgin, A.; Levin, V.; Yenigün, H.; Tunçtekin, C.; Şen, A.; Çalgın, H.; Gücün, O.; Doyuran, U.; Serdar, B.; Bounimova, E.; Nergis, A.; Çenberci, D.(1997)
Gerçek zaman iletişim yazılımlarında kullanılan dagımlı yazılımların betimlenmesi ve doğrulanması için iki ticari SDL ürünü olan SDT (Telelogic) ve GEODE (Verilog) paketleri kullanılarak uygulamalar yapıldı ve yeni teknikler geliştirildi, özellikle Lucent Technologies'de geliştirilmiş olan COSPAN doğrulayıcısının SDL platformunda kullanılabilmesi için SDL-S/R derleyicisi gerçekleştirildi ve SDL dili ile COSPAN doğrulayıcısının donanım/yazılım entegre tasarımı (HW/SW co-design) için genişletilmiş SDL tanımı ...
Formalism and anti-formalism as continuities and discontinuities
Ağar, Aylin; Erzen, Jale Adile; Department of Architecture (2004)
When form is in consideration, there exist two seemingly distinct attitudes to form giving activity, which seem to be constantly in opposition, namely formalist and anti-formalist approaches. The aim of this study is to explore the sources of, and interactions and transformations between formalist and anti-formalist design processes, without overlooking the conventional formalist understanding. The intention is to find out how a tendency in architecture, which challenged the understanding of a pure, timeles...
The Control Of Shape: Origins Of Parametric Design In Architecture In Xenakis, Gehry And Grimshaw
Garcia Alvarado, Rodrigo; Jofre Muñoz, Jaime (Middle East Technical University, Faculty of Architecture, 2012-6-1)
Several contemporary architectural works are arguing use of parametric design technologies, without clearly identifying their essential conditions. This article reviews meanings of this term and its first literary uses in referring to architectural design, as well as initial works applying these techniques, with the purpose of clarifying its original sense and applications, to support a consistent development. The word has different meanings ranging from social to mathematical connotations, mostly related t...
Biçimlendirme sınır eğrisinin belirlenmesi ve kullanımı
Öztürk, Tayfur; Bor, Şakir(1987-09-15)
Biilm Egitiminde Bütünlestirilmis Program Yaklasımı
Karahan, Engin; ANAGÜN, ŞENGÜL SAİME (Anadolu Üniversitesi, 2016-01-01)
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
A. Sorguç, S. Ülgen, F. Küçüksubaşı, and M. Kruşa Yemişcioğlu, “Biçim Arayışlarında Sayısal İmalat Üretim Teknolojilerin Dönüştürücü Gücü,” 2016, Accessed: 00, 2021. [Online]. Available: https://hdl.handle.net/11511/78353.