Refinement via Consistency Checking in MDA Journal Articles

authors

• Paige, Richard
• Kolovos, Dimitrios S
• Polack, Fiona AC

status

• published 

publication date

• July 2005

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 0803 Computer Software (FoR)
• 1702 Cognitive Sciences (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Electronic Notes in Theoretical Computer Science  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering

Digital Object Identifier (DOI)

• 10.1016/j.entcs.2005.04.029

start page

• 151

end page

• 161

volume

• 137

issue

• 2