Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden. Stepwise Refinement of Software Development Problem Analysis. In Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki, editors, Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings. Volume 9974 of Lecture Notes in Computer Science, pages 488-495, 2016. [doi]
Abstract is missing.