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
24202003
Documenting component and connector views with UML 2.0
J Ivers, P Clements, D Garlan, R Nord, B Schmerl, JR Silva
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2004
1432004
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
1071998
Documenting Software Architectures: Views and Beyond
F Bachmann, L Bass, D Garlan, J Ivers, R Little, P Merson, R Nord, ...
Addison-Wesley Professional, 2011
1032011
Software architecture documentation in practice: Documenting architectural layers
F Bachmann, L Bass, J Carriere, P Clements, D Garlan, J Ivers, R Nord, ...
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2000
902000
Reasoning frameworks
L Bass, J Ivers, M Klein, P Merson
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2005
502005
A basis for composition language CL
J Ivers, N Sinha, K Wallnau
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002
452002
The ComFoRT reasoning framework
S Chaki, J Ivers, N Sharygina, K Wallnau
International Conference on Computer Aided Verification, 164-169, 2005
422005
Snapshot of CCL: A language for predictable assembly
KC Wallnau, J Ivers
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2003
372003
Pin component technology (V1. 0) and its C interface
S Hissam, J Ivers, D Plakosh, KC Wallnau
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2005
362005
Overview of ComFoRT: A model checking reasoning framework
J Ivers, N Sharygina
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2004
312004
Predictable Assembly of Substation Automation Systems: An Experiment Report Second Edition
S Hissam, J Hudak, J Ivers, M Klein, M Larsson, G Moreno
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002
282002
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
262002
Documenting software architecture: Documenting interfaces
F Bachmann, L Bass, P Clements, D Garlan, J Ivers
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002
262002
Evaluating Software Architectures. SEI Series in Software Engineering
PC Clements, R Kazman, M Klein
Addison-Wesley, 2001
252001
Documenting Software Architecture: Documenting Behavior
F Bachmann, L Bass, P Clements, D Garlan, J Ivers
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2002
212002
Automated distributed system testing: designing an RTI verification system
J Tufarolo, J Nielsen, S Symington, R Weatherly, A Wilson, J Ivers, ...
WSC'99. 1999 Winter Simulation Conference Proceedings.'Simulation-A Bridge …, 1999
211999
Documenting software architectures in an agile world
P Clements, J Ivers, R Little, R Nord, J Stafford
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2003
202003
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
19
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
182011
The system can't perform the operation now. Try again later.
Articles 1–20