Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
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 | |
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 | |
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 | ||
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 | |
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 | |
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 | |
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 | |
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 | ||
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 | |
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 | |
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 | |
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 | ||
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 | ||
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 | ||
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 | ||
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 | ||
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 | |||
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | ||
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 |
Výsledky 1-27 z 27 1