Login / Signup

A Decomposition of a Formal Specification: An Improved Constraint Oriented Method.

Kentaro GoNorio Shiratori
Published in: IEEE Trans. Software Eng. (1999)
Keyphrases
  • formal specification
  • decomposition method
  • expert systems
  • object oriented design
  • database
  • case study
  • fine grained