An Approach for Specification Construction Using Property-Preserving Refinement Patterns Conference

Ding, Junhua, Mo, Lian, He, Xudong. (2008). An Approach for Specification Construction Using Property-Preserving Refinement Patterns . 797-+.

keywords

  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Property-Preserving
  • Refinement
  • Science & Technology
  • Software Architecture
  • Technology

Location

  • Fortaleza, BRAZIL

Conference

  • 23rd Annual ACM Symposium on Applied Computing

publisher

  • ASSOC COMPUTING MACHINERY

start page

  • 797

end page

  • +