Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 276)
Seznam prací
   Přihlásit přes CAS
  
                  
výsledků na stránku
seřadit sestupněseřadit vzestupněNázev práce seřadit sestupněseřadit vzestupněRok vypsání seřadit sestupněseřadit vzestupněRok obhájení Typ práce Obor práce seřadit sestupněseřadit vzestupněVedoucí / školitel seřadit sestupněseřadit vzestupněŘešitel seřadit sestupněseřadit vzestupněVypsáno Zadáno Ústav Fakulta
detail Generator of Connectors for SOFA/DCUP 2001/2002 2001/2002 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 01.10.2001 13.11.2001 Katedra softwarového inženýrství (32-KSI) MFF
detail Specifying missing component environment in Bandera 2004/2005 2004/2005 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 06.10.2004 15.11.2004 Katedra softwarového inženýrství (32-KSI) MFF
detail Fighting the State Explosion Problem in Component Protocols 2003/2004 2006/2007 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 25.11.2003 25.11.2003 Katedra softwarového inženýrství (32-KSI) MFF
detail Automated verification of software 2006/2007 2009/2010 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.2006 01.10.2006 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Making Deployment Process of Distributed Component-Based Software Unified 2000/2001 2004/2005 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.2000 01.10.2000 Katedra softwarového inženýrství (32-KSI) MFF
detail Modelchecking kódu 2007/2008 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 25.04.2007 09.11.2007 Katedra softwarového inženýrství (32-KSI) MFF
detail Hierarchical Component Models - "A True Story" 2003/2004 2011/2012 disertační práce 4I2 prof. Ing. František Plášil, DrSc. skrytý 25.11.2003 25.11.2003 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Use Cases: Behavior Assembly, Behavior Composition and Reasoning 1998/1999 2003/2004 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.1998 01.10.1998 Katedra softwarového inženýrství (32-KSI) MFF
detail Components and Services in Resource-Constrained Environments 2009/2010 2012/2013 disertační práce 4I2 prof. Ing. František Plášil, DrSc. skrytý 23.04.2009 29.09.2009 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Behavior Composition in Component Systems 2001/2002 2005/2006 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.2001 01.10.2001 Katedra softwarového inženýrství (32-KSI) MFF
detail A versioning model for the SOFA/DCUP architecture Doc. Ing. František Plášil, CSc. 1998/1999 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 12.10.1998 21.11.1998 Katedra softwarového inženýrství (32-KSI) MFF
detail Model Checking of Code and Component Specifications 2006/2007 diplomová práce I2 prof. Ing. František Plášil, DrSc.   02.05.2006 Ne Katedra softwarového inženýrství (32-KSI) MFF
detail Transactions in SOFA/DCUP KSI - Doc. Ing. František Plášil, CSc. 1997/1998 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 14.11.1997 14.11.1997 Katedra softwarového inženýrství (32-KSI) MFF
detail CORBA Security in the Orbix Environment Doc.Ing. František Plášil, CSc. - KSI 1996/1997 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 08.11.1996 08.11.1996 Katedra softwarového inženýrství (32-KSI) MFF
detail Model Checking of Behavior Protocols 2002/2003 2002/2003 diplomová práce IDS prof. Ing. František Plášil, DrSc. skrytý 13.11.2002 13.11.2002 Katedra softwarového inženýrství (32-KSI) MFF
detail Objektivně orientované distribuované systémy 1997/1998 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.1997 01.10.1997 Katedra softwarového inženýrství (32-KSI) MFF
detail Model Checking and Reduction of Behavior Protocols 2005/2006 2005/2006 diplomová práce ISS prof. Ing. František Plášil, DrSc. skrytý 06.10.2005 08.11.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Imlementation of Protocol Inheritance Doc. Ing. František Plášil, CSc. - KSI 1997/1998 diplomová práce I prof. Ing. František Plášil, DrSc. skrytý 11.11.1994 11.11.1994 Katedra softwarového inženýrství (32-KSI) MFF
detail Towards thread aware component behavior specifications 2006/2007 2009/2010 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 02.05.2006 01.10.2006 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Towards Static Analysis of Languages with Dynamic Features 2010/2011 2013/2014 disertační práce 4I2 prof. Ing. František Plášil, DrSc. skrytý 03.05.2010 09.12.2010 Katedra distribuovaných a spolehlivých systémů (32-KDSS) MFF
detail Behavior Protocols Extensions 2003/2004 2006/2007 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 25.11.2003 25.11.2003 Katedra softwarového inženýrství (32-KSI) MFF
detail Formal Verfication of Components in Java 2005/2006 2007/2008 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 07.04.2005 01.10.2005 Katedra softwarového inženýrství (32-KSI) MFF
detail Component software 2002/2003 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 04.06.2002 04.06.2002 Katedra softwarového inženýrství (32-KSI) MFF
detail Generating Connectors for Homogenous and Heterogenous Deployment 2002/2003 2005/2006 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.2002 01.10.2002 Katedra softwarového inženýrství (32-KSI) MFF
detail Specification-Based Component Substitutability and Revision Identification 1996/1997 2003/2004 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.1996 01.10.1996 Katedra softwarového inženýrství (32-KSI) MFF
detail Behaviour Modelling for software Components 2003/2004 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 25.11.2003 25.11.2003 Katedra softwarového inženýrství (32-KSI) MFF
detail Modeling Software Components Using Behavior Protocols 1999/2000 2002/2003 disertační práce I2 prof. Ing. František Plášil, DrSc. skrytý 01.10.1999 01.10.1999 Katedra softwarového inženýrství (32-KSI) MFF
Výsledky 1-27 z 27 1
 
Univerzita Karlova | Informační systém UK