Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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