Skip to main content
placeholder image

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

Journal Article


Abstract


UOW Authors


  •   Krishna, Aneesh (external author)
  •   Vilkomir, Sergiy (external author)
  •   Ghose, Aditya

Publication Date


  • 2009

Citation


  • Krishna, A., Vilkomir, S. A. & Ghose, A. K. (2009). Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology, 51 (2), 478-496.

Scopus Eid


  • 2-s2.0-56349146354

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/3341

Number Of Pages


  • 18

Start Page


  • 478

End Page


  • 496

Volume


  • 51

Issue


  • 2

Place Of Publication


  • http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V0B-4SNGM3M-1-3C&_cdi=5642&_user=202616&_pii=S0950584908000839&_orig=search&_coverDate=02%2F28%2F2009&_sk=999489997&view=c&wchp=dGLbVzW-zSkzV&md5=482de8b55c2a3155fd3dfb5f89a2c43c&ie=/sdarticle.pdf

Abstract


UOW Authors


  •   Krishna, Aneesh (external author)
  •   Vilkomir, Sergiy (external author)
  •   Ghose, Aditya

Publication Date


  • 2009

Citation


  • Krishna, A., Vilkomir, S. A. & Ghose, A. K. (2009). Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology, 51 (2), 478-496.

Scopus Eid


  • 2-s2.0-56349146354

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/3341

Number Of Pages


  • 18

Start Page


  • 478

End Page


  • 496

Volume


  • 51

Issue


  • 2

Place Of Publication


  • http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6V0B-4SNGM3M-1-3C&_cdi=5642&_user=202616&_pii=S0950584908000839&_orig=search&_coverDate=02%2F28%2F2009&_sk=999489997&view=c&wchp=dGLbVzW-zSkzV&md5=482de8b55c2a3155fd3dfb5f89a2c43c&ie=/sdarticle.pdf