SOFA experimental implementation in C++.
Related publications:
| Refereed (journals/proceedings) | |
| Masek, K., Hnetynka, P., Bures, T.: Bridging the component-based and service-oriented worlds, In proceedings of EUROMICRO SEAA 2009, Patras, Greece, IEEE CS, ISBN 978-0-7695-3784-9, pp. 47-54, Aug 2009 |
|
| WWW | Bures, T., Hala, J., Hnetynka, P.: Using Connectors to Address Transparent Distribution in Enterprise Systems — Pitfalls and Options, In Proceedings of SNPD 2009, Daegu, Korea, Studies in Computational Intelligence 209 (SCI), Springer, ISSN 1860-949X, ISBN 978-3-642-01202-0, pp. 81-92, May 2009 |
| WWW | Bures, T., Hnetynka, P., Malohlava, M.: Using a product line for creating component systems, In Proceedings of the 2009 ACM symposium of Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM, ISBN:978-1-60558-166-8, Mar 2009 |
| Hnetynka, P., Plasil, F.: The power of MOF-based meta-modeling of components, In proceedings of ASEA 2008, Hainan Island, China, IEEE CS, ISBN 978-0-7695-3432-9, pp. 67-72, Dec 2008 |
|
| Malohlava, M., Bures, T.: Language for reconfiguring runtime infrastructure of component-based systems, In Proceedings of MEMICS 2008, Znojmo, Czech Republic, ISBN 978-80-7355-082-0, Nov 2008 |
|
| WWW | Bures, T., Hnetynka, P.: Safe Systems with Software Components in SOFA 2, ERCIM News 75, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 27-28, Oct 2008 |
| Kapova, L., Bures, T., Hnetynka, P.: Preserving Intentions in SOA Business Process Development, In proceedings of SERA 2008, Prague, Czech Republic, Studies in Computational Intelligence 150 (SCI), Springer, ISSN 1860-949X, ISBN 978-3-540-70774-5, pp. 59-72, a pre-print version, Aug 2008 |
|
| Bures, T., Decky, M., Hnetynka, P., Kofron, J., Parizek, P., Plasil, F., Poch, T., Sery, O., Tuma, P.: CoCoME in SOFA, Chapter in The Common Component Modeling Example: Comparing Software Component Models, Springer-Verlag, LNCS 5153, Aug 2008 |
|
| WWW | Prochazka, M., Ward, R., Tuma, P., Hnetynka, P., Adamek, J.: A Component-Oriented Framework for Spacecraft On-Board Software, Proceedings of DASIA 2008, DAta Systems In Aerospace, Palma de Mallorca, European Space Agency Report Nr. SP-665, ISBN 978-92-9221-229-2, May 2008 |
| Bures, T., Malohlava, M., Hnetynka, P.: Using DSL for Automatic Generation of Software Connectors, In Proceedings of ICCBSS 2008, Madrid, Spain, IEEE Computer Society Press, ISBN 0-7695-3091-5, pp. 138-147 , Feb 2008 |
|
| Bures, T., Hnetynka, P., Plasil, F.: Runtime Concepts of Hierarchical Software Components, In International Journal of Computer & Information Science, Vol. 8, No. S, ISSN 1525-9293, pp. 454-463, Sep 2007 |
|
| Bures, T., Hnetynka, P., Plasil, F., Klesnil, J., Kmoch, O., Kohan, T., Kotrc P.: Runtime Support for Advanced Component Concepts, Proceedings of SERA 2007, Busan, Korea, IEEE CS, ISBN 0-7695-2867-8, pp. 337-345, Aug 2007 |
|
| Adamek, J.: Verification of Software Components: Addressing Unbounded Parallelism, published in the International Journal of Computer and Information Science, Vol. 8, Num. 2, pp. 300-309, ISSN 1525-9293, Jun 2007 |
|
| PDF PDF WWW | Bulej, L., Bures, T.: Eliminating Execution Overhead of Disabled Optional Features in Connectors, in Proceedings of the 3rd European Workshop on Software Architectures (EWSA 2006), Nantes, France, Copyright (C) Springer-Verlag, Berlin, LNCS 4344, ISBN 978-3-540-69271-3, ISSN 0302-9743, pp. 50-65, Sep 2006 |
| Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Proceedings of SERA 2006, Seattle, USA, IEEE CS, ISBN 0-7695-2656-X, pp. 40-48, Aug 2006 |
|
| Barros, T., Henrio, L., Cansado, A., Madelaine, E., Morel, M., Mencl, V., Plasil, F.: Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components, accepted for poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006 |
|
| Mencl, V., Polak, M.: UML 2.0 Components and Fractal: An Analysis, accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006 |
|
| WWW | Hnetynka, P., Plasil, F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of CBSE 2006, Vasteras near Stockholm, Sweden, LNCS 4063, ISBN 3-540-35628-2, ISSN 0302-9743, pp. 352 - 359, (C) Springer-Verlag, http://www.springeronline.com/lncs, a pre-print version, Jun 2006 |
| Adamek, J.: Addressing Unbounded Parallelism in Verification of Software Components, in Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2006), Las Vegas, Nevada, USA, published by IEEE Computer Society, Jun 2006 |
|
| WWW | Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis (a preliminary version available here), Journal of Software Maintenance and Evolution: Research and Practice 17(5), pp. 363-377, DOI: 10.1002/smr.321, Online ISSN: 1532-0618, Print ISSN: 1532-060X, Sep 2005 |
| Galik, O., Bures, T.: Generating Connectors for Heterogeneous Deployment, In Proceedings of the 5th international Workshop on Software Engineering and Middleware (Lisbon, Portugal, September 05 - 06, 2005). SEM '05. ACM Press, New York, NY, ISBN 1-59593-204-4, pp. 54-61., Sep 2005 |
|
| Hnetynka, P.: A Model-driven Environment for Component Deployment, Proceedings of SERA 2005, Mount Pleasant, Michigan, USA, IEEE CS, ISBN 0-7695-2297-1, pp. 6-13, Aug 2005 |
|
| Mach, M., Plasil, F., Kofron, J.: Behavior Protocol Verification: Fighting State Explosion, Published in the International Journal of Computer and Information Science, Vol.6, Number 1, ACIS, ISSN 1525-9293, pp. 22-30, Mar 2005 |
|
| Sobr, L., Tuma, P.: SOFAnet: Middleware for Software Distribution over Internet, in proceedings of Symposium on Applications and the Internet (SAINT 2005), Trento, Italy, Copyright (C) IEEE, Piscataway, New Jersey, USA, ISBN 0-7695-2262-9, pp. 48-53, Feb 2005 |
|
| Bulej, L., Bures, T.: Using Connectors for Deployment of Heterogeneous Applications in the Context of OMG D&C Specification, in Proceedings of 1st International Conference on Interoperability of Enterprise Software and Applications (INTEROP-ESA 2005), Geneva, Switzerland, ISBN 1-84628-151-2, pp. 349-360, Feb 2005 |
|
| Plasil, F.: Enhancing Component Specification by Behavior Description - the SOFA Experience, Proceedings of the 4th International Symposium on Information and Communication Technologies (WISICT 2005), January 3rd-6th, 2005, Cape Town, South Africa, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin, Ireland, ISBN 0-9544145-6-X, pp. 185-190 , Jan 2005 |
|
| Adamek, J., Plasil, F.: Partial Bindings of Components - any Harm?, Presented at the SACT 2004 Workshop, Busan, Korea (held in conjunction with the APSEC 2004 conference), and published in the Proceedings of APSEC 2004, IEEE Computer Society, ISBN 0-7695-2245-9, ISSN 1530-1362, pp. 632-639, Nov 2004 |
|
| Adamek, J., Plasil, F.: Erroneous Architecture is a Relative Concept, in Proceedings of Software Engineering and Applications (SEA) conference, Cambridge, MA, USA, published by ACTA Press, ISBN 0-88986-425-X, ISSN 1482-7905, pp. 715-720, Nov 2004 |
|
| Hnetynka, P.: Making Deployment of Distributed Component-based Software Unified, Proceedings of CSSE 2004 (part of ASE 2004), Linz, Austria, Austrian Computer Society, ISBN 3-85403-180-7, pp. 157-161, Sep 2004 |
|
| Mach, M., Plasil, F.: Addressing State Explosion in Behavior Protocol Verification, Proceedings of SNPD'04, Beijing, China, June 30 - July 2, 2004, ACIS, ISBN 0-9700776-8-8, pp. 327-333, Jun 2004 |
|
| Hnetynka, P., Pise, M.: Hand-written vs. MOF-based Metadata Repositories: The SOFA Experience, Proceedings of ECBS 2004, Brno, Czech Republic, IEEE CS, ISBN 0-7695-2125-8, pp. 329-336, May 2004 |
|
| Hnetynka, P., Plasil, F.: Distributed Versioning Model for MOF, Proceedings of WISICT 2004, Cancun, Mexico, A volume in the ACM international conference proceedings series, published by Computer Science Press, Trinity College Dublin Ireland, ISBN 0-9544145-3-5, pp. 489-494 , Jan 2004 |
|
| PDF WWW | Bures, T., Plasil, F.: Communication Style Driven Connector Configurations, Extended version of "Scalable Element-Based Connectors", Copyright (C) Springer-Verlag, Berlin, LNCS3026, ISBN 3-540-21975-7, ISSN 0302-9743, pp. 102-116, 2004 |
| Plasil, F., Mencl, V.: Getting "Whole Picture" Behavior in a Use Case Model, in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003 |
|
| Plasil, F., Mencl, V.: Getting "Whole Picture" Behavior in a Use Case Model, in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003, Dec 2003 |
|
| PDF PDF | Adamek, J.: Static Analysis of Component Systems Using Behavior Protocols, in OOPSLA 2003 Companion, Anaheim, CA, USA, published by ACM, ISBN 1-58113-751-6, pp. 116-117 , Oct 2003 |
| PDF WWW | Hnetynka, P., Tuma, P.: Fighting Class Name Clashes in Java Component Systems, Proceedings of JMLC 2003, Klagenfurt, Austria, Copyright (C) Springer-Verlag, Berlin, LNCS2789, ISSN-0302-9743, pp. 106-109, Aug 2003 |
| Bures, T., Plasil, F.: Scalable Element-Based Connectors, Proceedings of SERA 2003, San Francisco, USA, ISBN 0-9700776-6-1, Copyright by The International Association for Computer & Information Science (ACIS), pp. 198-204, Jun 2003 |
|
| PDF PDF | Adamek, J., Plasil, F.: Behavior Protocols Capturing Errors and Updates, in Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE 2003), ETAPS, published by University of Warsaw, Poland, pp. 17-25, Apr 2003 |
| WWW | Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components (preliminary version available here), IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002 |
| PDF WWW | Kalibera, T., Tuma, P.: Distributed Component System Based On Architecture Description: The SOFA Experience, Proceedings of DOA 2002, Irvine, CA, USA, Copyright (C) Springer-Verlag, pp. 981-994, LNCS2519, ISBN 3-540-00106-9, ISSN 0302-9743, Oct 2002 |
| Brada, P.: Metadata Support for Safe Component Upgrades, Proceedings of Compsac'02, the 26th Annual International Computer Software & Applications Conference, Oxford, England, IEEE CS Press, Aug 2002 |
|
| Prochazka, M., Plasil, F.: Transactions in Software Components: Container-Interposed Transactions, International Journal for Computer and Information Science (a slightly modified version of the paper presented at SNPD 2001), Vol. 3, No. 2, Mar 2002 |
|
| Mencl, V.: Autonomous Points in Component Composition, Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, Oct 2001 |
|
| PDF PS.GZ | Balek, D., Plasil, F.: Software Connectors and Their Role in Component Deployment, Proceedings of DAIS'01, Krakow, Kluwer, Sep 2001 |
| Prochazka, M., Plasil, F.: Container-Interposed Transactions, Proceedings of the Component-Based Software Engineering special session of the SNPD 2001 Conference, Nagoya, Japan, Aug 2001 |
|
| Brada, P.: Component Revision Identification Based on IDL/ADL Component Specification, Poster presentation. Proceedings of the ESEC/FSE 2001, Vienna, Austria, ACM Press, Aug 2001 |
|
| Brada, P.: Towards Automated Component Compatibility Assessment, Presented at the 6th International Workshop on Component-Oriented Programming (part of ECOOP'2001), 2001 |
|
| Blair, G., Blair, L., Issarny, V., Tuma, P., Zarras, A.: The Role of Software Architecture in Constraining Adaptation in Component-based Middleware Platforms, Proceedings of Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Hudson River Valley (NY), USA. Springer Verlag, LNCS, Apr 2000 |
|
| Plasil, F., Visnovsky, S., Besta, M.: Bounding Component Behavior via Protocols, Proceedings of TOOLS USA '99, CS IEEE, TOOLS 30, pp. 387-398, Aug 1999 |
|
| Tuma, P., Issarny, V., Zarras, A.: Using Meta-Level Architectural Description Towards the Systematic Synthesis of Middleware, Proceedings of the Reflection'99 conference, St Malo, France (part of project ASTER, done during a postdoc stay at IRISA/INRIA Rennes), Jul 1999 |
|
| Brada, P.: Component Change and Version Identification in SOFA, Proceedings of SOFSEM'99, Czech Republic, Springer-Verlag, LNCS, 1999 |
|
| PDF PDF | Plasil, F., Balek, D., Janecek, R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating, Proceedings of ICCDS'98, Annapolis, Maryland, USA, IEEE CS Press, May 1998 |
| Broy, M., Deimel, A., Henn, J., Koskimies, K., Plasil, F., Pomberger, G., Pree, W., Szyperski, C.: What characterizes a (software) component?, Software Concepts & Tools (vol. 19, no. 1), 1998 |
|
| Nonrefereed (proceedings/slides) | |
| Plasil, F., Hnetynka, P.: Modeling and Meta-modeling of Software Components, Invited talk (extended abstract), In proceedings of SERA 2008, Prague, Czech Republic, IEEE CS, ISBN 978-0-7695-3302-5, Aug 2008 |
|
| Hnetynka, P., Bures, T.: Advanced Features of Hierarchical Component Models, Invited talk, Proceedings of ISIM 2007, Hradec nad Moravici, Czech Republic, ISBN 978-80-7248-006-7, pp. 3 - 10, Apr 2007 |
|
| Kofron, J.: Behavior Protocols: Efficient Checking For Composition Errors, In: Doktorandsky den 05. (Ed.: Hakl F.) - Praha, MATFYZPRESS 2005, pp. 40-44, ISBN: 80-86732-56-8, Czech Republic, Oct 2005 |
|
| Adamek, J.: The Power of Capturing Composition Errors, Presented at the ObjectWeb Behavior Workshop in Prague, Jul 2004 |
|
| Kofron, J.: Challenges of Protocol Checker Implementation, Presented at the ObjectWeb Behavior Workshop in Prague, Jul 2004 |
|
| PDF PDF | Kofron, J.: Model Checking of SOFA Behavior Protocols, In proceedings of WDS'04, MatfyzPress, Charles University, Prague, Czech Republic, Jun 2004 |
| Tuma, P.: Modern Software Architectures: Novel Solutions or Old Hats ?, Proceedings of the Annual Database Conference, Brno, Czech Republic, Masarykova univerzita, Brno, ISBN-80-210-3215-4, pp. 151-162, Oct 2003 |
|
| Panuska, P.: An Approach to SW Distribution, Reviewed section of Proceedings of the Week of Doctoral Students 2003 conference (WDS 2003), Matfyzpress, Charles University, Prague, Czech Republic, 2003, pp.118-123 , Jun 2003 |
|
| Bures, T.: Constraint-based Generation of Connectors, Proceedings of the Week of Doctoral Students 2003 conference (WDS 2003), Matfyzpress, Charles University, Prague, Czech Republic, 2003, pp.215-220, Jun 2003 |
|
| Oplustil, T.: Inheritance in Architecture Description Languages, Reviewed section of Proceedings of the Week of Doctoral Students 2003 conference (WDS 2003), Matfyzpress, Charles University, Prague, Czech Republic, 2003, pp.124-131, Jun 2003 |
|
| Hnetynka, P., Tuma, P.: Solving Class Name Clashes in SOFA via ASM, ObjectWeb Architecture Meeting, University of Jussieu, Paris, France (slides), Apr 2003 |
|
| PDF PPT | Hnetynka, P., Plasil, F.: SOFA Overview, ObjectWeb Architecture Meeting, INRIA Alpes, France (slides), Jan 2003 |
| Andreasson, S.A., Brada, P., Valdman, J.: Component-based Software Decomposition of Flexible Manufacturing Systems, Proceedings of ICCC'2000, Kosice, Slovak Republic, 2000 |
|
| Plasil, F., Visnovsky, S., Besta, M.: Applying Behavior Protocols to Components, MSPLS Fall 99, Chicago, IL (slides), 1999 |
|
| Plasil, F., Visnovsky, S.: Behavior Protocols and Components, Contribution at the Component-Based Programming under Different Paradigms Workshop, Dagstuhl-Seminar-Report; 231, Germany (slides), 1999 |
|
| Technical reports | |
| Bulej, L., Bures, T.: Addressing Static Execution Overhead in Connectors with Disabled Optional Features, Tech. Report No. 2006/6, Dep. of SW Engineering, Charles University, Prague, Jun 2006 |
|
| Bulej, L., Bures, T.: Deploying Heterogeneous Applications using OMG D&C and Software Connectors, Tech. Report No. 2005/10, Dep. of SW Engineering, Charles University, Prague, Nov 2005 |
|
| Bures, T.: Automated Synthesis of Connectors for Heterogeneous Deployment, Tech. Report No. 2005/4, Dep. of SW Engineering, Charles University, Prague, Aug 2005 |
|
| Galik, O., Bures, T.: Handling Heterogeneity in Connector Generation, Tech. Report No. 2005/2, Dep. of SW Engineering, Charles University, Prague, Jun 2005 |
|
| Bulej, L., Bures, T.: Addressing Heterogeneity in OMG D&C-based Deployment, Tech. Report No. 2004/7, Dep. of SW Engineering, Charles University, Prague, Nov 2004 |
|
| Hnetynka, P.: Component Model for Unified Deployment of Distributed Component-based Software, Tech. Report No. 2004/4, Dep. of SW Engineering, Charles University, Prague, Jun 2004 |
|
| Adamek, J., Plasil, F.: Static Checking for Missing Bindings of Components, Tech. Report No. 2004/3, Dep. of SW Engineering, Charles University, Prague, Mar 2004 |
|
| Bures, T., Plasil, F.: Composing Connectors of Elements, Tech. Report No. 2003/3, Dep. of SW Engineering, Charles University, Prague, May 2003 |
|
| Hnetynka, P., Tuma, P.: Managing Class Names in Java Component Systems with Dynamic Update, Tech. Report No. 2003/2, Dep. of SW Engineering, Charles University, Prague, Feb 2003 |
|
| Bulej, L., Bures, T.: A Connector Model Suitable for Automatic Generation of Connectors, Tech. Report No. 2003/1, Dep. of SW Engineering, Charles University, Prague, Jan 2003 |
|
| Plasil, F., Mencl, V.: Use Cases: Assembling "Whole Picture" Behavior, Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., Nov 2002 |
|
| Adamek, J., Plasil, F.: Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates, Technical Report 02/10, Department of Computer Science, University of New Hampshire, NH, U.S.A., Oct 2002 |
|
| Brada, P.: The ENT Model: A General Model for Software Interface Structuring, Technical report DCSE/TR-2002-10, DCSE, University of West Bohemia, Pilsen, Czech Republic, Apr 2002 |
|
| Mencl, V.: Managing Configuration of Update-enabled Software Components, Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, Oct 2001 |
|
| Mencl, V., Hnetynka, P.: Managing Evolution of Component Specifications using a Federation of Repositories, Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, Jun 2001 |
|
| Balek, D., Plasil, F.: Software Connectors: A Hierarchical Model, Tech. Report No. 2000/2, Dep. of SW Engineering, Charles University, Prague, Revised 11/25/2000, Nov 2000 |
|
| Plasil, F., Visnovsky, S., Besta, M.: Behavior Protocols, Tech. Report No. 2000/7, Dep. of SW Engineering, Charles University, Prague, Aug 2000 |
|
| Brada, P.: SOFA Component Revision Identification, Tech. Report No. 2000/9, Dep. of SW Engineering, Charles University, Prague, 2000 |
|
| Hoa, N.D.: Dynamic Aspects in SOFA/DCUP, Tech. Report No. 99/7, Dep. of SW Engineering, Charles University, Prague, Jun 1999 |
|
| PDF PDF | Plasil, F., Visnovsky, S., Besta, M.: Behavior Protocols and Components, Tech. Report No. 99/2, Dep. of SW Engineering, Charles University, Prague, 1999 |
| PhD theses | |
| PDF WWW | Kofron, J.: Behavior Protocols Extensions, Ph.D. thesis, advisor: Frantisek Plasil, Sep 2007 |
| Bulej, L.: Connector-based Performance Data Collection for Component Applications, Ph.D. Thesis, advisor: Petr Tuma, Jul 2007 |
|
| PDF PDF | Bures, T.: Generating Connectors for Homogeneous and Heterogeneous Deployment, Ph.D. Thesis, advisor: Frantisek Plasil, Sep 2006 |
| Adamek, J.: Behavior Composition in Component Systems, Ph.D. Thesis, advisor: Frantisek Plasil, Sep 2006 |
|
| Hnetynka, P.: Making deployment process of distributed component-based software unified, Ph.D. Thesis, advisor: Frantisek Plasil, Sep 2005 |
|
| PDF PDF | Mencl, V.: Use Cases: Behavior Assembly, Behavior Composition and Reasoning, Ph.D. Thesis, advisor: Frantisek Plasil, Jun 2004 |
| Brada, P.: Specification-Based Component Substitutability and Revision Identification, Ph.D. Thesis, advisor: Frantisek Plasil, Aug 2003 |
|
| Visnovsky, S.: Modeling Software Components Using Behavior Protocols, Ph.D. Thesis, advisor: Frantisek Plasil, Dec 2002 |
|
| Balek, D.: Connectors in Software Architectures, Ph.D. Thesis, advisor: Frantisek Plasil, Mar 2002 |
|
| Prochazka, M.: Advanced Transactions in Component-Based Software Architectures, Ph.D. Thesis, Charles University, University of Evry, Feb 2002 |
|
| Master theses (selected) | |
| PDF ZIP WWW | Drazan, J.: Natural Language Processing of Textual Use Cases, Master thesis, advisor: Vladimir Mencl, Feb 2006 |
| PDF ZIP WWW | Samek, J.: Employing OCL for specifying behavior compliance, Master thesis, advisor: Vladimir Mencl, Sep 2005 |
| PDF ZIP WWW | Polak, M.: UML 2.0 Components, Master thesis, advisor: Vladimir Mencl, Sep 2005 |
| PDF ZIP | Mach, M.: Model Checking of Behavior Protocols, Master Thesis, advisor: Frantisek Plasil, Sep 2003 |
| PDF WWW | Cifka, M.: Visual Development of Software Components, Master Thesis, advisor: Petr Tuma, Sep 2002 |
| Bures, T.: Generator of Connectors for SOFA/DCUP, Master Thesis, advisor: Frantisek Plasil, Sep 2002 |
|
| Bulej, L.: Generator of Connectors for SOFA/DCUP, Master Thesis, advisor: Petr Tuma, Jun 2002 |
|
| PDF WWW | Kalibera, T.: SOFA Support in C++ Environments, Master Thesis, advisor: Petr Tuma, Jan 2002 |
| ZIP WWW | Gergic, J.: A Versioning Model for SOFA/DCUP Architecture, Master Thesis, advisor: Frantisek Plasil, 1999 |
| Visnovsky, S.: Checking Semantic Compatibility of SOFA/DCUP components, Master Thesis, advisor: Miloslav Besta, 1999 |
|
| PDF PS | Mencl, V.: Component Definition Language, Master Thesis, advisor: Nguyen Duy Hoa, 1998 |
