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.
Model-Integrating Software Components
In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and maintainability and in contrast to model-driven approaches there is no synchronization problem anymore between the models and the code generated from them. Using model-integrating components, software will be easier to build and easier to evolve by just modifying the respective model in an editor. Furthermore, software may also adapt itself at runtime by transforming its own model part.
Lost Patrols
This book brings to life the stories of the 121 submarines that lie entombed on the seabed of the English Channel. Most of them got there as the result of war and peacetime accidents. The first was lost in 1774; the last was the tragic accident that befell HMS Affray in 1951, the last British submarine to have been lost at sea.
Bridging Technological Spaces
Model-Driven Engineering (MDE) aims to raise the level of abstraction in software system specifications and increase automation in software development. Modelware technological spaces contain the languages and tools for MDE that software developers take into consideration to model systems and domains. Ontoware technological spaces contain ontology languages and technologies to design, query, and reason on knowledge. With the advent of the Semantic Web, ontologies are now being used within the field of software development, as well. In this thesis, bridging technologies are developed to combine two technological spaces in general. In particular, this thesis focuses on the combination of modelware and ontoware technological spaces. Subsequent to a sound comparison of languages and tools in both spaces, the bridging technologies are used to build a common technological space, which allows for the hybrid use of languages and the interoperable use of tools.
Graph-Theoretic Concepts in Computer Science
This volume presents the proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '94), held in Herrsching, Germany in June 1994. The volume contains 32 thoroughly revised papers selected from 66 submissions and provides an up-to-date snapshot of the research performed in the field. The topics addressed are graph grammars, treewidth, special graph classes, algorithms on graphs, broadcasting and architecture, planar graphs and related problems, and special graph problems.
Universal Traceability. A Comprehensive, Generic, Technology-Independent, and Semantically Rich Approach
Traceability describes the ability of stakeholders to understand and follow relationships between artifacts that play some role in software development. It is essential for many development tasks, e.g., quality assurance, requirements management, or software maintenance. Aiming to overcome various deficiencies of existing traceability concepts, this book presents a universal approach describing required features of traceability solutions. This includes a technology-independent, generic template for the definition of semantically rich traceability relationship types and technology-independent patterns for the retrieval of traceability information, reflecting generic problems common to traceability applications. The universal approach is implemented on the basis of two concrete technologies which facilitate comprehensive traceability: the TGraph approach and OWL ontologies. The applicability of the approach is shown by three case studies dealing with the reuse of software artifacts, process model refinement, and requirements management, respectively.
Models in Software Engineering
Of the workshop on multi-paradigm modeling : concepts and tools / Holger Giese, Tihamer Levendovszky and Hans Vangheluwe -- Think global, act local : implementing model management with domain-specific integration languages / Thomas Reiter, Kerstin Altmanninger and Werner Retschitzegger -- MoDELS 2006 doctoral symposium / Gabriela Arevalo and Robert Pettit -- Model driven security engineering for the realization of dynamic security requirements in collaborative systems / Muhammad Alam -- Educators' symposium at MoDELS 2006 / Ludwik Kuzniarz -- If you're not modeling, you're just programming : modeling throughout an undergraduate software engineering program / James Vallino -- Teaching softwar...
Fundamentals of Computation Theory
This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Computational geometry, algorithmic aspects of algebra and algebraic geometry, cryptography - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts) - Algorithms (efficient, probabilistic, parallel, sequential, distributed) - Counting and combinatorics in connection with mathematical computer science The volume contains the texts of 8 invitedlectures and 32 short communications selected by the international program committee from a large number of submitted papers.
German Film
This lavishly illustrated volume tells the story of German film through the collection of the Deutsche Kinemathek. From its beginnings in 1895 to the present day, it illustrates the artistic and technical, political, and social developments that have shaped and continue to shape, the history of film in Germany. Organized by decade and divided into twelve chapters, more than 420 essays explore films both famous and obscure. It celebrates this important cultural medium and its spectators as well as all the personalities who have shaped the diversity of German film through their creativity. More than 2,700 objects from all areas of the collection and spanning a period of around 130 years, many ...
Graph Transformations and Model-Driven Engineering
This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more.
Method Engineering
Method Engineering focuses on the design, construction and evaluation of methods, techniques and support tools for information systems development It addresses a number of important topics, including: method representation formalisms; meta-modelling; situational methods; contingency approaches; system development practices of method engineering; terminology and reference models; ontologies; usability and experience reports; and organisational support and impact.
