Skip to main content
main-content

Inhaltsverzeichnis

Frontmatter

2010 | OriginalPaper | Buchkapitel

Specification Coverage for Testing in Circus

Ana Cavalcanti, Marie-Claude Gaudel

2010 | OriginalPaper | Buchkapitel

UTP and Sustainability

Yifeng Chen, Jeff W. Sanders

2010 | OriginalPaper | Buchkapitel

A Probabilistic BPEL-Like Language

He Jifeng

2010 | OriginalPaper | Buchkapitel

On Modelling User Observations in the UTP

Michael J. Banks, Jeremy L. Jacob

2010 | OriginalPaper | Buchkapitel

Unifying Theories of Confidentiality

Michael J. Banks, Jeremy L. Jacob

2010 | OriginalPaper | Buchkapitel

Saoithín: A Theorem Prover for UTP

Andrew Butterfield

2010 | OriginalPaper | Buchkapitel

A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs

Xin Chen, Nan Ye, Wenxu Ding

2010 | OriginalPaper | Buchkapitel

Programmable Verifiers in Imperative Programming

Yifeng Chen

2010 | OriginalPaper | Buchkapitel

Unifying Theories in Isabelle/HOL

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

2010 | OriginalPaper | Buchkapitel

Unifying Recursion in Partial, Total and General Correctness

Walter Guttmann

2010 | OriginalPaper | Buchkapitel

Halting Still Standing – Programs versus Specifications

Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff

2010 | OriginalPaper | Buchkapitel

Promoting Models

Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu

2010 | OriginalPaper | Buchkapitel

Probabilistic Choice, Reversibility, Loops, and Miracles

Bill Stoddart, Pete Bell

2010 | OriginalPaper | Buchkapitel

Towards a Pomset Semantics for a Shared-Variable Parallel Language

Yongxin Zhao, Xu Wang, Huibiao Zhu

2010 | OriginalPaper | Buchkapitel

Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language

Huibiao Zhu, Fan Yang, Jifeng He

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise