Follow
James Ivers
James Ivers
Software Engineering Institute
Verified email at sei.cmu.edu
Title
Cited by
Cited by
Year
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
29402003
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
1572004
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
1121998
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
1072000
Documenting Software Architectures: Views and Beyond
F Bachmann, L Bass, D Garlan, J Ivers, R Little, P Merson, R Nord, ...
Addison-Wesley Professional, 2011
692011
Reasoning frameworks
L Bass, J Ivers, M Klein, P Merson
Software Engineering Institute, Carnegie Mellon, Tech. Rep. CMU/SEI-2005-TR-007, 2005
622005
A basis for composition language CL
J Ivers, N Sinha, KC Wallnau
Carnegie Mellon University, 2002
482002
The ComFoRT reasoning framework
S Chaki, J Ivers, N Sharygina, K Wallnau
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
442005
Snapshot of CCL: A language for predictable assembly
KC Wallnau, J Ivers
Carnegie Mellon University, 2003
432003
Pin component technology (V1. 0) and its C interface
S Hissam, J Ivers, D Plakosh, KC Wallnau
Carnegie Mellon University, 2005
352005
Documenting software architecture: Documenting interfaces
F Bachmann, L Bass, PC Clements, D Garlan, J Ivers, R Little, R Nord, ...
Carnegie Mellon University, 2002
352002
Predictable assembly of substation automation systems: An experiment report
S Hissam, JJ Hudak, J Ivers, MH Klein, M Larsson, GA Moreno, ...
Carnegie Mellon University, 2002
332002
Overview of ComFoRT: A model checking reasoning framework
J Ivers, N Sharygina
Carnegie Mellon University, Software Engineering Institute, 2004
322004
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
322002
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
241999
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
232011
Documenting software architectures in an agile world
PC Clements, J Ivers, MR Little, R Nord, J Stafford
Carnegie Mellon University, 2003
232003
Documenting software architecture: Documenting behavior
F Bachmann, L Bass, PC Clements, D Garlan, J Ivers, R Little, R Nord, ...
Carnegie Mellon University, 2002
232002
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
23
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
222011
The system can't perform the operation now. Try again later.
Articles 1–20