<--- Back to Details
First PageDocument Content
Computing / Computer-aided design / Product lifecycle management / Product structure modeling / Database / Data modeling / Subtype polymorphism / Configuration management / Software framework / Information technology management / Software engineering / Object-oriented programming
Date: 2006-01-11 03:11:40
Computing
Computer-aided design
Product lifecycle management
Product structure modeling
Database
Data modeling
Subtype polymorphism
Configuration management
Software framework
Information technology management
Software engineering
Object-oriented programming

View to Product Configuration Knowledge Modelling and Evolution

Add to Reading List

Source URL: www.aaai.org

Download Document from Source Website

File Size: 781,00 KB

Share Document on Facebook

Similar Documents

Applied mathematics / Theoretical computer science / Data types / Polymorphism / Lambda calculus / Π-calculus / Type system / Subtype polymorphism / System F / Mathematics / Type theory / Software engineering

Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi

DocID: 1gxoo - View Document

Data types / C++ / Type theory / Computer languages / Procedural programming languages / TTCN-3 / TTCN / Type system / Subtype polymorphism / Software engineering / Computing / Computer programming

ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language

DocID: 1gch4 - View Document

Mathematics / Programming language theory / Object-oriented programming / Polymorphism / Program analysis / Type system / Symbol / Structure / Subtype polymorphism / Type theory / Data types / Software engineering

A Type System for Components? Ornela Dardha1 1 Elena Giachino1

DocID: 1ga1B - View Document

Polymorphism / Subtype polymorphism / Computing / Type theory / Software engineering / Object-oriented programming

Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2

DocID: 1fTjd - View Document

Data types / Object-oriented programming / Programming language theory / Subtype polymorphism / Type system / Polymorphism / E / Inheritance / Lambda calculus / Software engineering / Type theory / Computing

Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3

DocID: 1fBcj - View Document