frantisek plasil (37 Ergebnisse)

Softcover. Zustand: As New. Forthe29thtime, SOFSEM(SOFtwareSEMinar)washeld. Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ? eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22-29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas: distributedandparallelsystems, system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e? ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e? ort to reviewing the submitted papers.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Gut. Auflage: 2007. 937 Seiten 9788090329898 Sprache: Englisch Gewicht in Gramm: 1071 23,2 x 15,6 x 3,4 cm, Taschenbuch.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Softcover. Zustand: Fine. Leichte Risse. 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.

Softcover. Zustand: As New. Leichte Abnutzungen. 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.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardcover. Zustand: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2540.[x, 287 p. : ill. ; 24 cm].

Softcover. Zustand: As New. Leichte Abnutzungen. The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) marked the 13th event in a series that serves as a key forum for experts in both industry and academia to explore component technology. The focus of CBSE is on developing software-intensive systems using independently created software components, as well as on the development of these components and their maintenance through replacement and customization. The conference aims to establish a scientific and technological foundation for ensuring predictable quality in software systems via component technology and related engineering practices. CBSE 2010 received 48 submissions, with 14 accepted after a rigorous peer-review process, resulting in a 29% acceptance rate. The selected technical papers are included in this volume. For the fourth consecutive time, CBSE 2010 was part of the Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH), which included the 13th International Symposium on Component-Based Software Engineering, the 6th International Conference on the Quality of Software Architectures, and the 1st International Symposium on Architecting Critical Systems. Alongside COMPARCH's Industrial Experience Report Track and the Workshop on Component-Oriented Programming, these events offered a comprehensive exploration of components and architectures.

Zustand: New. pp. 250 Illus.

Zustand: Gut. Auflage: 2007. 937 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1071 23,2 x 15,6 x 3,4 cm, Taschenbuch.

paperback. Zustand: Befriedigend. Seiten; 9783540001454.4 Gewicht in Gramm: 1.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: Brand New. 1st edition. 235 pages. 9.00x6.00x0.25 inches. In Stock.

Paperback. Zustand: Brand New. 182 pages. 9.00x6.00x0.25 inches. In Stock.

Paperback. Zustand: Brand New. 2010 edition. 263 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 460 pages. 9.21x6.14x1.10 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Zustand: New. pp. 968 Illus.

Zustand: New. Up to date resultsFast conference proceedingsAbstracts of the Keynotes.- Intrinsic Definition in Software Architecture Evolution.- A Component-Based Approach to Adaptive User-Centric Pervasive Applications.- Model-Driven Analysis.- Validating Model-Driv.

Zustand: New. 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 developm.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -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,modelsaret hefoundation 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22 29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e ort to reviewing the submitted papers.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume defines a common example for modelling approaches of component based systems. It is based on the Dagstuhl research seminar CoCoME (Common Component Modelling Example), which was held from August 1-3, 2007, at Schloss Dagstuhl, Germany.The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. It serves as a platform for the classification of existing models and approaches and the interchange of research ideas, enabling researchers to focus and to tackle aspects less frequently dealt with.The CoCoME project is an ongoing venture, one of the aims of which is the adoption of the Common Component Modelling Example by the entire component community as a means of comparing and validating their approaches.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Softcover. Zustand: Gut. Gebraucht - Gut Verlagsmängelex., X, 289 p 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. For Research and development professionals.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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,modelsarethefounda tion 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.