SDL 2007: Design for Dependable Systems

SDL 2007: Design for Dependable Systems
Author: Emmanuel Gaudin
Publisher: Springer
Total Pages: 300
Release: 2007-09-04
Genre: Computers
ISBN: 3540749845


Download SDL 2007: Design for Dependable Systems Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions—-addressing all aspects of systems design and system design languages.

SDL 2007: Design for Dependable Systems

SDL 2007: Design for Dependable Systems
Author: Emmanuel Gaudin
Publisher: Springer Science & Business Media
Total Pages: 299
Release: 2007-09-06
Genre: Computers
ISBN: 3540749837


Download SDL 2007: Design for Dependable Systems Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions—-addressing all aspects of systems design and system design languages.

“I Don’t Translate, I Create!” An On-line Survey on Uniformity Versus Creativity in Professional Translations

“I Don’t Translate, I Create!” An On-line Survey on Uniformity Versus Creativity in Professional Translations
Author: Vanessa Drexler
Publisher: Anchor Academic Publishing
Total Pages: 137
Release: 2016-07
Genre: Language Arts & Disciplines
ISBN: 3954894777


Download “I Don’t Translate, I Create!” An On-line Survey on Uniformity Versus Creativity in Professional Translations Book in PDF, Epub and Kindle

“I don’t translate, I create!” – This is the slogan of a translation agency called “Sternkopf Communications” located in Flöha, Germany. The translators at this translation agency are specialized in the field of marketing and perceive creativeness their daily bread. But what does this actually mean – I don’t translate, I create? Undoubtedly, the translation of a text from one language into another is not an easy and straightforward process. On the contrary, the translator needs to invest much time and one or the other headache before a target text (TT) finally sounds natural, fluent, coherent and logical for the target audience. Different possible translation solutions will have to be considered, language as well as culture-related equivalents often are not easily at hand etc. Would it not be pleasant if machine translation (MT) was there to help with this process? Nevertheless, as promising as this may sound, no machine or software developed so far is able to independently produce TTs meeting the standards of marketable translations, despite copious efforts to do so. This just goes to show how important the human capacity of creativity in language and text production is for the translation process. Without human creative thinking, TTs would, in fact, truly only read like translations, i.e. mechanical reproductions of the source text (ST) in a different code, rather than natural texts in their own right. Good translations, however, distinguish themselves by not revealing their readership that they are “merely” renderings of the original text. Hence, a slogan such as “I don’t translate, I create”, emphasizes the effort that is put into the translation process quite well, making the customers of Sternkopf Communications instantly aware of the fact that their texts are in good hands and will eventually not read like mechanical translations but as if they were well-composed originals. Yet, despite the enormous importance of creativity in translating, computer-aided translation (CAT) tools are being used frequently by professional translators, not to replace but to support the translator in their daily business. From the 1990s onwards, using CAT tools has been becoming increasingly popular for the following reason: They are said to help translators to achieve faster turnaround times by storing completed translations in a translation memory TM. In so doing, CAT tools enable their users to translate in a more consistent way, since they search source texts for words, phrases or sentences that have already been translated before and stored in the TM so that the translator does not need to translate this text unit again ‘from scratch’. Accordingly, this paper pursues two related purposes. The first is to compare the different CAT tools in their degree of usability to gain an impression of which of these translation memory solutions is perceived to meet translators’ technological requirements best. The second purpose is to identify translators’ perspectives on uniformity and creativity in translations with the goal to shedding light on the question whether CAT tools generally tend to positively or negatively influence the translation process on a rather linguistic than technological basis.

Generative and Transformational Techniques in Software Engineering III

Generative and Transformational Techniques in Software Engineering III
Author: Joao M Fernandes
Publisher: Springer Science & Business Media
Total Pages: 508
Release: 2011-01-03
Genre: Computers
ISBN: 3642180221


Download Generative and Transformational Techniques in Software Engineering III Book in PDF, Epub and Kindle

This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering, automated software engineering, generic language technology, and software language engineering.

Ad-hoc, Mobile and Wireless Networks

Ad-hoc, Mobile and Wireless Networks
Author: David Coudert
Publisher: Springer Science & Business Media
Total Pages: 511
Release: 2008-08-18
Genre: Computers
ISBN: 3540852085


Download Ad-hoc, Mobile and Wireless Networks Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2008, held in Sophia-Antipolis, France, September 2008. The 40 revised full papers and the 15 poster presentations were carefully reviewed and selected from 110 submissions. The papers deal with advances in Ad-Hoc networks, i.e. wireless, self-organizing systems formed by co-operating nodes within communication range of each other that form temporary networks. Their topology is dynamic, decentralized, ever changing and the nodes may move around arbitrarily.

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems
Author: Andy Schürr
Publisher: Springer
Total Pages: 775
Release: 2009-09-30
Genre: Computers
ISBN: 3642044255


Download Model Driven Engineering Languages and Systems Book in PDF, Epub and Kindle

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday’shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4–9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.

Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods

Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods
Author: Milanovic, Nikola
Publisher: IGI Global
Total Pages: 424
Release: 2011-03-31
Genre: Computers
ISBN: 1605667951


Download Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods Book in PDF, Epub and Kindle

"This book offers a selection of chapters that cover three important aspects related to the use of non-functional properties in SOA: requirements specification with respect to non-functional properties, modeling non-functional properties and implementation of non-functional properties"--Provided by publisher.

WEB-BASED INFORMATION TECHNOLOGIES AND DISTRIBUTED SYSTEMS

WEB-BASED INFORMATION TECHNOLOGIES AND DISTRIBUTED SYSTEMS
Author: Quan Z Sheng
Publisher: Springer Science & Business Media
Total Pages: 345
Release: 2010-06-01
Genre: Computers
ISBN: 9491216325


Download WEB-BASED INFORMATION TECHNOLOGIES AND DISTRIBUTED SYSTEMS Book in PDF, Epub and Kindle

The Fourth International Conference on Signal-Image Technology & Internet-Based S- tems (SITIS 2008) has been successfully held during the period 30th November to 3rd of December of the year 2008 in Bali, Indonesia. The Track Web-Based Information Te- nologies & Distributed Systems (WITDS) is one of the four tracks of the conference. The track is devoted to emerging and novel concepts, architectures and methodologies for c- ating an interconnected world in which information can be exchanged easily, tasks can be processed collaboratively, and communities of users with similar interests can be formed while addressing security threats that are present more than ever before. The track has attracted a large number of submissions; only ?fteen papers have been accepted with - ceptance rate 27%. After the successful presentations of the papers during the conference, the track chairs have agreed with Atlantis publisher to publish the extended versions of the papers in a book. Each paper has been extended with a minimum of 30% new materials from its original conference manuscript. This book contains these extendedversions as chaptersafter a second roundof reviews and improvement. The book is an excellent resource of information to researchers and it is based on four themes; the ?rst theme is on advances in ad-hoc and routing protocols, the second theme focuses on the latest techniques and methods on intelligent systems, the third theme is a latest trend in Security and Policies, and the last theme is applications of algorithms design methodologies on web based systems.

Model Driven Architecture - Foundations and Applications

Model Driven Architecture - Foundations and Applications
Author: Ina Schieferdecker
Publisher: Springer Science & Business Media
Total Pages: 457
Release: 2008-05-30
Genre: Computers
ISBN: 3540690956


Download Model Driven Architecture - Foundations and Applications Book in PDF, Epub and Kindle

The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.