Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

K. Suzanne Barber, Thomas J. Graser, Jim Holt. Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 341-345, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'K. Suzanne Barber' in GoogleThis author has not been identified. Look up 'Thomas J. Graser' in GoogleThis author has not been identified. Look up 'Jim Holt' in Google

runs on WebDSL