Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …
Why are the many highly capable autonomous robots that have been promised for novel applications driven by society, industry, and research not available - day despite the tremendous progress in robotics science and systems achieved during the last decades? Unfortunately, steady …
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The…
by European Conference on Model Driven Architecture - Foundations and Applications, Enschede, Netherlands), European Conference on Model Driven Architecture - Foundations and Applications
fromLNCS sublibrary
This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry pap…
Annotation The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. F…
The International conference series on Computer Science, Engineering & Applications (ICCSEA) aims to bring together researchers and practitioners from academia and industry to focus on understanding computer science, engineering and applications and to establish new collaboratio…
This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of country-based modellers. This analysis, produced using the AGMEMOD model, will be of interest to researchers…
The two-volume set, CCIS 243 and CCIS 244, constitutes the refereed proceedings of the Second International Conference on Information Computing and Applications, ICICA 2010, held in Qinhuangdao, China, in October 2011. The 191 papers presented in both volumes were carefully revi…
