Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on extensibility, language evaluation, ownership and initialisation, language features, special-purpose analyses, javascript, hardcore theory, modularity, updates and interference, general-purpose analyses."

"This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area."

"Here is a monograph that describes current research efforts in the application of symbolic computation to several areas, including dynamical systems, differential geometry, Lie algebras, numerical analysis, fluid dynamics, perturbation theory, control theory, and mechanics. The chapters, which illustrate how symbolic computations can be used to study various mathematical structures, are outgrowths of the invited talks that were presented at the NASA-Ames Workshop on The Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering. More than 100 people participated in the two-day conference, which took place in January 1987 at the NASA-Ames Research Center in Moffett Field, California. The field of symbolic computation is becoming increasingly important in science, engineering, and mathematics. The availability of powerful computer algebra systems on workstations has made symbolic computation an important tool for many researchers."

"This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS."