IEEE - Institute of Electrical and Electronics Engineers, Inc. - Constraint Management in Engineering of Complex Information Systems

2009 14th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS)

Author(s): Terrasse, M.-N. ; Savonnet, M. ; Leclercq, E. ; Naubourg, P. ; Lopes, V. ; Da Costa, A. ; Grison, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2009
Conference Location: Potsdam, Germany, Germany
Conference Date: 2 June 2009
Page(s): 317 - 322
ISBN (Paper): 978-0-7695-3702-3
DOI: 10.1109/ICECCS.2009.23
Regular:

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of... View More

Advertisement