General

It is my belief that software engineers not only need to know software engineering methods and processes, but that they also should know how to assess them. Conse- quently, I have taught principles of experimentation and empirical studies as part of the...

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023.The 8 full papers and...

This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented...

This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74...

As the first book about software culture, this book discusses software culture from three perspectives including historical perspective, the classification of software and software applications. This book takes credit from the view of science and...

iTrust is an Information Society Technologies (IST) working group, which started on 1st of August, 2002. The working group is being funded as a concerted action/ thematic network by the Future and Emerging Technologies (FET) unit of the IST program. The...

This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540164708Author Eiichi GotoFormat PaperbackPage Count 330Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin...

The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications ar- ing from a variety of ?elds. The...

It is a great pleasure to present this collection of papers from LCR '98, the Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers. The LCR workshop is a bi-annual gathering of computer scientists who develop software...

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were...

The PaCT 2005 (Parallel Computing Technologies) conference was a four-day conference held in Krasnoyarsk, September 5-9, 2005. This was the Eighth - ternational conference in the PaCT series. The conferences are held in R- sia every odd year. The ?rst...

timely work, the quality of this program would not be as high nor would the process have run so smoothly. Ialsowishtothanktheothersupportingcastmemberswhohelpedinputtingtogether...

This book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018. The 16 revised full papers and 8 short papers presented...

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the...

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully...

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented...

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were...

This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and...

Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Topics covered include static...

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783731500803Author Henning GroendaFormat PaperbackPage Count 514Imprint Karlsruher Institut Fur TechnologiePublisher Karlsruher Institut Fur...

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. It covers current research in context-awareness,...

This book compiles contributions from renowned researchers covering all aspects of conceptual modeling, on the occasion of Arne Solvberg's 67th birthday. Friends of this pioneer in information systems modeling contribute their latest research results...

This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and...

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in...

This book constitutes the joint post-proceedings of four topical workshops held as satellite meetings of the 8th International Conference on service-oriented computing, ICSOC 2010, held in San Francisco, CA, USA in December 2010. The 23 revised papers...

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016. The 13 full papers presented together with 12 short papers were carefully reviewed and...

Powerful networked workstations are adding a new dimension to the world of computing. Programmers are challenged to write applications that exploit the speed and parallelism of such distributed systems, programs that take advantage of the networking and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540152125Author Mark S. ShermanFormat PaperbackPage Count 368Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038424482Author Dominique BonvinFormat PaperbackPage Count 254Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 549g

The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4-7, 2002 it attracted software experts, educators, and developers. Unlike most c- ferences the venue was...

Aligning an organization's goals and strategies requires specifying their rationales and connections so that the links are explicit and allow for analytic reasoning about what is successful and where improvement is necessary. This book provides guidance...

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of...

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on...

This volume gives the proceedings of an international workshop on software engineering environments and public tool interfaces. The workshop drew together the recognized experts in these fields from Europe and America. The workshop examined the...

Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.Book InformationISBN 9783540209096Author Jose Luiz FiadeiroFormat...

RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies...

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to...

Written by the original members of an industry standardization group, this book shows you how to use UML to test complex software systems. It is the definitive reference for the only UML-based test specification language, written by the creators of that...