Wyniki wyszukiwania:

Models have become essential for supporting the development, analysis and e- lution of large-scale and complex IT systems. Models allow di?erent views, p- spectives and elements of a system to be captured rigorously and precisely, thus allowing automated tools to manipulate and manage the models. In a full-?edged model-driven engineering (MDE) process, the transformations developed and - pressed between models are also key. Model transformations allow the de?nition and implementation of the operations on models, and also provide a chain that enables the automated development of a system from...

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative proposed by the Object Management Group for platform-generic systems - velopment; MDA is one of a class of approaches under the umbrella of MDE. MDE and MDA promote the use of models in the speci?cation, design, analysis, synthesis, deployment, and evolution of complex software systems. It is a...

The TOOLS conference series started in 1989 and, over the following 15 years, held 45 sessions: TOOLS EUROPE, TOOLS USA, TOOLS PACIFIC, TOOLS CHINA and TOOLS EASTERN EUROPE. TOOLS played a major role in the spread of object-oriented and component technologies; many seminal software conceptsnowtakenforgrantedwere?rstdiscussedatTOOLS, takingadvantage of the informal, application-oriented, technically intense and marketing-free - mosphere of the conference. Invited speakers have included countless luminaries of science and industry. Afteraninterruptionoffouryears, TOOLSstartedagaininJune2007,...

Distributed processing has a strong theoretical foundation, but many day-to-day practitioners make limited use of the advantages this theory can give them. The result includes unreliable systems with obscure and intermittent failures that can cost time, money and in extreme cases, lives. Reliable construction of distributed and concurrent systems must incorporate theory in practice.

This book provides a concise presentation of the theory closely linked to the practical realisation of these concepts. This easy-to-follow textbook focuses on practical issues of building working...

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), held April 19 21, 2006 in York, UK. The conference focused on methods, tools, principles, and practices for assessing and achievingsecurityinapervasiveenvironment.Newsecurityconceptswerediscussed, in domains and applications such as handheld devices, mobile phones, smartcards, RFID chips, and smart labels, as well as new, emerging technological spaces. The conf- ence also presented work on fundamental themes such as risk identi?cation and mi- gation, security policies...