共 32 条
[1]
Alexander C., 1977, PATTERN LANGUAGE
[2]
[Anonymous], DESIGNING CONCURRENT
[3]
Towards a well-founded UML-based development method
[J].
FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS,
2003,
:102-115
[4]
Astesiano E, 2000, LECT NOTES COMPUT SC, V1816, P273
[5]
ASTESIANO E, 2002, LECT NOTES COMPUTER, V2941
[6]
Bass L., 2012, Software Architecture in Practice, V3rd ed.
[7]
Bidoit M., 2004, LECT NOTES COMPUTER, V2900
[8]
Michael Jackson's problem frames: Towards methodological principles of selecting and applying formal software development techniques and tools.
[J].
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS,
1997,
:263-270
[9]
BLEISTEIN SJ, 2004, P 1 INT WORKSH ADV A
[10]
Boehm B, 2003, BALANCING AGILITY DI