From Verification to Life Cycle Support.

Sabine Geldof Aurélien Slodzian Walter Van de Velde

Published in: IEEE Expert (1996)

Keyphrases

life cycle
concurrent engineering
business models
metamodel
design process
requirements engineering
product life cycle
artificial intelligence
knowledge base
state space
linear programming
model checking
software product
mass production