共 9 条
- [1] A Guide to the Project Management Body of Knowledge (PMBOK Guides), (2004)
- [2] Humphrey W.S., Managing the Software Process, Addison-Wesley, (1989)
- [3] OMG U.M.L., Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE), Beta2, (2008)
- [4] Mellor S., Balcer M.J., Executable Uml: A Foundation for Model- Driven Architecture, Addison-Wesley, (2002)
- [5] Douglass B.P., Real Time Uml: Advances in the Uml for Real-Time Systems, Addison-Wesley, (2004)
- [6] Clarke E., Grumberg O., Peled D., Model Checking, (1999)
- [7] Garlan D., Allen R., Ockerbloom J., Architectural Mismatch: Why Reuse is So Hard, IEEE Software, pp. 17-26, (1995)
- [8] Clements P., Northrop L., Software Product Lines: Practices and Patterns, (2001)
- [9] Pohl K., Bockle G., Linden F.V., Software Product Line Engineering, Foundations, Principles and Techniques, (2005)