A formalism of the specifications for library development.

Jung Kyu Chae Paul Mougeat Jean-Arnaud Francois Roselyne Chotin-Avot Habib Mehrez

Published in: SoCC (2013)

Keyphrases

software engineering
knowledge based systems
information processing
operational semantics
cross platform
databases
case study
high level
decision support
data sets
machine learning
website
knowledge representation
open source
design principles
concurrent systems