Object-Level Modeling and Testing Education - Daskalos Experience

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Object-Level Modeling and Testing Education - Daskalos Experience

Original language description

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

Czech name

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

Czech description

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

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

ISBN

978-960-89629-4-1

ISSN

—

e-ISSN

—

Number of pages

12

Pages from-to

200-211

Publisher name

South-East European Research Centre

Place of publication

Soluň, Řecko

Event location

Soluň, Řecko

Event date

Nov 30, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—