Výuka modelování a testování na úrovni objektů - zkušenosti s Daskalem

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60460709%3A41110%2F07%3A21185" target="_blank" >RIV/60460709:41110/07:21185 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Object-Level Modeling and Testing Education - Daskalos Experience

Popis výsledku v původním jazyce

The paper deals with the new paradigm of object-level modeling and testing. First part of the paper describes the method itself and its role in the area of software engineering. Second part presents our approach integrated with object database technologyand lambdacalculus theory. Next, a supporting tool we developed is discussed. This part depicts our experience. Object-level modeling and testing is based on manipulation with particular object instances containing real data in similar way as in database querying. This enables to validate, verify and renew the conceptual model even before its software implementation. The idea of object-level modeling is already being implemented in some educational or development tools (e.g. BlueJ and Visual Studio .NET). However these tools are too much oriented to target programming environment (Java or C#) and are focused on class-level models of software implementation. This is why we decided to implement our own tool Daskalos, which combines graph

Název v anglickém jazyce

Object-Level Modeling and Testing Education - Daskalos Experience

Popis výsledku anglicky

The paper deals with the new paradigm of object-level modeling and testing. First part of the paper describes the method itself and its role in the area of software engineering. Second part presents our approach integrated with object database technologyand lambdacalculus theory. Next, a supporting tool we developed is discussed. This part depicts our experience. Object-level modeling and testing is based on manipulation with particular object instances containing real data in similar way as in database querying. This enables to validate, verify and renew the conceptual model even before its software implementation. The idea of object-level modeling is already being implemented in some educational or development tools (e.g. BlueJ and Visual Studio .NET). However these tools are too much oriented to target programming environment (Java or C#) and are focused on class-level models of software implementation. This is why we decided to implement our own tool Daskalos, which combines graph

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

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ů

Název statě ve sborníku

3rd South-East European Workshop on Formal Methods - Service-Oriented Computing, Teaching Formal Methods

ISBN

978-960-89629-4-1

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

200-211

Název nakladatele

South-East European Research Centre

Místo vydání

Soluň, Řecko

Místo konání akce

Soluň, Řecko

Datum konání akce

30. 11. 2007

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—