generic  (1 795 Angebote unter 17 197 588 Artikeln)

Invited Talks.- SFI: A Refinement Based Layered Software Architecture.- Developing Quality Software Systems Using the SOFL Formal Engineering Method.- Maintaining Referential Integrity on the Web.-...

This book introduces a generic and systematic design-time/run-time methodology for handling the dynamic nature of modern embedded systems, without adding large safety margins in the design. The tec...

Keynote.- Agile Software Development of Mobile Information Systems.- Ontologies.- Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction.- Change Detection in Ont...

Keynote Talks.- Program Verification Through Computer Algebra.- JML's Rich, Inherited Specifications for Behavioral Subtypes.- Three Perspectives in Formal Engineering.- Specification and Verificat...

This book introduces a generic and systematic design-time/run-time methodology for handling the dynamic nature of modern embedded systems, without adding large safety margins in the design. The tec...

Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- What's in a Feature: A Requirements Engineering Perspective.- Formal Approach to Integrating Feature ...

1.1 Cash Flow, Risk, Agency, Information, Investments The first volume dealt with the management of: cash flow (and the exchange of goods and services); risk; agency relationships; and information....

Chaos and nonlinear dynamics initially developed as a new emergent field with its foundation in physics and applied mathematics. The highly generic, interdisciplinary quality of the insights gained...

Invited Talk.- Erlang - Software for a Concurrent World.- Types.- Gradual Typing for Objects.- Generic Universe Types.- Declarative Object Identity Using Relation Types.- Runtime Implementation.- O...

Introducing a unique, modular approach to modeling polymerization reactions, this useful book will enable practitioners - chemists and engineers alike - to set up and structure their own models for...

Complex Numbers for Java.- Automatic Generation of Executable Data Structures.- Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice.- An Object-Oriented Framework for Para...

Mechanical Biological Treatment (MBT) is a generic term for the integration of a number of waste management processes such as materials recovery facilities (MRF), refuse derived fuel (RDF) producti...

Introduction to GENERIC

General Aspects.- Energy Methods for Constitutive Modelling in Geomechanics.- Physical Background of Hypoplasticity.- Thermodynamics of Porous Continua.- Effective Stress Formulation of Unsaturated...

1. 1 Investments, Generic Contracts, Payments According to Volume I, contracts are one of the five generic legal tools used to manage cash flow, risk, agency relationships, and information. Many in...