Formal Support of Conceptual Design - an Alternative Approach

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21220%2F07%3A02133305" target="_blank" >RIV/68407700:21220/07:02133305 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Formální podpora konceptuálního navrhování - alternativní přístup

Original language description

Cílem procesu konceptuálního navrhování je reprezentace a vysvětlení funkce navrhovaného systému. Do současné doby nemá konceptuální návrh pevně zakotvený formální aparát a z velké části využívá nejrůznějších prostředků, které mu však nejsou vlastní. V tomto článku se zabýváme mimo jiné otázkou, proč formalismus rovnic a vůbec formalismus matematiky stvořený ve svých základech pro fyziku, není pro konceptuální návrh vhodný a jaké to má důsledky v teorii i v praxi. Analýza používaných formalismů je dovedena až do úrovně intenzí. Výsledkem této analýzy je návrh dvou nových intenzí "Specifikátorů (Specifiers)" and "Synthetizátorů (Synthesisers)", které jsou pro konceptuální navrhování vhodnější. Práce s těmito intenzemi vede k prodloužení fáze specifikacea k důslednějšímu oddělení fází specifikace a syntézy. Je srovnán přístup, který vykládá svět přes vlastnosti a jejich hodnoty s přístupem, který vykládá svět přes konceptuální konstrukce, jejich interpretaci a

Czech name

Formální podpora konceptuálního navrhování - alternativní přístup

Czech description

Cílem procesu konceptuálního navrhování je reprezentace a vysvětlení funkce navrhovaného systému. Do současné doby nemá konceptuální návrh pevně zakotvený formální aparát a z velké části využívá nejrůznějších prostředků, které mu však nejsou vlastní. V tomto článku se zabýváme mimo jiné otázkou, proč formalismus rovnic a vůbec formalismus matematiky stvořený ve svých základech pro fyziku, není pro konceptuální návrh vhodný a jaké to má důsledky v teorii i v praxi. Analýza používaných formalismů je dovedena až do úrovně intenzí. Výsledkem této analýzy je návrh dvou nových intenzí "Specifikátorů (Specifiers)" and "Synthetizátorů (Synthesisers)", které jsou pro konceptuální navrhování vhodnější. Práce s těmito intenzemi vede k prodloužení fáze specifikacea k důslednějšímu oddělení fází specifikace a syntézy. Je srovnán přístup, který vykládá svět přes vlastnosti a jejich hodnoty s přístupem, který vykládá svět přes konceptuální konstrukce, jejich interpretaci a

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BC - Theory and management systems

OECD FORD branch

—

Project

<a href="/en/project/2B06023" target="_blank" >2B06023: Development of a method for estimation of energy and matter fluxes in selected ecosystems; formulation and verification of principles for evaluation of conditions supporting selfregulation and biodiversity.</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Jemná mechanika a optika

ISSN

0447-6441

e-ISSN

—

Volume of the periodical

52

Issue of the periodical within the volume

6

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

6

Pages from-to

176-181

UT code for WoS article

—

EID of the result in the Scopus database

—