 | 2011 |
|---|
| 8 |       | Rick Kazman,
Len Bass,
James Ivers,
Gabriel A. Moreno:
Architecture evaluation without an architecture: experience with the smart grid.
ICSE 2011: 663-670 |
| 2010 |
|---|
| 7 | | Sagar Chaki,
James Ivers:
Software model checking without source code.
ISSE 6(3): 233-242 (2010) |
| 2008 |
|---|
| 6 | | James Ivers,
Gabriel A. Moreno:
PACC starter kit: developing software with predictable behavior.
ICSE Companion 2008: 949-950 |
| 2007 |
|---|
| 5 | | Sagar Chaki,
James Ivers,
Peter Lee,
Kurt C. Wallnau,
Noam Zeilberger:
Model-Driven Construction of Certified Binaries.
MoDELS 2007: 666-681 |
| 4 | | James Ivers,
Gabriel A. Moreno:
Model-driven development with predictable quality.
OOPSLA Companion 2007: 874-875 |
| 2005 |
|---|
| 3 | | Sagar Chaki,
James Ivers,
Natasha Sharygina,
Kurt C. Wallnau:
The ComFoRT Reasoning Framework.
CAV 2005: 164-169 |
| 2 | | Len Bass,
James Ivers,
Mark Klein,
Paulo Merson,
Kurt C. Wallnau:
Encapsulating Quality Attribute Knowledge.
WICSA 2005: 193-194 |
| 1999 |
|---|
| 1 | | Annette L. Wilson,
James Ivers,
Timothy C. Hyon,
John A. Tufarolo,
Jeff Nielsen,
Susan Symington,
Richard M. Weatherly:
Automated distributed system testing: application of an RTI verification system.
Winter Simulation Conference 1999: 1103-1108 |
Data released under the ODC-BY 1.0 license — See also our legal information page