Search:       RSS, Atom

Site navigation:

Co umí Textpattern na DSS website

Stručné poznámky, co je možné využívat.

  • <txp:soo_toc /> tag v těle článku vyrobí na místě kódu obsah článku – vyzobe nadpisy do úrovně H3 (asi) a uděla na ně hyperlinky
  • Front-end editing, pro snadnější přístup k editaci zobrazeného článku: v backendu Rozšíření > Edit link > Add edit link přidá cookie, na frontendu za koncem stránky uvidíte něco jako “By Premek Brada on 30 květen 2008 (edit)“ a edito odkaz vás hodí na jeho úpravy na backendu.
---

Emails archive

Direct access

---

DSS Library

A collection of books, conference proceedings, and journals related to DSS research topics is maintained in UL408.

Books

  • Booch G.: Object-Oriented Analysis and Design (2nd edition). ISBN 0-8053-5340-2, 1994
  • Coad P. – North D. – Mayfield M.: Object Models Strategies, Patterns, & Applications. ISBN 0-13-108614-6, 1995
  • Cox B.J.: Object-Oriented Programming: An Evolutionary Approach. ISBN 0-201-10393-1, 1987
  • D’Souza D.F – Wills A.C.: Objects, Components, and Frameworks with UML. ISBN 0-201-31012-0, 1998
  • Eckel B.: Using C++.
  • Ellis M.A. – Stroustrup B.: The Annotated C++ Reference Manual. ISBN 0-201-51459-1, 1990
  • Firesmith D.G.: Object-Oriented Requirements Analysis and Logical Design – A Software Engineering Approach. ISBN 0-471-57806-1, 1993
  • Goldberg A. – Rubin K.S.: Succeeding with Objects – Decision Frameworks for Project Management. ISBN 0-201-62878-3, 1995
  • Grotker T. et al.: System Design with SystemC. ISBN 1-4020-7072-1, 2002
  • Henning M. – Vinoski S.: Advanced CORBA Programming with C++. ISBN 0-201-37927-9, 1999
  • Jilková H. – Ryant I.: Tvorba aplikací v objektovém prostÃ…â„¢edí. ISBN 80-85623-82-X, 1994
  • Knudsen J.L. – Lofgren M. – Madsen O.L. – Magnusson B.: Object-Oriented Environments – The Mjolner Approach. ISBN 0-13-009291-6, 1994
  • Koubský P.: Cesty moderního programování. ISBN 80-85424-32-0, 1991
  • Lea D.: Concurrent Programming in Java: Design Principles and Patterns. ISBN 0-201-69581-2, 1997
  • Madsen O.L. – Moller-Pedersen B. – Nygaard K.: Object-Oriented Programming in the Beta Programming Language. ISBN 0-201-62430-3, 1993 (2 copies)
  • Marick B.: The Craft of Software Testing: Subsystem testing including object based and object-oriented testing. ISBN 0-13-177411-5, Prentice Hall, 1995
  • Meyer B.: Object-Oriented Software Construction. ISBNs 0-13-629049-3, 0-13-629031-0 PBK, 1988
  • Orfali R. – Harkey D. – Edwards J.: The Essential Distributed Objects Survival Guide. ISBN 0-471-12993-3, 1996
  • Power J.F. – Waldron J.T. (Eds.): Recent Advances in Java Technology – Theory, Application, Implementation. ISBN 0-9544145-0-0, Computer Science Press, Trinity College Dublin, 2002
  • Renner G.: Borland C++ Kompedium znalostí a zkuÅ¡eností. ISBN 3-87791-177-3, 1992
  • Schildt H.: Teach Yourself C++. ISBN 0-07-8811760-9, 1992
  • Sigfried S.: Understanding Object-Oriented Software Engineering. ISBN 0-7803-1095-0, 1996
  • Edited by: Simmons M.L. – Hayes A.H. – Brown J.S. – Reed D.A.: Debugging and Performance Tuning for Parallel Computing Systems. ISBN 0-8186-7412-1, 1996
  • Skublics S. – Klimas E.J. – Thomas D.A.: Smalltalk with Style. ISBN 0-13-165549-3, 1996
  • Hamilton J. A. Jr. – Nash D. A. – Pooch U. W.: Distributed Simulation, ISBN 0-8493-2590-0, 1997
  • Kshemkalyani A. D. – Singhal M.: Distributed Computing, ISBN 978-0-521-87634-6, 2008
  • Tel G.: Introduction to Distributed Algorithms, ISBN 0-521-79483-8, 2000
  • Cormen T. H. – Leiserson C. E. – Rivest R. L. – Stein C.: Introduction to Algorithms, ISBN 0-262-03293-7, 2001
  • Sipser M.: Introduction to the Theory of Computation, ISBN 978-0-534-95097-2, 2006
  • Levitin A.: Introduction to the Design and Analysis of Algorithms, ISBN 0-321-35828-7, 2007

Conference Proceedings

  • ACSD 2003 – Application of Concurrency to System Design
  • ASE 1998 – Automated Software Engineering
  • ASE 1999 – Automated Software Engineering
  • ASIS 2001
  • ASIS 2002
  • ASIS 2003
  • Applied Electronics 2002
  • Baltic Electronics Conference 2002
  • CARS & FOF 2002 – CAD/CAM, Robotics and Factories of the Future (Volume 1, 2)
  • ECI 2002 – Electronic Computers and Informatics
  • ECMS 2003 – Electronics, Control, Measurment and Signals
  • ESS 2003 – Simulation in Industry
  • EUROCON 2007 – The International Conference on “Computer as a tool“ (CD)
  • Eurosim’98 Simulation Congress (Proceedings Volume 2)
  • Eurosim 2004 Simulation Congress (+CD)
  • Eurosim 2007 Congress on Modeling and Simulation (Abstracts + CD with full papers)
  • IRE 2002 – Intermediate Representation Engineering
  • ISC 2003 – Industrial Simulation Conference
  • ISM 1998 (in MOSIS 1998, Vol 2)
  • ISM 1999 (with MOSIS 1999)
  • ISM 2000 (with MOSIS 2000)
  • ISM 2001
  • ISM 2002
  • ISIM 2003
  • ISORC 2004 – Object Oriented Real-Time Distributed Computing
  • ISSRE 1998 – Software Reliability Engineering
  • MOSIS 1998 (Volume 1, 2, 3)
  • MOSIS 1999 (with ISM 1999)
  • MOSIS 2000 (Czech Translations) / MANAM 2000
  • MOSIS 2000 (Volume 1)
  • MOSIS 2000 (with ISM 2000)
  • MOSIS 2001 (Volume 1, 2)
  • MOSIS 2002 (Volume 1, 2)
  • MOSIS 2003
  • MOSIS 2007
  • OpenWeekend 2003
  • OpenWeekend 2004
  • PAD 2004 – Počítačové architektúry & diagnostika
  • PAD 2007 – Počítačové architektury a diagnostika
  • PPPJ 2002 – Principles and Practice of Programming in Java
  • PPPJ 2003 – Principles and Practice of Programming in Java
  • SLT 2002 – Seminar o Linuxu a TeXu
  • SympoTIC 2003 – Symposium on Trends in Communications
  • WSTFEUS 2004 – Software Technologies for Future Embedded and Ubiquitous Systems
  • EUROSIM/UKSim 2008 Book of Abstracts
  • EUROSIM/UKSim 2008 Proceedings (CD with full papers)
  • Preprint of the Proceedings of the 3rd IFIP TC 2 Central and East Europe Conference on Software Engineering Techniques, CEE-SET 2008
  • Software Engineering Techniques in Progress, CEE-SET 2008

Journals

  • Applied mathematical modelling simlation and computation for engineering and environmental systems – Vol. 27, No. 10, Oct. 2003
  • Discrete Mathematics – Vol. 272, No. 1, Oct. 2003
  • Mathematics and computers in simulation – Vol 61, Issue 2, Jan 2003

Printouts (Manuals, Guides, etc.)

  • Barnes J.: ADA 95. 1995.
  • Geist A. et.al.: PVM 3 User’s Guide and Reference Manual. 1994.
  • Meyer B.: Eiffel: The Language. 1992.
  • Meyer B.: Eiffel: The Reference. 1993.
  • Meyer B.: Invitation to Eiffel. 1991.
  • Plášil F.: From Objects to Software Components. 1999
  • Sebesta R.W.: Concepts of Programming Languages. Chapters 3, 10, 11, 12, 13.
---

Acknowledgements

(Maintained in Connections group pages)

This page contains a list of acknowledgements that are proper for research work supported by one of our current (or past) projects and grants. When in doubt which acknowledgement to choose, consult, please, Prof. Šafařík.

Acknowledgements

Generic research (affiliation to the Department only): This work was supported by Ministry of Education, Youth, and Sport of Czech Republic – University spec. research – 1311.

PhD students: The work was supported by the UWB grant SGS-2013-029 Advanced Computer and Information Systems. (Pokročilé výpočetní a informační systémy)

NTIS (see official page with the acknowledgement): This work was supported by the European Regional Development Fund (ERDF), project “NTIS – New Technologies for the Information Society”, European Centre of Excellence, CZ.1.05/1.1.00/02.0090.

GAČR 2011-2013: This work was supported by the Czech Science Foundation under the grant number P103/11/1489 “Methods of development and verification of component-based applications using natural language specifications”.

Full addresses for affiliations

Department of Computer Science and Engineering
Faculty of Applied Sciences
University of West Bohemia
Univerzitni 8, 30614 Pilsen
Czech Republic

NTIS – New Technologies for the Information Society
European Centre of Excellence
Faculty of Applied Sciences
University of West Bohemia
Univerzitní 8, 306 14 Pilsen
Czech Republic

---