| Attributes | Values |
|---|
| rdf:type
| |
| 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 technology and 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 graphi
- 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 technology and 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 graphi (en)
- 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 technology and 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 graphi (cs)
|
| Title
| - Object-Level Modeling and Testing Education - Daskalos Experience
- Výuka modelování a testování na úrovni objektů - zkušenosti s Daskalem (cs)
- Object-Level Modeling and Testing Education - Daskalos Experience (en)
|
| skos:prefLabel
| - Object-Level Modeling and Testing Education - Daskalos Experience
- Výuka modelování a testování na úrovni objektů - zkušenosti s Daskalem (cs)
- Object-Level Modeling and Testing Education - Daskalos Experience (en)
|
| skos:notation
| - RIV/60460709:41110/07:21185!RIV08-MSM-41110___
|
| http://linked.open.../vavai/riv/strany
| |
| 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/60460709:41110/07:21185
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - formal methods education, UML, object-level modeling, object-level testing, conceptual modeling, lambda-calculus, MDA, OCL, CASE tool, OOP, Smalltalk, Self (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...vEdiceCisloSvazku
| |
| http://linked.open...i/riv/nazevZdroje
| - 3rd South-East European Workshop on Formal Methods - Service-Oriented Computing, Teaching Formal Methods
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Merunka, Vojtěch
- Vostrovský, Václav
- Brožek, Jiří
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| http://linked.open...n/vavai/riv/zamer
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| - South-East European Research Centre
|
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)