Frantisek Plasil – författare
Visar alla böcker från författaren Frantisek Plasil. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
SOFSEM 2002: Theory and Practice of Informatics
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
Häftad, Engelska, 2002
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.
SOFSEM '97: Theory and Practice of Informatics
24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings
Häftad, Engelska, 1997
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
SOFSEM 2007: Theory and Practice of Computer Science
33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
Häftad, Engelska, 2007
1 101 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks.
554 kr
Skickas inom 10-15 vardagar
Severalconferenceand workshopseriesarededicated to formalcomponent m- els and their use in veri?cation and quality prediction, such as FMCO, CBSE, FESCA,FACS andQoSA. There are a plethoraof componentmodels published, all with speci?c merits and bene?ts. However, most often these models are not used for comparison, as each research group concentrates on di?erent aspects of formal component modelling and quality prediction. Like the famous pro- 1 duction cell approach of the FZI, Karlsruhe, which has served since 1995 as a common example for di?erent embedded systems safety veri?cation, in this v- ume we de?ne a commonexample for modelling approachesof component-based systems. This Common Component Modelling Example enables the compa- bility of di?erent approaches, the validation of existing models, a better focus of research to tackle aspects less frequently dealt within the classi?cation of - isting models and approaches, an eased interchange of research ideas, as well as a simpli?ed and increased coordination and research collaborations to join complementary models and approaches. In this volume we de?ne the Common Component Modelling Example and present the models in current modelling and analysis approaches.The book concludes with comments on each modelling approach by an international jury. August 2007 Andreas Rausch Ralf Reussner Ra?aela Mirandola Franti? sek Pl' a? sil 1 Springer LNCS vol. 891. Organization The Dagstuhl research seminar for CoCoME (Common Component Modelling Example)modellingcontestispartofaseriesofseminarsorganizedwithsupport by the German Computer Science Society (Gesellschaft fu ..r Informatik,GI). It was held during August 1-3, 2007 at Schloss Dagstuhl, Germany, as event number 07312.
Quality of Software Architectures Models and Architectures
4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
Häftad, Engelska, 2008
554 kr
Skickas inom 10-15 vardagar
Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system’s complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense,modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system’s extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system’s architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.
Component-Based Software Engineering
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
Häftad, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented Programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.
Research into Practice - Reality and Gaps
6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
Häftad, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
The goal of QoSA is to addressaspects of softwarearchitecturefocusing broadly on quality characteristics and how these relate to the design of software arc- tectures. Speci?c issues of interest are de?ning quality measures, evaluating and managing architecture quality, linking architecture to requirements and imp- mentation, and preserving architecture quality throughout the lifetime of the system. Past themes for QoSA include Architectures for Adaptive Software S- tems (2009), Models and Architecture (2008), and Software Architecture, C- ponents, and Applications (2007). In this, the sixth incarnation of QoSA, researchers and practitioners dem- strated how speci?c sub-elements within an architecture lead to measurable quality in the implemented system. While clear challenges remain, the theme for QoSA 2010 was"Research into Practice - Reality and Gaps. " Therewere32submissionstoQoSA2010fromwhichtheProgramCommittee selected 11 long papers, for an acceptance rate of 34%.To further foster collaborationandexchangeofideaswiththecomponent-basedsoftwareengine- ing community, QoSAwasheldaspart ofthe conferenceseriesFederatedEvents on Component-based Software Engineering and Software Architecture (COMPARCH). These federated events wereQoSA 2010,the 13th International Symposium on Component-Based Software Engineering (CBSE 2010), the 15th International Workshop on Component-Oriented Programming (WCOP 2010), and the First International Symposium on Architecting Critical Systems (ISARCS 2010), a symposium dedicated to dependability, safety, security and testing/analysis for architecting systems. Because of the close relationship - tween the CBSE and QoSA communities, COMPARCH 2010 once again in- gratedthesetechnicalprogramstofurtherpromotediscussionandcollaboration. We would like to thank the QoSA Steering Committee and the members of theProgramCommitteefor their dedicatedandvaluableworkduringthe review process. We thank Alfred Hofmann from Springer for his continuing support in reviewing and publishing this proceedings volume.