This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revise...
详细信息
ISBN:
(数字)9783540453505
ISBN:
(纸本)9783540410546
This book constitutes the refereed proceedings of the International Workshop on Semantics Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000. The seven revised full papers and four position papers presented together with four invited abstracts were carefully reviewed and selected from 20 submissions. Among the topics addressed are multi-stage programming languages, compilation of domain-specific languages and module systems, program transformation, low-level program generation, formal specification, termination analysis, and type-based analysis.
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presente...
详细信息
ISBN:
(数字)9783540852384
ISBN:
(纸本)9783540852377
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997...
详细信息
ISBN:
(数字)9783540498728
ISBN:
(纸本)9783540649588
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.;The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.
The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models. S...
详细信息
ISBN:
(数字)9783642140464
ISBN:
(纸本)9783642140457
The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models. Software composition is becoming more and more important as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2010 edition, researchers were solicited to contribute on topics such as component adaptation techniques, composition languages, modeling, as well as emerging composition techniques such as aspect-oriented programming, servi- oriented architectures, and mashups. In line with previous editions of SC, contri- tions were sought focusing on both theory and practice, with a particular interest in efforts relating them. This LNCS volume contains the proceedings of the 9th International Conference on Software Composition, which was held during July 1–2, 2010, as a collocated event of the TOOLS 2010 Federated Conferences, in Malaga, Spain.
Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch...
详细信息
ISBN:
(数字)9783658354923
ISBN:
(纸本)9783658354916
Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.;Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden Entwurfsprinzipien der objektorientierten Programmierung beschrieben und berücksichtigt.;Alle Beispiele sind ausführlich im Quellcode kommentiert und unter Java 16 lauffähig. Teilweise werden auch neuere Features von Java bis einschließlich Version 16 erläutert und verwendet.;Das Buch enthält genehmigte Inhalte aus der 1. Auflage von "Florian Siebler-Guth, Design Patterns mit Java".
The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQU...
详细信息
ISBN:
(数字)9783642847257
ISBN:
(纸本)9783540552123
The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQUEST. the research described in this volume. concerning those special problems of software that is required to have extremely high reliability. was particularly difficult and ambitious. The problems of software reliability are essentially twofold. On the one hand there is a concern with methods for achieving adequate reliability. on the other hand there is a need to evaluate what has actually been achieved in a particular case. Naturally. far more effort has been spent over the years on the former problem; indeed. there is a sense in which all of conventional software engineering can be seen as a response to this problem. However. it is becoming clearer than ever that we can only claim to have a truly sCientific approach. and so justify the description software engineering. when we are able to measure the attributes of process and product. It is still common to find software development methods recommended to users on purely anecdotal grounds. This is not good enough. Rational choices between rival approaches can only be made on the basis of quantified costs and benefits. Even more worrying is the tendency to argue that a software product can be depended upon merely because it has been developed by honest men using such anecdotal 'good practice'.
Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules t...
详细信息
ISBN:
(数字)9781484227138
ISBN:
(纸本)9781484227121
Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.;Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime environment, an approach ill-suited to the increasing number of IoT devices such as fitness monitors, kitchen appliances, toys and games, and so forth. This book shows a new way, to make Java scale from the smallest of footprints in the smallest of devices through desktop PCs and on up to server platforms.;With;you will learn to make your projects more reliable and scalable than ever using the most important feature in Java 9—The Java Platform Module System, known more commonly as Project Jigs;aw. You will learn how to avoid one of the major pain points of Java programming, that of conflicting class names from different modules, or packages. You will learn to create custom run-time images that represent a minimal and more compact JRE containing only those modules that you need. You will further learn to migrate existing Java applications to modular ones using different approaches and tools. The end result is a new ability to plug together different modules without fear of namespace and other conflicts, and you can deploy to everything from small devices to large servers.;This book provides code examples and explanations.;Experienced Java programmers wanting to keep up and become informed on the new modularity support in Java 9
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ec...
详细信息
ISBN:
(数字)9783540881940
ISBN:
(纸本)9783540881933
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods and software engineering to exchange their ideas, experience, expectation and to ?nd out whether and how their research results can help advance the state of the art.
Celebrating Five Years of Early Aspects The early aspects community had its origins in the “Early Aspects: Requirements En- neering and Architecture Design” workshop organized during the first international c- feren...
详细信息
ISBN:
(数字)9783540768111
ISBN:
(纸本)9783540768104
Celebrating Five Years of Early Aspects The early aspects community had its origins in the “Early Aspects: Requirements En- neering and Architecture Design” workshop organized during the first international c- ference on Aspect-Oriented Software Development (AOSD), in March 2002. Since then, the early aspects community has grown rapidly. At the time this project started, the Early Aspects Steering Committee (www. early-aspects. net) had organized nine editions of the Early Aspects workshop in conferences such as AOSD OOPSLA, ICSE and SPLC and edited two special issues in international journals. Workshop attendance has exceeded 200, and from these more than 60% were different individuals. This number corresponds to just over 20 participants per workshop, despite the fact that participation was allowed only to authors of accepted papers or invited researchers. However, the early aspects community is much larger than that. A considerable n- ber of papers have been published regularly in journals, books and conferences where the early aspects workshop has not yet been organized. The number and range of subm- sions to the workshop series have demonstrated that the field has a solid base of conti- ous research being done by established groups around the world. The early-aspects community is now self-sustaining and continuously expanding. Therefore, we felt that the fifth anniversary of the first early aspects workshop was an appropriate juncture to upgrade the autonomous standing of the community by providing it with its own formal publication.
暂无评论