Doc. Ing. Karel Richta, CSc.
richta<at>ksi.mff.cuni.cz
docent

Výzkumné skupiny

XRG

Oblasti zájmu

  • Formální specifikace
  • Modelování a modelem řízený vývoj
  • XML Technologie

Výukanahoru

KódNázevOdkazy
NPRG046Softwarová praxe
NSWI026Pokročilé aspekty softwarového inženýrství
NSWI041Úvod do softwarového inženýrství
NSWI122Příprava disertační práce
NSWI130Architektury softwarových systémů
NSWI149Softwarové inženýrství v praxi
NTIN043Formální metody specifikace
NTIN044Sémantika programovacích jazyků

Doktorandinahoru

Ing. Miroslav Beličák, Mgr. David Kusák, Mgr. Zdeněk Skřivánek

Vedené prácenahoru

NázevŘešitelTypVypsánoObhájeno
Nástroje pro práci se specifikacemiZdeněk SkřivánekPh.D.2012
Dynamická správa entitJiří MizeraMgr.20112013
Dynamická správa entitJiří MizeraMgr.2011
Transformace z OCL do SQLPetr SobotkaMgr.20112012
(zobrazit všechny)

Výzkumné grantynahoru

  • Agilní systémy a servisně orientovaný software (GAČR 201/09/0983) 2009-2011 spolupracovník
  • Vyhledávání a indexování XML dokumentů (GAČR 201/03/0912) 2003-2005 spoluřešitel
  • Vývoj nativního úložiště pro XML data (GAČR 201/06/0756) 2006-2008 spoluřešitel
  • Zpracování XML dat (GAČR 201/09/0990) 2009-2011 spoluřešitel
  • Moderní metody, struktury a systémy informatiky (MŠMT MSM0021620838) 2005-2011 spolupracovník
  • (zobrazit všechny)

Publikační činnostnahoru

2012

Recenzované (časopis, sborník konference) (3)

  • Mlýnková I., Nečaský M., Richta K., Loupal P., Strnad P.: Storing XML Data - the ExDB and CellStore Way in the Context of Current Approaches, in Informatica, ISSN: 0868-4952, 2012
  • Richta K., Klímek J., Nečaský M., Malý J.: Modelování a evoluce XML schémat, in DATAKON 2012 Příspěvky, Mikulov, Česká republika, Technická univerzita v Košiciach, ISBN: 978-80-553-1049-7, pp. 117-126, 2012
  • Richta K., Rybola Z.: Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations, in Federated Conference on Computer Science and Information Systems (FedCSIS 2012), Wroclaw, IEEE Computer Society, ISBN: 978-83-60810-51-4, pp. 1357-1364, 2012

2011

Recenzované (časopis, sborník konference) (5)

  • Nečaský M., Kusák D., Richta K.: Servisně Orientované Architektury, in DATAKON 2011, Tutorials, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4330-3, pp. 49-74, 2011
  • Richta K., Procházka A., Lungu M.: Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java, in DATAKON 2011, Proceedings of the Annual Database Conference, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4329-7, pp. 153-162, 2011
  • Richta K., Rybola Z.: Realizace omezení pro násobnosti vztahů mezi entitami v relačních databázích, in DATAKON 2011, Proceedings of the Annual Database Conference, Mikulov, Vysoké učení technické Brno, ISBN: 978-80-214-4329-7, pp. 93-102, 2011
  • Richta K., Rybola Z.: Transformation of Binary Relationships with Particular Multiplicity, in Proceedings of the Dateso 2011 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Písek, Czech Republic, VŠB - Technical University of Ostrava, ISBN: 978-80-248-2391-1, pp. 25-38, 2011
  • Richta K., Rybola Z.: Transformation of Relationships from UML/OCL to SQL, in Informačné Technológie - Aplikácie a Teória, Vrátná dolina, Slovensko, PONT s. r. o., ISBN: 978-80-89557-01-1, pp. 31-38, 2011

Kapitoly v knihách (1)

  • Běličák M., Pokorný J., Richta K.: Open Design Architecture for Round Trip Engineering, in Information Systems Development: Asian Experiences, Springer Science+Business Media, ISBN: 978-1-4419-7205-7, pp. 281-294, 2011

2010

Recenzované (časopis, sborník konference) (5)

Kapitoly v knihách (1)

  • Richta K., Pokorný J., Feuerlicht J., Ruttananontsatean N.: Integration of Weakly Heterogeneous Semistructured Data, in Information Systems Development - Towards a Service Provision Society, SPRINGER, ISBN: 978-0-387-84809-9, pp. 69-78, 2010 - Odkaz na Springerlink

2009

Recenzované (časopis, sborník konference) (4)

  • Feuerlicht G., Pokorný J., Richta K.: Object-Relational database design: Can your application benefit from SQL:2003?, in ISD Challenges in Practice, Theory, and Education. , Galway, Srpinger Scence+Business Media, LLC, ISBN: 978-0-387-78577-6, pp. 975-988, 2009 - WWW
  • Pokorný J., Richta K., Valenta M.: Cellstore: Educational And Experimental XML-Native DBMS, in ISD Challenges in Practice, Theory, and Education. , Galway, Srpinger Scence+Business Media, LLC, ISBN: 978-0-387-78577-6, pp. 989-1000, 2009 - WWW
  • Richta K., Loupal P.: XML Query Evaluation Using a Lambda-Calculus Based Framework, in SOFSEM 2009: Theory and Practice of Computer Science II., MFF Press, ISBN: 978-80-7378-059-3, pp. 47-59, January 2009 - WWW
  • Richta K., Macek O.: The BPM to UML Activity Diagram Transformation Using XSLT, in DATESO 2009, Spindleruv Mlyn, Czech Republic, Czech Technical University in Prague, ISBN: 978-80-01-04323-3, ISSN: 1613-0073, pp. 119-129, 2009 - WWW

2008

Recenzované (časopis, sborník konference) (3)

  • Richta K., Benešovský M.: UML, alea,iacta est, in DATAKON 2008, Hotel Santon, Brno, Czech Republic, ISBN: 978-80-7355-081-3, pp. 100-122, October 2008 - WWW
  • Richta K., Loupal P.: Evaluation of XPath Fragments Using Lambda Calculi, in ITAT 2008 Informačné Technológie - Aplikácie a Teória, Hrebienok, Slovakia, September 2008, Hrebienok, Vysoké Tatry, Slovakia, PONT Slovakia, ISBN: 978-80-969184-8-5, pp. 73-76, September 2008 - WWW
  • Richta K., Toth D.: Formal Models of Object-Oriented Databases, in Objekty 2008, EDIS Žilinská univerzita, ISBN: 978-80-8070-927-3, pp. 204-217, 2008 - WWW

Knihy (1)

  • Mlýnková I., Nečaský M., Pokorný J., Richta K., Toman K., Toman V.: Technologie XML: Principy a aplikace v praxi, Grada Publishing, a.s., ISBN: 978-80-247-2725-7, 272 pages, 2008 - WWW

2006

Knihy (1)

  • Mlýnková I., Pokorný J., Richta K., Toman K., Toman V.: XML technologie, Karolinum, ISBN: 80-246-1272-0, 186 pages, 2006

Členství ve výborech (podrobný seznam)nahoru

člen programového výboru

  • DATAKON 2012
  • DATESO 2012
  • ISD 2012
  • ITAT 2012
  • SOFSEM 2013

předseda sekce

  • ACM Czech Chapter
  • IFIP TC2

člen redakční rady

  • ČSSI - MIS

Další informace

Kontaktynahoru

Tato stránka podléhá licenci Creative Commons Uveďte autora-Neužívejte komerčně 3.0 Česko