| Documenting software architectures: views and beyond P Clements, D Garlan, R Little, R Nord, J Stafford 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 2900 | 2003 |
| Documenting component and connector views with UML 2.0 J Ivers, PC Clements, D Garlan, R Nord, B Schmerl, J Oviedo-Silva Carnegie Mellon University, 2004 | 154 | 2004 |
| Formal modeling and analysis of the HLA component integration standard RJ Allen, D Garlan, J Ivers ACM SIGSOFT Software Engineering Notes 23 (6), 70-79, 1998 | 112 | 1998 |
| Software architecture documentation in practice: Documenting architectural layers F Bachmann, L Bass, J Carriere, PC Clements, D Garlan, J Ivers, R Nord, ... Carnegie Mellon University, 2000 | 107 | 2000 |
| Reasoning frameworks L Bass, J Ivers, M Klein, P Merson Software Engineering Institute, Carnegie Mellon, Tech. Rep. CMU/SEI-2005-TR-007, 2005 | 58 | 2005 |
| A basis for composition language CL J Ivers, N Sinha, KC Wallnau Carnegie Mellon University, 2002 | 47 | 2002 |
| The ComFoRT reasoning framework S Chaki, J Ivers, N Sharygina, K Wallnau Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 44 | 2005 |
| Snapshot of CCL: A language for predictable assembly KC Wallnau, J Ivers Carnegie Mellon University, 2003 | 42 | 2003 |
| Documenting software architecture: Documenting interfaces F Bachmann, L Bass, PC Clements, D Garlan, J Ivers, R Little, R Nord, ... Carnegie Mellon University, 2002 | 34 | 2002 |
| Predictable assembly of substation automation systems: An experiment report S Hissam, J Hudak, J Ivers, M Klein, M Larsson, G Moreno, L Northrop, ... CMU/SEI-2002-TR-031, ADA418441). Pittsburgh, PA: Software Engineering …, 2002 | 33 | 2002 |
| Overview of ComFoRT: A model checking reasoning framework J Ivers, N Sharygina Carnegie Mellon University, Software Engineering Institute, 2004 | 32 | 2004 |
| A practical method for documenting software architectures PC Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, R Nord, ... Carnegie Mellon University, 2002 | 29 | 2002 |
| Documenting Software Architecture: Views and Beyond. SEI P Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, P Merson, ... SEI series in software engineering/P. Clements, F. Bachmann, L. Bass, D …, 2011 | 24 | 2011 |
| Automated distributed system testing: designing an RTI verification system J Tufarolo, J Nielsen, S Symington, R Weatherly, A Wilson, TC Hyon Proceedings of the 31st conference on Winter simulation: Simulation---a …, 1999 | 24 | 1999 |
| Documenting software architecture: Documenting behavior F Bachmann, L Bass, PC Clements, D Garlan, J Ivers, R Little, R Nord, ... Carnegie Mellon University, 2002 | 23 | 2002 |
| Documenting Software Architectures: Views and Beyond , Second P Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, P Merson, ... cit. on, 9, 2011 | 22 | 2011 |
| Documenting software architectures in an agile world PC Clements, J Ivers, MR Little, R Nord, J Stafford Carnegie Mellon University, 2003 | 22 | 2003 |
| AMI system security requirements B Brown, B Singletary, B Willke, C Bennett, D Highfill, D Houseman, ... AMI-SEC TF, 2008 | 20 | 2008 |
| Documenting Software Architectures: Views and Beyond. 2002 P Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, R Nord, ... Google Scholar Google Scholar Digital Library Digital Library, 0 | 20 | |
| Architecture evaluation without an architecture: Experience with the smart grid R Kazman, L Bass, J Ivers, GA Moreno Proceedings of the 33rd international conference on software engineering …, 2011 | 18 | 2011 |
