Using partial order techniques to improve performance of data flow analysis based verification
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Naumovich, Gleb; Clarke, Lori A.; Cobleigh, Jamieson M.
- 卷第24卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小869.34KB
- 发表时间1999-09-01
- DOI10.1145/381788.316180
- 页码57-65
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Implementing product line variabilitiesGacek, Critina; Anastasopoules, Michalis · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Cascaded refactoring for frameworkButler, Greg; Xu, Lugang · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Managing variability in software architecturesBachmann, Felix; Bass, Len · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Closing panel (panel session)Zand, Manzour; Bassett, Paul; Prieto-Díaz, Rubén · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Violatility analysis framework for product linesSavolainen, Juha; Kuusela, Juha · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - XML implementation of frame processorWong, Tak; Jarzabek, Stan; Swe, Soe Myat; Shen, Ru; Zhang, Hongyu · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Measuring experimental error in microprocessor simulationDesikan, Rajagopalan; Burger, Doug; Keckler, Stephen W. · 2001
[ACM Press the 2001 symposium - Toronto, Ontario, Canada (2001..-..)] Proceedings of the 2001 symposium on Software reusability putting software reuse in context - SSR '01 - Performance specification of software componentsSitaraman, Murali; Kulczycki, Greg; Krone, Joan; Ogden, William F.; Reddy, A. L. N. · 2001
Six strategies for generalizing software engineering theoriesWieringa, Roel; Daneva, Maya · Science of Computer Programming · 2015
Customer requirements based ERP customization using AHP techniqueParthasarathy, Sudhaman; Daneva, Maya · Business Process Management Journal · 2014
Cost estimation for cross-organizational ERP projects: research perspectivesMaya Daneva; Roel Wieringa · 2008
2nd international workshop on creativity in requirements engineeringHerrmann, Andrea; Daneva, Maya; Doerr, Joerg; Schneider, Kurt · ACM SIGSOFT Software Engineering Notes · 2012
A requirements engineering framework for cross-organizational ERP systemsMaya Daneva; Roel J. Wieringa · 2006
Coping with Quality Requirements in Large, Contract-Based ProjectsDaneva, Maya; Herrmann, Andrea; Buglione, Luigi · IEEE Software · 2015
A security risk mitigation framework for cyber physical systemsZahid, Maryam; Inayat, Irum; Daneva, Maya; Mehmood, Zahid · Journal of Software: Evolution and Process · 2019
What Practitioners Think of Inter-organizational ERP Requirements Engineering PracticesDaneva, Maya; Ahituv, Niv · International Journal of Information System Modeling and Design · 2011