Attributes | Values |
---|
rdf:type
| |
Description
| - Příspívek je věnován metodě datového modelování BORM, která je pro svoji komplexnost a zároveň snadnou srozumitelnost velmi oblíbena mezi vývojáři, analytiky i konzultanty. Pozornost je věnována zejména lambda-kalkulu, který tato metoda na rozdíl od ostatních metod datového modelování podporuje prostřednictím zabudovaného interpretu jazyka C.C. Díky tomu je možno vyřešit řadu problémů simulace, transformace model. a dalších, což umožňuje lépe pochopit realitu. (en)
- The article is about the method of data modeling BORM, which is very popular among developers, analysts and consultants due its complexity and understandability. Attention is given to the lambda-calculus, which this method, unlike other methods of data modeling supports by built in an interpreter of language CC. These enable to solve many problems of simulations, transformation of models and others, which allow a better understanding of reality.
- The article is about the method of data modeling BORM, which is very popular among developers, analysts and consultants due its complexity and understandability. Attention is given to the lambda-calculus, which this method, unlike other methods of data modeling supports by built in an interpreter of language CC. These enable to solve many problems of simulations, transformation of models and others, which allow a better understanding of reality. (cs)
|
Title
| - Using the lambda calculus in the BORM method (en)
- Využití lambda-kalkulu v metodě BORM
- Využití lambda-kalkulu v metodě BORM (cs)
|
skos:prefLabel
| - Using the lambda calculus in the BORM method (en)
- Využití lambda-kalkulu v metodě BORM
- Využití lambda-kalkulu v metodě BORM (cs)
|
skos:notation
| - RIV/68407700:21340/12:00200458!RIV13-MSM-21340___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21340/12:00200458
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - data modelling; BORM method; lambda-calculus (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |