This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.
Read More
This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.
Read Less
