Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60460709%3A41110%2F11%3A54018" target="_blank" >RIV/60460709:41110/11:54018 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments
Popis výsledku v původním jazyce
We present instance-level modeling and simulation approach and related software environments. First part of this paper describes the role of the instance-level modeling and simulation in the area of software engineering and presents our approach affiliated with lambda-calculus theory. Next, a supporting tool we developed is discussed. Instance-level modeling and simulation is based on manipulation with particular object instances containing real data in similar way as in database querying. This enablesto validate, verify and refine the conceptual model even before its final software implementation. This is why in the second part we propose to work with ODMG-compliant object databases and also describe our own modeling and simulation tool. Our approachhas been used for rapid prototyping in our software development projects and in formal design and software engineering courses at several european and U.S. universities.
Název v anglickém jazyce
Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments
Popis výsledku anglicky
We present instance-level modeling and simulation approach and related software environments. First part of this paper describes the role of the instance-level modeling and simulation in the area of software engineering and presents our approach affiliated with lambda-calculus theory. Next, a supporting tool we developed is discussed. Instance-level modeling and simulation is based on manipulation with particular object instances containing real data in similar way as in database querying. This enablesto validate, verify and refine the conceptual model even before its final software implementation. This is why in the second part we propose to work with ODMG-compliant object databases and also describe our own modeling and simulation tool. Our approachhas been used for rapid prototyping in our software development projects and in formal design and software engineering courses at several european and U.S. universities.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Lecture Notes in Business Information Processing
ISSN
1865-1348
e-ISSN
—
Svazek periodika
88
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
14
Strana od-do
145-158
Kód UT WoS článku
000286503500003
EID výsledku v databázi Scopus
—