Login / Signup

Integrating formal methods with domain analysis.

Laura FeliceMaria Carmen LeonardiMaría Virginia MaucoGerman MontejanoDaniel RiescoNarayan C. Debnath
Published in: J. Comput. Methods Sci. Eng. (2010)
Keyphrases
  • formal methods
  • formal analysis
  • domain specific
  • software engineering
  • domain independent
  • artificial intelligence
  • knowledge base
  • database systems
  • data model
  • fine grained
  • process model
  • fault tolerant