About: Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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 enables to 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 approach has 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. 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 enables to 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 approach has 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. (en)
Title	Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments (en)
skos:prefLabel	Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments (en)
skos:notation	RIV/60460709:41110/11:54018!RIV12-MSM-41110___
http://linked.open...avai/predkladatel	Provozně ekonomická fakulta
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM6046070904)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Merunka, Vojtěch
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Česká zemědělská univerzita v Praze / Provozně ekonomická fakulta
http://linked.open...dnocenehoVysledku	205054
http://linked.open...ai/riv/idVysledku	RIV/60460709:41110/11:54018
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	instance-level modeling and simulation, lambda-calculus, object-oriented programming, ODMG standard, OQL, OCL, Smalltalk (en)
http://linked.open.../riv/klicoveSlovo	ODMG standard OQL Smalltalk instance-level modeling and simulation lambda-calculus object-oriented programming OCL
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[7D4259FD209F]
http://linked.open...i/riv/nazevZdroje	Lecture Notes in Business Information Processing
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...UplatneniVysledku	2011
http://linked.open...v/svazekPeriodika	88
http://linked.open...iv/tvurceVysledku	Merunka, Vojtěch
http://linked.open...ain/vavai/riv/wos	000286503500003
http://linked.open...n/vavai/riv/zamer	Information and knowledge support of strategic management
issn	1865-1348
number of pages	14 (xsd:int)
http://localhost/t...ganizacniJednotka	41110
is http://linked.open...avai/riv/vysledek of	Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 68 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software