From System Requirements to System Architecture
暂无分享,去创建一个
[1] Victoria Ungureanu,et al. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.
[2] Axel van Lamsweerde,et al. Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..
[3] Robert L. Nord,et al. Applied Software Architecture , 1999, Addison Wesley object technology series.
[4] Robert T. Monroe. Capturing Software Architecture Design Expertise with Armani , 2000 .
[5] Alexander L. Wolf,et al. Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .
[6] Philippe Massonet,et al. GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[7] Ernst-Erich Doberkat. Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline , 2000, Softwaretechnik-Trends.
[8] Mary Shaw,et al. Software architecture - perspectives on an emerging discipline , 1996 .
[9] Xiaolei Qian,et al. Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..
[10] Mary Shaw,et al. A field guide to boxology: preliminary classification of architectural styles for software systems , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
[11] Mary Shaw,et al. An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.
[12] Philippe Massonet,et al. Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).
[13] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[14] Robert A. Riemenschneider,et al. Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures , 1999, WICSA.
[15] Victoria Stavridou,et al. Secure interoperation of secure distributed databases : An architecture verification case study , 1999, FM 1999.
[16] David Garlan,et al. Acme: an architecture description interchange language , 1997, CASCON.