Lidé

doc. Ing. Karel Richta, CSc.

Všechny publikace

Information Systems Development via Model Transformations

  • Autoři: doc. Ing. Karel Richta, CSc., Pokorný, J., Richta, T.
  • Publikace: Intelligent Information and Database Systems. Springer, 2018. p. 674-683. 1. vol. 1. ISSN 0302-9743. ISBN 978-3-319-75416-1.
  • Rok: 2018
  • DOI: 10.1007/978-3-319-75417-8_63
  • Odkaz: https://doi.org/10.1007/978-3-319-75417-8_63
  • Pracoviště: Laboratoř inteligentního testování systémů
  • Anotace:
    Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.

Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling

  • Autoři: Chlumecký, M., Buchtele, J., doc. Ing. Karel Richta, CSc.,
  • Publikace: Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694.
  • Rok: 2017
  • DOI: 10.1016/j.jhydrol.2017.08.025
  • Odkaz: https://doi.org/10.1016/j.jhydrol.2017.08.025
  • Pracoviště: Laboratoř inteligentního testování systémů
  • Anotace:
    The efficient calibration of rainfall-runoff models is a difficult issue, even for experienced hydrologists. Therefore, fast and high-quality model calibration is a valuable improvement. This paper describes a novel methodology and software for the optimisation of a rainfall-runoff modelling using a genetic algorithm (GA) with a newly prepared concept of a random number generator (HRNG), which is the core of the optimisation. The GA estimates model parameters using evolutionary principles, which requires a quality number generator. The new HRNG generates random numbers based on hydrological information and it provides better numbers compared to pure software generators. The GA enhances the model calibration very well and the goal is to optimise the calibration of the model with a minimum of user interaction. This article focuses on improving the internal structure of the GA, which is shielded from the user. The results that we obtained indicate that the HRNG provides a stable trend in the output quality of the model, despite various configurations of the GA. In contrast to previous research, the HRNG speeds up the calibration of the model and offers an improvement of rainfall-runoff modelling.

Impact of User’s Emotion on Software Adaptation

  • Pracoviště: Katedra počítačů, Laboratoř inteligentního testování systémů
  • Anotace:
    The Adaptive Application Structure (AAS) software design resolves the problem with different users needs. It changes its structure based on the current context. Every user has different needs so it is quite challenging problem because the structure of application can be created with quite large number of options. The AAS-approach advantages are clear in form of flexible software design. Developer does not have to create different types of application based on users needs. This approach removes the problem of user modeling (e.g. Personas) for UI developers. As a resource of information about user we can use not only filled information or information about his behavior. We can use also context that will focus on his emotions while he uses the application. This paper considers emotions as a valid and important part of context-aware design.

Model Transformations via XSLT

  • Autoři: Pavlát, J., doc. Ing. Karel Richta, CSc., Richta, T, Janoušek, V
  • Publikace: DATESO 2017. Praha: CTU. Czech Technical University Publishing House, 2017. p. 43-55. ISBN 978-80-01-06138-1.
  • Rok: 2017
  • Pracoviště: Laboratoř inteligentního testování systémů
  • Anotace:
    Many present systems are conceived as a set of autonomous agents that communicate together in solving problems. Petri nets are commonly used for a specification of parallel systems. An interesting question is whether we can implement arbitrary system by a set of Petri nets agents. These agents could be specified by Petri nets, but such a description is not sufficiently userfriendly. Our idea is to define these agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each net of the resulting system is translated into a specific target representation called Petri Nets Byte Code (PNBC). These codes are interpreted by the special Petri Nets Virtual Machines (PNVM), which are installed on all nodes of the system, under the Petri Nets Operating System (PNOS). This paper deals with the one step of this process, which is an implementation of required transformations from workflow model into Petri nets with the help of XSLT.

Adaptive Application Structure Design for Java EE Applications

  • DOI: 10.1145/2987386.2987417
  • Odkaz: https://doi.org/10.1145/2987386.2987417
  • Pracoviště: Katedra počítačů, Laboratoř inteligentního testování systémů
  • Anotace:
    Adaptive Application Structure (AAS) is such a structure that adjusts itself based on the current context. It brings benefits to end users, as it adapts to their specific personal needs. While applications themselves are designed in a particular way by developers, each user is using a particular application differently. Unfortunately, development complexities rise, which necessarily reflects in the development and maintenance efforts increase. The main aim is to mitigate the efforts and to introduce a novel approach to design AAS. A framework to design ASS-based applications is considered and evaluated.

Usage of Aspect-Oriented Programming in Adaptive Application Structure

  • DOI: 10.1007/978-3-319-44066-8_22
  • Odkaz: https://doi.org/10.1007/978-3-319-44066-8_22
  • Pracoviště: Katedra počítačů, Laboratoř inteligentního testování systémů
  • Anotace:
    Adaptive Application Structure (AAS) is one that changes its structure based on the current context. It brings benefits to end users, cause everyone has its own needs. Also the applications is created in some way by developers, but each user is using the application in different way. In AAS-approach development difficulties appears caused by extended development and maintenance efforts. to implement. This paper considers the Aspect-Oriented Programming (AOP)-based approach for the AAS design.

Aspect-oriented User Interface Design for Android Applications

  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper deals with the design of an effective Android framework that will allow a developer to create Android applications easily in a short time with the help of aspect-oriented approach. Our solution enables to deal with separated aspects like security, layout, input validation, data binding and presentation independently. Our presented framework is compared to conventional development approach of mobile applications and also is compared to the framework Aspect Faces that is also uses aspect-oriented approach, but is de-signed for Java EE applications. Each aspect of framework was tested and it was proven that our framework is effective in the following areas. It does not slow down the developed application according to the same application created with XML, it makes the code to be more readable, and it makes development faster, and reduces the number of code lines that developer has to write down.

Database Architectures: Current State and Development

  • Autoři: Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of DATA 2015. Porto: SciTePress - Science and Technology Publications, 2015. pp. 151-160. ISBN 978-989-758-103-8.
  • Rok: 2015
  • Pracoviště: Katedra počítačů
  • Anotace:
    The paper presents shortly a history and development of database management tools in last decade. The movement towards a higher database performance and database scalability is discussed in the context to requirements of practice. These include Big Data and Big Analytics as driving forces that together with a progress in hardware development led to new DBMS architectures. We describe and evaluate them mainly in terms of their scalability. We focus also on a usability of these architectures which depends strongly on application environment. We also mention more complex software stacks containing tools for management of real-time analysis and intelligent processes.

Application and Relational Database Co-Refactoring

  • Autoři: Macek, O., doc. Ing. Karel Richta, CSc.,
  • Publikace: COMSIS - Computer Science and Information Systems. 2014, 11(2), 503-524. ISSN 1820-0214.
  • Rok: 2014
  • DOI: 10.2298/CSIS130610033M
  • Odkaz: https://doi.org/10.2298/CSIS130610033M
  • Pracoviště: Katedra počítačů
  • Anotace:
    A refactoring of application persistent objects affects not only the source code but the stored data as well. The change is usually processed in two steps: refactoring and data migration, which is ineffective and error prone. We provide a formal model for solution which is capable to migrate database according to a refactoring in the application code. The feasibility of the change and its data-secure processing is addressed as well.

Domain Specific Language Approach on Model-driven Development of Web Services

  • Autoři: Nguyen, V., Qafmolla, X., doc. Ing. Karel Richta, CSc.,
  • Publikace: Acta Polytechnica Hungarrica. 2014, 11(8), 121-138. ISSN 1785-8860.
  • Rok: 2014
  • DOI: 10.12700/APH.11.08.2014.08.7
  • Odkaz: https://doi.org/10.12700/APH.11.08.2014.08.7
  • Pracoviště: Katedra počítačů
  • Anotace:
    As modern distributed and cloud architecture keep gaining their popularity, web services have become the programmatic backbones of more and more systems. Developing web services requires gathering information from different aspects. Model-driven engineering promises to ease the burden of development and promote reuse of web services by focusing more on a higher level of abstraction. Current approach of modeling web services using UML is not well-suited since UML is created for multiple disciplines and is not specific for web service development. With current growing scale of distributed systems, the challenge is not only in development but also integration and maintenance of web services. Introducing a domain specific language (DSL) for modeling of web services promises to become a novel approach and could be the solution to the current problem with web service modeling and development. This article outlines the analysis as well as the current state of the problem domain and introduces an approach to model-driven development of web services by implementing a domain specific language called SWSM (Simple Web Service Modeling). This approach aims to solve problems that UML could not effectively resolve and promote efficiency with a non-complex language facility for modeling and code generation of web services. Our best practices and observation during the design of SWSM are also presented.

Metamodel-based Generation of Web Content Management Systems

  • Autoři: Qafmolla, X., Nguyen, V., doc. Ing. Karel Richta, CSc.,
  • Publikace: International Journal on Information Technologies and Security. 2014, 2014(4), 17-30. ISSN 1313-8251.
  • Rok: 2014
  • Pracoviště: Katedra počítačů
  • Anotace:
    The number of tools supporting Web content creation and management has massively grown in the last two decades. Most of these tools are too complex for practical usage and require strong understanding of the related technologies. We present a methodology for semi-automated generation of Web content management systems based on a generic metamodel. Its aim is to minimize the need of intervention by the technical user. To support the methodology we have developed proof-ofconcept tools that have been used for evaluation in real-world case studies. In this paper we also present these tools and the results of the evaluation process.

How can formalization of SOA help in finding solutions for IT systems

  • Autoři: Skřivánek, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATESO 2013. Ostrava: Dept.of Computer Science, FEECS, VŠB-TUO, 2013. pp. 70-79. ISBN 978-80-248-2968-5.
  • Rok: 2013
  • Pracoviště: Katedra počítačů
  • Anotace:
    Service Oriented Architectures (SOA) are nowadays one of the most important styles in developing new information systems. SOA is attracting a lot of attention in industry as credible tool for managing large infrastructures. These systems divided into divisions have often complex models, which can contain mistakes or are informal. There are not enough current tools for testing semantic correctness of included services. Ways in research of solving such challenges are Model Driven Development (MDD) principles. We introduce the necessity of formalization of SOA in process of developing new systems and also integrating the legacy systems. We want to describe the ideas of how to achieve machine readable specifications using software tools which can then be used to verify the correctness of using the service along the required rules and its testing. We want to open two specific areas of research that is formalization of the transfer process between business and software design models and the formalization of the methods of integrating existing services.

Petri Nets versus UML State Machines

  • Autoři: doc. Ing. Karel Richta, CSc., Kubátová, H., Richta, T.
  • Publikace: SDOT 2013. Praha: Vysoká škola manažerské informatiky a ekonomiky, a.s., 2013. p. 1-7. ISBN 978-80-86847-66-5.
  • Rok: 2013
  • Pracoviště: Katedra počítačů
  • Anotace:
    Petri nets are widely used for the specification of problems, in particular for describing concurrent systems. On the other hand, new versions of the UML specification precisely define the semantics of activity diagrams, and state machines, which can also be used to describe parallel systems. An interesting question is whether we can replace any Petri net machine by the state machine describing the same behavior, and vice versa.

Possible Realizations of Multiplicity Constraints

  • Autoři: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: COMSIS - Computer Science and Information Systems. 2013, 10(4), 1621-1646. ISSN 1820-0214.
  • Rok: 2013
  • DOI: 10.2298/CSIS121210067R
  • Odkaz: https://doi.org/10.2298/CSIS121210067R
  • Pracoviště: Katedra počítačů
  • Anotace:
    Model Driven Development (MDD) approach is often used to model application data and behavior by a Platform Independent Model (PIM) and to generate Platform Specific Models (PSMs) and even the source code by model transformations. However, these transformations usually omit constraints of the binary association multiplicities, especially the source class optionality constraint. This paper is an extended version of the paper ’Transformation of Special Multiplicity Constraints - Comparison of Possible Realizations’ presented at MDASD workshop at the FedCSIS 2012 conference. In this paper, we summarize the process of the transformation of a binary association from a PIM into a PSM for relational databases. We suggest several possible realizations of the source class optionality constraint to encourage the automatically transformation and discuss their advantages and disadvantages.We also provide experimental comparison of our suggested realizations to the common realization where this constraint is omitted.

Modelování a evoluce XML schémat

  • Autoři: doc. Ing. Karel Richta, CSc., Klímek, J., Nečaský, M., Malý, J.
  • Publikace: DATAKON 2012. Košice: Technical University of Košice, 2012. pp. 117-126. ISBN 978-80-553-1049-7.
  • Rok: 2012
  • Pracoviště: Katedra počítačů
  • Anotace:
    Cílem příspěvku je poskytnout informace o možnostech modelování XML dat, vytváření abstraktních modelů dat tak, abychom mohli validovat, zda dokumenty jsou syntakticky korektní, zda odpovídají schématu, následně mohli dokumenty zpracovávat jako silně typované. Navíc lze při zveřejnění XML schématu dosáhnout vyšší standardizace při přenosu dokumentů. Modelování XML schémat je rovněž užitečné při nezbytných transformacích XML dokumentů, pokud potřebujeme změnit jejich strukturu. K tomu je vhodné konstruovat podpůrné nástroje.

Modelování XML schémat

  • Autoři: doc. Ing. Karel Richta, CSc., Nečaský, M., Klímek, J., Malý, J.
  • Publikace: Moderní databáze 2012. Praha: Komix, 2012. pp. 12-23. ISBN 978-80-905231-0-4.
  • Rok: 2012
  • Pracoviště: Katedra počítačů
  • Anotace:
    Cílem přednášky je poskytnout informace o možnostech modelování XML dat, vytváření abstraktních modelů dat tak, abychom mohli validovat, zda dokumenty jsou syntakticky korektní, zda odpovídají schématu, následně mohli dokumenty zpracovávat jako silně typované. Navíc lze při zveřejnění XML schématu dosáhnout vyšší standardizace při přenosu dokumentů. Modelování XML schémat je rovněž užitečné při nezbytných transformacích XML dokumentů, pokud potřebujeme změnit jejich strukturu.

Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations

  • Autoři: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: Federated Conference on Computer Science and Information Systems (FedCSIS 2012). New York: IEEE, 2012. pp. 1357-1364. ISBN 978-1-4673-0708-6.
  • Rok: 2012
  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper deals with transformation of a binary relationship from Platform Independent Model (PIM) to Platform Specific Model (PSM) for relational database from the point of view of Model Driven Development (MDD). The paper summarizes the transformation of a binary relationship with multiplicity constraints and focus on problems of the current approach for such transformations. In this particular paper, we define a special OCL constraint for source entity parciality that is usually omitted during transformation. This constraint is easily transformable to PSM and can be transformed automatically with the model. We suggest three various possible realizations for the defined constraint. We also present some experiments to demonstrate that our approach with the special constraint is equivalent in execution time to the current approach of a binary relationship realization in a relational database while providing better consistency control. Finally, we generalize our proposed solution to be used for special multiplicity values used in PIM that cannot be enforced by the foreign key mechanism.

Using OCL in Model Validation According to Stereotypes

  • Autoři: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATESO 2012. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2012. pp. 93-102. ISSN 1613-0073. ISBN 978-80-7378-171-2.
  • Rok: 2012
  • Pracoviště: Katedra počítačů
  • Anotace:
    Model-Driven Development approach became popular in past years. Domain-specific profiles are defined for various domains and tools are used to transform models using these profiles to source code artifacts. However, rules need to be defined for the profile elements usage so the transformation can be effective and reliable. This paper deals with an approach of expressing these rules using special type of metamodel with UML class diagrams with the stereotypes defined in the profile - we call them constraint diagrams. Each class in this metamodel represent all classes in the model with the same stereotype. Using stereotyped associations, we can link classes with different stereotypes and restrict the usage of such stereotype only to relations between specific stereotyped classes in the model. OCL constraints can be generated from the constraint diagram to enable validation of the model according to the rules in the metamodel. This paper deals with the description of the constraint diagram creation and OCL constraints generation.

Validation of stereotypes' usage in UML class model by generated OCL constraints

  • Autoři: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: Information Technologies - Applications and Theory 2012. Košice: Technical University of Košice, 2012. pp. 25-32. ISBN 978-80-971144-1-1.
  • Rok: 2012
  • Pracoviště: Katedra počítačů
  • Anotace:
    The Model Driven Development approach became popular in the past years. Domain-specific profifies are defifined for various domains and tools are used to transform UML class models using these profifiles to source code artifacts. However, rules need to be defined for the profifile elements' usage so the transformation can be efffective and reliable. The paper deals with an approach of expressing these specific rules using a special type of meta-model using UML class diagram notation with the stereotypes defifined in the profile { we call them constraint diagrams. In these diagrams we can restrict usage of specific stereotypes according to the other connected stereotypes. OCL invariants can be generated from these diagrams that can be used to validate a model that uses the profifile. The approach is illustrated on an example of a UML profifile for J2EE and Flex application.

Open Design Architecture for Round Trip Engineering

  • Autoři: Beličák, M., Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publikace: Information Systems Development ISD 2009: Challenge of Practice and Theory in Web-based Information Services. Heidelberg: Springer, 2011. pp. 281-293. ISBN 978-1-4419-7205-7.
  • Rok: 2011
  • DOI: 10.1007/978-1-4419-7355-9_24
  • Odkaz: https://doi.org/10.1007/978-1-4419-7355-9_24
  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper introduces a component design of application logic in special type of information system architecture called Open Design Architecture for Round Trip Engineering (ODARTE). This architecture supports model-driven development and integrates information system design with its executable form. It is possible to extract design anytime, modify it and load back to change the activity and behavior of information system. In this approach, the application logic represents solely functionality and can be described either by sequential model of Windows Workflow Foundation or by UML activity or interaction diagrams. This approach allows creation of flexible and modifiable meta-design of application logic. Finally, an experimental simulation is shown demonstrating the effect of proposal which relates to pilot version of runtime environment for ODARTE support.

Servisně Orientované Architektury

  • Autoři: Nečaský, M., Kusák, D., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011. pp. 1-26. ISBN 978-80-214-4329-7.
  • Rok: 2011
  • Pracoviště: Katedra počítačů
  • Anotace:
    Pojem "servisně orientovaná architektura", neboli SOA, je v dnešní době skloňován ve všech pádech odbornou i laickou veřejností. Jedná se o architektonický přístup k budování firemní IT infrastruktury, založený na konceptu služeb. Snaží se ovzájemné "sladění" potřeb organizace s její IT infrastrukturou. Hlavním přínosem aplikace SOA uvnitř společnosti by mělo být zvýšení její flexibility a efektivity jejího chodu. Právě konceptem SOA a aplikací tohoto konceptu v praxi se v tutoriálu zabýváme. V jeho první části se posluchači seznámí se základními aspekty SOA. V další části je zavedena metodika pro tvorbu SOA řešení, tzv. metodika byznysem řízeného vývoje. Hlavní částí tutoriálu je potom rozbor fází životního cyklu SOA řešení, tj. modelování, vývoj, nasazení v prostředí organizace, monitorování a nakonec jeho adaptací dle měnících se požadavků.

Transformation of Binary Relationships with Particular Multiplicity

  • Autoři: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATESO 2011. Ostrava: VŠB - Technical University of Ostrava, 2011. p. 25-38. 1. ISSN 1613-0073. ISBN 978-80-248-2391-1.
  • Rok: 2011
  • Pracoviště: Katedra počítačů
  • Anotace:
    The paper deals with one small step in the process of model driven development (MDD). This paper describes basic principles and restrictions for transformations of binary relationships and transformations of binary relationships with the particular multiplicity from PIM level into PSM level. The idea is illustrated on examples.

Transformation of relationships from UML/OCL to SQL

  • Autoři: doc. Ing. Karel Richta, CSc., Rybola, Z.
  • Publikace: ITAT 2011: Zborník príspevkov prezentovaných na konferencii ITAT. Košice: Univerzita P.J.Šafárika, 2011. pp. 31-37. ISBN 978-80-89557-01-1.
  • Rok: 2011
  • Pracoviště: Katedra počítačů
  • Anotace:
    The paper deals with one particular step in the process of model driven development (MDD). MDD sup- poses that the software development process is the sequence of model transformations from computation independent models (CIM) to platform independent models (PIM), plat- form specific models (PSM), and implementation specific models (ISM). Similar transformations can support reverse engineering processes. This paper describes principles and possibilities for transformations of the class model in UML with integrity constraints in OCL from PIM level into PSM level. The idea will be illustrated on examples.

Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java

  • Autoři: Procházka, A., Lungu, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011. pp. 31-41. ISBN 978-80-214-4329-7.
  • Rok: 2011
  • Pracoviště: Katedra počítačů
  • Anotace:
    Znalost původu a smyslu zdrojového kódu softwarového ekosystému je kritické jak pro organizaci, které ekosystém vlastní, tak pro vývojáře, kteří pracují na evoluci ekosystému. Modelem řízený vývoj (MDD) a modelem řízená architektura (MDA) obsahují několik důležitých zdrojů informací, které tuto znalost pokrývají. Jedním z nich je popis závislostí mezi projekty a jinými moduly ekosystému. Mnoho způsobů pro popis závislostí mezi projekty existuje již dnes. Přesto se ale během evoluce ekosystému nevyužívají nebo se neudržují aktuální. Tento problém lze vyřešit dvěma způsoby. První je donucení vývojářů k ručnímu udržování těchto informací. To je ale časově náročné, nekomfortní a přivádí to do systému potenciální zdroj chyb. Druhá možnost je využití možností reverzního inženýrství. I pro tuto cestu existují hotová řešení. Náš příspěvek diskutuje možnost využití metody Ecco pro získávání informací o závislostech mezi projekty v softwarových ekosystémech založenými na platformě Java.

Denotational Semantics of the XML-Lambda Query Language

  • Autoři: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATESO 2010. Praha: Matfyzpress, 2010. pp. 139-146. ISSN 1613-0073. ISBN 978-80-7378-116-3.
  • Rok: 2010
  • Pracoviště: Katedra počítačů
  • Anotace:
    In this paper, we define formally the XML-Lambda Query Language, a query language for XML, that employs the functional data model. This research brought in the key idea of a func- tional query processing with a wide potential that was later proven by a simple prototype implementation.

Evaluation criteria for management of large communication networks

  • Autoři: doc. Ing. Karel Richta, CSc., Vrana, I., Vrána, J.
  • Publikace: Systémová integrace. 2010, 17(1), 7-17. ISSN 1210-9479.
  • Rok: 2010
  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper discusses aspects of how to compare suitability of different approaches for building and operating a system to support a telecommunication network configuration management. Proposed evaluation criteria will serve for comparison of main features and effectiveness of individual implementation methods considered for the network management. Applying these criteria can help to select such an implementation method, which enable reduction of errors, better exploitation of capacity of individual network elements and significant reduction of hardware costs.

Jazyk OCL a modelem řízený vývoj

  • Pracoviště: Katedra počítačů
  • Anotace:
    Jednou z často citovaných zkratek poslední doby je MDD (Model Driven Development), příp. MDA (Model Driven Architecture), nebo dokonce MDE (Model Driven Engineering). Princip těchto přístupů spočívá v tom, že se při tvorbě aplikace využívají různé modely. Sdružení OMG propaguje myšlenku, že práce s modelem může přinést mnoho nových možností. Model může být použit pro generování struktury dat a kostry řešení, reverzním inženýrstvím lze získat model existujícího systému pro jeho snazší pochopení, či úpravy. Nad modelem lze provádět různé transformace, refaktorizace apod. Pro modelování se v současnosti nejvíce využívá standard UML (Unified Modeling Language). Aby však byl model dostatečně úplný, je třeba doplnit diagramy v UML přesnými popisy různých integritních omezení. Pro tento účel obsahuje definice UML speciální jazyk nazvaný OCL (Object Constraint Language), jehož strukturou a smyslem se tento příspěvek zabývá. Principy OCL jsou ilustrovány zejména na příkladech.

Modelem řízený vývoj a jeho výuka

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Informatika XXIII/2010. Brno: Mendelova zemědělská a lesnická univerzita v Brně, 2010. pp. 101-102. ISBN 978-80-7375-394-8.
  • Rok: 2010
  • Pracoviště: Katedra počítačů
  • Anotace:
    Jednou z často citovaných zkratek poslední doby je MDA (Model Driven Architecture), nebo MDD (Model Driven Development), resp. MDE (Model Driven Engineering). Základní princip tohoto přístupu spočívá v tom, že se při tvorbě aplikace nějakým způsobem využívá model. Otázkou je, zda nám může vytváření modelu něco přinést? A pokud ano, jak tento způsob vývoje aplikovat ve výuce? To jsou otázky, na které se budeme snažit v tomto přípěvku odpovědět.

On the Denotational Semantics of XML-Lambda

  • Autoři: doc. Ing. Karel Richta, CSc., Loupal, P.
  • Publikace: ITAT 2010 - Informačné Technologie - Aplikácie a Teória. Košice: Univerzita P. J. Šafárika, 2010. pp. 33-38. ISSN 1613-0073.
  • Rok: 2010
  • Pracoviště: Katedra počítačů
  • Anotace:
    The article deals with the denotational semantics of a special query language called XML-Lambda, which is based on the simply typed lambda calculus. The exact semantics allows experimentation with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML-Lambda environment. The main advantage of our approach is the possibility of a query optimizations in the XML-Lambda intermediate form. It is much more easier than optimizations based on the offcial W3C semantics. XML-Lambda is a part of more complex XML-Lambda Framework which serves for experimenting with the tools for XML processing.

Rekonstrukce OCL z SQL

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2010. Ostrava: Ostravská univerzita, 2010. pp. 1-10. ISBN 978-80-7368-424-2.
  • Rok: 2010
  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek se zabývá možnostmi rekonstrukce konceptuálního modelu tříd a integritních omezení v OCL z existujícího SQL, jako příspěvek k procesu reverzního inženýrství v rámci modelem řízeného vývoje.

Integration of weakly heterogeneous semistructured data

  • Autoři: Feuerlicht, G., Pokorný, J., doc. Ing. Karel Richta, CSc., Ruttananontsatean, N.
  • Publikace: Information Systems Development (ISD2008). New York: Springer, 2009. pp. 69-78. Computer Science. ISBN 978-0-387-84809-9.
  • Rok: 2009
  • DOI: 10.1007/b137171_8
  • Odkaz: https://doi.org/10.1007/b137171_8
  • Pracoviště: Katedra počítačů
  • Anotace:
    While most business applications typically operate on structured data that can be effectively managed using relational databases, some applications use more complex semistructured data that lacks a stable schema. XML techniques are available for the management of semistructured data, but such techniques tend to be ineffective when applied to large amounts of heterogeneous data, in particular in applications with complex query requirements. In this paper we describe an approach that relies on the mapping of multiple semistructured data sets to object-relational structures and uses an object-relational database to support complex query requirements. We illustrate this approach using weakly heterogeneous oceanographic data.

Minimalizace pedagogické zátěže

  • Autoři: Ing. Martin Komárek, doc. Ing. Karel Richta, CSc., Mlejnek, J.
  • Publikace: Sborník abstraktů z mezinárodní odborné pedagogicky zaměřené konference Informatika XXII/2009. Brno: Konvoj, 2009, pp. 22-23. ISBN 978-80-7302-125-8.
  • Rok: 2009
  • Pracoviště: Katedra počítačů
  • Anotace:
    Výuka předmětů, které absolvují stovky studentů, má svá specifika. Hlavním rysem je poměrně velký počet seminářů, jejichž výuku není schopen zajistit sám přednášející. Tento článek pojednává o možnostech minimalizace pedagogické zátěže při seminární výuce a hodnocení studentských prací. Příspěvek probírá možnosti, jak minimalizovat pedagogické zatížení beze ztráty kvality. Diskutuje metody nazývané "prosemináře", "ateliarizace" výuky a "skupinové projekty". Příspěvek se pokouší naznačit některá možná řešení problémů s minimalizací pedagogické zátěže u velkých předmětů. Prezentované principy jsou výsledkem experimentů s výukou předmětů softwarového inženýrství na Fakultě elektrotechnické Českého vysokého učení technického v Praze.

Modelem řízený vývoj

  • Pracoviště: Katedra počítačů
  • Anotace:
    Základní principy modelem řízeného přístupu. Zabývá se předpoklady pro přímý vývoj řešení z modelu a zpětné inženýrství.

Obecný editor schémat

  • Autoři: Karas, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2009. Praha: Univerzita Karlova, Matematicko-fyzikální fakulta, 2009. pp. 135-144. ISBN 978-80-245-1568-7.
  • Rok: 2009
  • Pracoviště: Katedra počítačů
  • Anotace:
    Cílem tohoto příspěvku je popis řešení univerzálního editoru schémat, který vznikl v rámci diplomové práce jako součást většího projektu na podporu vývoje systémů ze specifikací. Cílem popisované práce bylo navrhnout a implementovat pilotní verzi univerzálního konfigurovatelného editoru schémat. Konfigurací editoru jsou určeny možné prvky schémat a jejich možné vazby. Každý prvek a každá vazba může mít atributy, popisující jejich vlastnosti. Editor by měl být dále schopen importovat a exportovat data ve formátu XML (XMI).

The BPM to UML Activity Diagram Transformation Using XSLT

  • Autoři: Macek, O., doc. Ing. Karel Richta, CSc.,
  • Publikace: Databases, Texts, Specifications, and Objects. Praha: ČVUT v Praze, 2009. p. 119-129. ISSN 1613-0073. ISBN 978-80-01-04323-3.
  • Rok: 2009
  • Pracoviště: Katedra počítačů
  • Anotace:
    This article describes common problems with the transformation of a BPMN diagram to a Unified Modeling Language activity diagram.

XML Query Evaluation Using a Lambda-Calculus Based Framework

  • Autoři: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publikace: SOFSEM 2009. Heidelberg: Springer, 2009. pp. 1-13. ISBN 978-3-540-95890-1.
  • Rok: 2009
  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper describes a proposal for evaluating XPath and XQuery queries using a functional framework for XML - XML-lambda. Our approach is based on a language that utilizes a simply typed lambda-calculus enriched with tuples. In principle, input queries are transformed into an intermediate representation and subsequently evaluated inside a virtual machine. We also publish the result of an interim performance benchmark that compares our prototype implementation written in Java with other similar tools.

Evaluation of XPath Fragments Using Lambda Calculi

  • Autoři: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publikace: Information Technologies - Applications and Theory. Košice: Univerzita P. J. Šafárika, 2008. pp. 73-76. ISBN 978-80-969184-9-2.
  • Rok: 2008
  • Pracoviště: Katedra počítačů
  • Anotace:
    XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply typed lambda calculi and a general type system - XML-Lambda - for description of semantics of a query language. With such formalism we are able to describe the semantics of all language constructs and evaluate XPath queries using the XML-Lambda virtual machine.

Formal Models of Object-Oriented Databases

  • Autoři: doc. Ing. Karel Richta, CSc., Toth, D.
  • Publikace: Objekty 2008. Žilina: Žilinská univerzita v Žiline, Fakulta riadenia a informatiky, 2008. pp. 204-217. ISBN 978-80-8070-927-3.
  • Rok: 2008
  • Pracoviště: Katedra počítačů
  • Anotace:
    Common models of object-oriented databases. The paper seeks to formulate a common foundation of database systems based on category theory.

UML, alea iacta est

  • Autoři: Benešovský, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2008. Brno: Masarykova univerzita, 2008. pp. 100-122. ISBN 978-80-7355-081-3.
  • Rok: 2008
  • Pracoviště: Katedra počítačů
  • Anotace:
    Z hlediska současného stavu v oblasti vývoje SW se zdá, že kostky UML byly již vrženy. Tutoriál se zabyvá rozborem, kam dopadly a kolik je výsledný součet. Obsahuje dvě části: teoretický rozbor aktuálního stavu UML a rozbor praktického využití UML. Problematika je ilustrována zejména na příkladech.

XML Technologie

  • Autoři: Mlýnková, I., Nečaský, M., Pokorný, J., doc. Ing. Karel Richta, CSc., Toman, K., Toman, V.
  • Publikace: Praha: Grada, 2008. ISBN 978-80-247-2725-7.
  • Rok: 2008
  • Pracoviště: Katedra počítačů
  • Anotace:
    Kniha zabývající se popisem technologií rodiny XML. Obsahuje podrobný popis definice struktury XML dokumentů, nástroji pro vyhledávání, dotazování, transformace a komprese XML dat.

CellStore: Educational and Experimental XML-Native DBMS

  • Autoři: Pokorný, J., doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publikace: Information Systems Development 2007. Galway: National University of Ireland, 2007. pp. 989-1000. ISBN 978-0-387-78577-6.
  • Rok: 2007
  • Pracoviště: Katedra počítačů
  • Anotace:
    The paper presents the CellStore project whose aim is to develop XML-native database engine for both educational and research purposes. In the paper we discuss the basic concepts of the system and its top-level architecture. Then we discuss individual parts of the systems. The discussion is focused mainly on already finished and tested subsystems - low-level storage (we designed and implement own binary storage model) naive XQuery implementation, and transaction manager. We plan to extend the system in a way to be used as an experimental back-end for web-based application of Semantic web and specialized XML storages. The whole project is managed with focus on clear object-oriented design and test-driven development.

Object-Relational Database Design: Can Your Application Benefit From SQL:2003?

  • Autoři: Pokorný, J., doc. Ing. Karel Richta, CSc., Feuerlicht, G.
  • Publikace: Information Systems Development 2007. Galway: National University of Ireland, 2007. p. 975-988. ISBN 978-0-387-78577-6.
  • Rok: 2007
  • Pracoviště: Katedra počítačů
  • Anotace:
    The object-relational database features were first specified in the SQL:1999 standard and then enhanced in SQL:2003. Support of these features in commercial DBMSs enables the implementation of complex data types and relationships that characterize modern database applications. We use an illustrative example to show that the object-relational implementation can provide significant benefits simplifying the resulting data structures and the implementation of database queries.

Jazyky XQuery a XPath

  • Pracoviště: Katedra počítačů
  • Anotace:
    Příspěvek popisuje jazyky XPath, XPointer, XLink a XQuery.

Optimalizace v relačním SŘBD

  • Autoři: Halaška, I., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON 2006. Brno: Masarykova univerzita, 2006. pp. 21-40. ISBN 80-210-4102-1.
  • Rok: 2006
  • Pracoviště: Katedra počítačů
  • Anotace:
    Příspěvek pojednává o úloze optimalizátoru v relačním databázovém systému. Probírá možnosti optimalizátoru při sestavování plánu provedení SQL příkazu, ukazuje možnosti změny formulace příkazu zadaného aplikací, shrnuje metody přístupu k vybrané množině řádků, zabývá se metodami spojování re-lačních tabulek. Pojednává o podkladech, které optimalizátor při svém rozho-dování používá - jedná se o objektové a systémové statistiky, osnovy plánů a profily SQL příkazů. Stručně také dotýká možností identifikace těch SQL pří-kazů, jejichž neefektivní zpracování má nepříznivý dopad na průchodnost apli-kace, resp. celého systému.

Projekt CellStore - objektová implementace XML-nativního SŘBD

  • Autoři: doc. Ing. Karel Richta, CSc., Valenta, M., Vraný, J.
  • Publikace: Objekty 2006. Ostrava: Technická universita Ostrava - Vysoká škola báňská, 2006. pp. 51-64. ISBN 80-213-1568-7.
  • Rok: 2006
  • Pracoviště: Katedra počítačů
  • Anotace:
    Projekt CellStore popisuje objektovou implementaci nativního XML SŘBD, který je využíván pro výzkumné a výukové účely na katedře počítačů FEL ČVUT v Praze.

Quo vadis, SI?

  • Pracoviště: Katedra počítačů
  • Anotace:
    Příspěvek je podkladem pro diskuzi na téma "softwarové inženýrství". Pokouší se vymezit obsah termínu "softwarové inženýrství" a porovnat jej s ostatními inženýrskými disciplinami.

Novinky formátu UML 2.0

  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek se zabývá novinkami formátu UML 2.0 a jejich závislostmi.

Optimalizace práce optimalizátoru Oracle 10g

  • Autoři: Halaška, I., doc. Ing. Karel Richta, CSc.,
  • Publikace: DATAKON2005. Brno: VUT v Brně, 2005, pp. 371-384. ISBN 80-210-3813-6. Available from: http://www.datakon.cz
  • Rok: 2005
  • Pracoviště: Katedra počítačů
  • Anotace:
    Příspěvek pojednává o možnostech snížení režie optimalizátoru při volbě plánu provedení SQL příkazu, který je výsledkem analýzy příkazu v systému Oracle. Příspěvek popisuje fáze rozhodování optimalizátoru, které předcházejí před úplným zpracováním příkazu. Stručně připomíná sdílení kurzorů, sběr optimalizačních statistik, použití osnov plánu a profilu SQL příkazu.

Aktivní databáze a databáze řízené pravidly

  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek se zabývá základními principy aktivních databázových systémů, uvádí příklady takových systémů. Obsahuje příklad využití aktivních databází pro řešení problémů pomocí událostmi řízeného prostředí.

Approximate Tree Embedding Problem - An Algebraic Approach

  • Autoři: Snášel, V., Šeptáková, E., Hrazdil, I., doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publikace: Proceedings of the First Twente Data Management Workshop. Twente: CTIT - Centre for Telematics and Information Technology, 2004. pp. 39-43. ISSN 0929-0672.
  • Rok: 2004

Business Function Prototyping via XSLT

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: ISD 2003. New York: Kluwer Academic / Plenum Publishers, 2004. p. 209-221. ISBN 0-306-48554-0.
  • Rok: 2004
  • Pracoviště: Katedra počítačů
  • Anotace:
    This paper will examine possible usage of XSLT language for business function modeling. The typical present application supposes some information stored inside a database. The state of any information system can also be described by a set of XML-documents. Any other XML-document can be the part of information processing. When we have such a set of XML-documents, we need to manipulate them for various business purposes, similarly as the usual business functions do with a database.

Business Function Prototyping via XSLT

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: ISD 2003. New York: Kluwer Academic / Plenum Publishers, 2004. pp. 209-221. ISBN 0-306-48554-0.
  • Rok: 2004
  • Pracoviště: Katedra počítačů
  • Anotace:
    The paper deals with the method how to prototype business functions with the help of XSLT services. The function description is converted into XSL description and interpreted by XSLT processor, inbuild into Web browsers.

Business Functions Prototyping via XSLT

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice. New York: Kluwer Academic / Plenum Publishers, 2004. p. 209-221. ISBN 0-306-48554-0.
  • Rok: 2004

Rodina formátů XML

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: EurOpen - XXIV. konference. Praha: EuroOpen CZ, 2004, pp. 95-121. ISBN 80-86583-06-6.
  • Rok: 2004
  • Pracoviště: Katedra počítačů
  • Anotace:
    Popis základních formátů na bázi XML, formát XML, reprezentace XML dokumentů, rozhranní DOM a SAX, jazyk XPath, transformační nástroj XSL, protokol SOAP, popis webových služeb pomocí WSDL.

Zásady a postupy zavádení podnikových informacních systému

  • Pracoviště: Katedra počítačů
  • Anotace:
    Kniha popisuje zásady při budování podnikového informačního systému (IS) a kritické faktory rozhodující o úspěchu či selhání projektu IS. Autoři dávají praktický návod pro postup v jednotlivých fázích zavádění IS. Součástí knihy jsou vzory smluv a dokumentů i základy modelovacího jazyka UML pro snazší komunikaci tvůrců a uživatelů IS.

Deriving Database from UML/OCL Specification

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: AED 2003. Praha: Procesní inženýrství Ing. J. Novosad, 2003. pp. 1-7. ISBN 80-86059-35-9.
  • Rok: 2003
  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek se zabývá popisem postupu, jak ze specifikace v UML a OCL odvodit popis databáze. Jako příklad je použit převod diagramu tříd UML, včetně doplňujících specifikací v OCL, do relačního modelu.

Standardy pro webové služby WSDL, UDDI

  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek se zabývá tzv. "webovými službami" a popisuje související standardy WSDL (Web Services Descritpion Language) a UDDI (Universal Description, Discovery and Integration).

Unifikovaný modelovací jazyk UML

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Systems Integration 2003. Praha: Česká silniční společnost, 2003. pp. 386-393. ISBN 80-245-0522-3.
  • Rok: 2003
  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek popisuje unifikovaný modelovací jazyk UML (Unified Modeling Language) a jeho osm základních diagramů.

Web Services and WSDL

  • Pracoviště: Katedra počítačů
  • Anotace:
    Článek popisuje tzv. Webové služby a jednu aplikaci XML nazývanou WSDL (Web Services Description Language), která slouží pro popis těchto služeb.

A Comparison of Declarative and Procedual Constraints in Database Management Systems

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: Tvorba softwaru 2002. Ostrava: Tanger, 2002, pp. 5-12. ISBN 80-85988-74-7.
  • Rok: 2002

Deriving Triggers from Integrity Constraint Specifications in the Database Management Systems

Deriving Triggers from UML/OCL Specification

  • Autoři: doc. Ing. Karel Richta, CSc., Badawy, M.
  • Publikace: ISD 2002. New York: Kluwer Academic / Plenum Publishers, 2002. pp. 305-316. ISBN 0-306-47698-3.
  • Rok: 2002

Integrity Constraints Specification in the Tuple Relational Calculus

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 214-215. ISBN 80-01-02511-X.
  • Rok: 2002

Mapping Integrity Constraints into Relational Model

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 370-371. ISBN 80-01-02511-X.
  • Rok: 2002

Transformace řízené XSLT

UML - Theory & Practice I

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of Annual Database Conference DATAKON 2002. Brno: Masarykova univerzita, 2002, pp. 1-25. ISBN 80-210-2958-7.
  • Rok: 2002

Using Metadata to Information Transfer

  • Autoři: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publikace: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 182-183. ISBN 80-01-02511-X.
  • Rok: 2002

Using XSL in IS Development

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: New Perspectives on Information Systems Development: Theory, Methods, and Practice. New York: Kluwer Academic / Plenum Publishers, 2002. p. 309-319. ISBN 0-306-47251-1.
  • Rok: 2002

Using XSLT for IS Simulation

Declarative Constraints and Triggers in Database Systems

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: ICPR 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 12-21.
  • Rok: 2001

Generation of Object-Oriented Databases from Relational Databases

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of Workshop 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 150-151. ISBN 80-01-02335-4.
  • Rok: 2001

Integrity Enforcement in a Database Using Constraints and Triggers

  • Autoři: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publikace: ICPR 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 1-12.
  • Rok: 2001

Typy v XML a XML-schémata

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: DATESO'01 - Proceedings of Workshop on Databases, Texts, Specifications, and Objects. Praha: České vysoké učení technické v Praze, 2001, pp. 20-32. ISBN 80-01-02376-1.
  • Rok: 2001

Using XML and XSL to Express Formal Semantics

Using XSL in IS Development

XML-schémata

Formáty XML a XSL

HTML v XML = XHTML

Proč XML?

Transformation of UML Models into XML

  • Autoři: Bisová, V., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of Challenges 2000 ADBIS-DASFAA. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2000. pp. 33-45. ISBN 80-85863-56-1.
  • Rok: 2000

XML a semistrukturovaná data

  • Autoři: Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of DATASEM 2000. Brno: Masarykova univerzita, 2000, pp. 47-63. ISBN 80-210-2428-3.
  • Rok: 2000

XSL = Nástroj pro prezentaci XML

Konstrukce překladačů (2 části)

  • Autoři: Melichar, B., Češka, M., Ježek, K., doc. Ing. Karel Richta, CSc.,
  • Publikace: Praha: Czech Technical University in Prague, 1999. ISBN 80-01-02028-2.
  • Rok: 1999

Specification-Driven Maintenance of Integrity Constraints

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Evolution and Challenges in System Development. New York: Kluwer Academic / Plenum Publishers, 1999, pp. 271-280. ISBN 0-306-46053-X.
  • Rok: 1999

XML a XSL

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: OBJEKTY 1999. Praha: Česká zemědělská univerzita (ČZU), 1999, pp. 25-38. ISBN 80-213-0552-5.
  • Rok: 1999

Development of Software Engineering Educational Model at CTU Prague

Formal Specifications in Software Development

Introduction to Software Engineering

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of ACM Summer School on Software Architecture in Practice. New York: ACM, 1998, pp. 1-50. ISBN 0-201-19930-0.
  • Rok: 1998

OBJ3 a LEGO jako nástroje pro specifikaci funkčního modelu

  • Autoři: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publikace: Tvorba softwaru'98. Ostrava: Tanger, 1998, pp. 147-157. ISBN 80-86122-15-8.
  • Rok: 1998

OBJ3 and LEGO as Specification Tools

  • Autoři: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publikace: Workshop 98. Praha: České vysoké učení technické v Praze, 1998, pp. 209-210.
  • Rok: 1998

Specification-Driven Development of Integrity Constraints

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Proceedings of VII. Int. Conf. on Information Systems Development'98. New York: Plenum Publishing Corporation, 1998, pp. 1-11.
  • Rok: 1998

Formal Specification & CASE Systems

  • Autoři: doc. Ing. Karel Richta, CSc., Vlk, T.
  • Publikace: Proceedings of Sixth International Conference on Information Systems Development '97. New York: Plenum Publishing Corporation, 1997. pp. 313-325. ISBN 0-306-45693-1.
  • Rok: 1997

Vyhledávání v rozsáhlých knihovnách objektů

Black Hole in the Middle Case Tools

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Workshop 96. Praha: České vysoké učení technické v Praze, 1996, pp. 241-242.
  • Rok: 1996

Lesk a bída CASE systémů

Objektově-orientované metodiky

Připojování periferií k PC

  • Pracoviště: Katedra počítačů
  • Anotace:
    Kniha se zabývá možnostmi a způsoby připojování periferií k PC. Popisuje jak hardwarové řešení, tak i potřebné ovladače.

Quo Vadis, CASE?

Stepwise Development Using VDM

  • Autoři: doc. Ing. Karel Richta, CSc., Vlk, T.
  • Publikace: Workshop 95. Praha: České vysoké učení technické v Praze, 1995, pp. 245-246.
  • Rok: 1995

Algebraic Specification

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: CTU Seminar 94. Praha: České vysoké učení technické v Praze, 1994, pp. 61-62.
  • Rok: 1994

CASE a formální specifikace

OBJ Specification Prototyping

  • Autoři: doc. Ing. Karel Richta, CSc.,
  • Publikace: Workshop 93. Praha: České vysoké učení technické v Praze, 1993, pp. 117-118.
  • Rok: 1993

Operační systém CP/M

Za stránku zodpovídá: Ing. Mgr. Radovan Suk