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
28882003
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
1582004
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
1082000
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
592005
A basis for composition language CL
J Ivers, N Sinha, KC Wallnau
Carnegie Mellon University, 2002
472002
The ComFoRT reasoning framework
S Chaki, J Ivers, N Sharygina, K Wallnau
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
452005
Snapshot of CCL: A language for predictable assembly
KC Wallnau, J Ivers
Carnegie Mellon University, 2003
432003
Documenting software architecture: Documenting interfaces
F Bachmann, L Bass, PC Clements, D Garlan, J Ivers, R Little, R Nord, ...
Carnegie Mellon University, 2002
362002
Pin component technology (V1. 0) and its C interface
S Hissam, J Ivers, D Plakosh, KC Wallnau
Carnegie Mellon University, 2005
352005
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
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
312002
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
252011
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 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 , Second
P Clements, F Bachmann, L Bass, D Garlan, J Ivers, R Little, P Merson, ...
cit. on, 9, 2011
222011
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
21
The system can't perform the operation now. Try again later.
Articles 1–20