Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Modelling -- Foundation and Applications
  • Language: en
  • Pages: 408

Modelling -- Foundation and Applications

  • Type: Book
  • -
  • Published: 2011-06-11
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

Model Driven Architecture - Foundations and Applications
  • Language: en
  • Pages: 358

Model Driven Architecture - Foundations and Applications

  • Type: Book
  • -
  • Published: 2005-10-26
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, held in Nuremberg, Germany in November 2005. The 24 revised full papers presented, 9 papers from the applications track and 15 from the foundations track, were carefully reviewed and selected from 82 submissions. The latest and most relevant information on model driven software engineering in the industrial and academic spheres is provided. The papers are organized in topical sections on MDA development processes, MDA for embedded and real-time systems, MDA and component-based software engineering, metamodelling, model transformation, and model synchronization and consistency.

Formal Methods for Open Object-Based Distributed Systems IV
  • Language: en
  • Pages: 411

Formal Methods for Open Object-Based Distributed Systems IV

  • Type: Book
  • -
  • Published: 2012-08-10
  • -
  • Publisher: Springer

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Refinement in Z and Object-Z
  • Language: en
  • Pages: 498

Refinement in Z and Object-Z

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial rese...

Techniques and Applications for Mobile Commerce
  • Language: en
  • Pages: 192

Techniques and Applications for Mobile Commerce

  • Type: Book
  • -
  • Published: 2008-01-09
  • -
  • Publisher: IOS Press

Mobile Commerce (M-Commerce) comprises applications and services that are accessible from Internet-enabled mobile devices. It involves new technologies, services and business models. While it is different from traditional e-Commerce it can also be seen as an extension of e-Commerce in the sense that it, among others, makes e-Commerce available in a modern way to new application areas and to a new set of customers. The Internet is on its way to leave traces in all aspects of our life independently of where we are. Already today, mobile phones and PDAs are an indispensable part of our life as a source for all kinds of information and services and, especially, as our permanently available inter...

Trends in Enterprise Application Architecture
  • Language: en
  • Pages: 151

Trends in Enterprise Application Architecture

This book constitutes the thoroughly refereed postproceedings of the International Workshop on Trends in Enterprise Application Architecture, TEAA 2005, held in Trondheim, Norway in August 2005 as satellite event of the 31st International Conference on Very Large Data Bases, VLDB 2005. The 10 revised full papers presented together with the abstract of the keynote lecture were carefully reviewed and selected from numerous submissions for inclusion in the book.

Model Driven Engineering Languages and Systems
  • Language: en
  • Pages: 736

Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. The 52 revised full papers and 2 keynote abstracts presented were carefully reviewed and selected from an initial submission of 215 abstracts and 166 papers. The papers are organized in topical sections on process modelling, product families and reuse, state/behavioral modeling, aspects, design strategies, model transformations, model refactoring, quality control, MDA automation, UML 2.0, industrial experience, crosscutting concerns, modeling strategies, as well as a recapitulatory section on workshops, tutorials and panels.

Human-Computer Interaction -- INTERACT 2011
  • Language: en
  • Pages: 702

Human-Computer Interaction -- INTERACT 2011

  • Type: Book
  • -
  • Published: 2011-09-01
  • -
  • Publisher: Springer

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The 49 papers included in the second volume are organized in topical sections on health, human factors, interacting in public spaces, interacting with displays, interaction design for developing regions, interface design, international and culural aspect of HCI, interruptions and attention, mobile interfaces, multi-modal interfaces, multi-user interaction/cooperation, and navigation and wayfinding.

Modelling Foundations and Applications
  • Language: en
  • Pages: 281

Modelling Foundations and Applications

  • Type: Book
  • -
  • Published: 2014-07-10
  • -
  • Publisher: Springer

This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.

Modelling Foundations and Applications
  • Language: en
  • Pages: 365

Modelling Foundations and Applications

This book constitutes the proceedings of the 6th European Conference on Modelling Foundations and Applications, held in Paris, France, in June 2010.