Template semantics for model-based notations
Jianwei Niu, Atlee, J.M., Day, N.A.
Published in IEEE transactions on software engineering (01.10.2003)
Published in IEEE transactions on software engineering (01.10.2003)
Get full text
Journal Article
State-Space Coverage Estimation
Taleghani, A., Atlee, J.M.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Get full text
Conference Proceeding
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering
Atlee, J.M., Lethbridge, T.C., Sobel, A., Thompson, J.B., LeBlanc, R.J.
Published in Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005 (2005)
Published in Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005 (2005)
Get full text
Conference Proceeding
Feasibility of model checking software requirements: a case study
Sreemani, T., Atlee, J.M.
Published in Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96 (1996)
Published in Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96 (1996)
Get full text
Conference Proceeding
Integrating requirements analysis and safety analysis
Atlee, J.M., McDermid, J.
Published in Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
Published in Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
Get full text
Conference Proceeding
Understanding and comparing model-based specification notations
Niu, J., Atlee, J.M., Day, N.A.
Published in Proceedings. 11th IEEE International Requirements Engineering Conference, 2003 (2003)
Published in Proceedings. 11th IEEE International Requirements Engineering Conference, 2003 (2003)
Get full text
Conference Proceeding
What do you mean I've been practicing without a license? Certification & licensing of requirements engineering professionals
Anton, A.I., Atlee, J.M.
Published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219) (2000)
Published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219) (2000)
Get full text
Conference Proceeding
A joint CS/E&CE undergraduate option in software engineering
Atlee, J.M., Dasiewicz, P.P., Kazman, R., Seviora, R.E., Singh, A.
Published in Proceedings of 9th Conference on Software Engineering Education (1996)
Published in Proceedings of 9th Conference on Software Engineering Education (1996)
Get full text
Conference Proceeding
Improving module reuse by interface adaptation
Purtilo, J.M., Atlee, J.M.
Published in Proceedings. 1990 International Conference on Computer Languages (1990)
Published in Proceedings. 1990 International Conference on Computer Languages (1990)
Get full text
Conference Proceeding