|
Search the dblp DataBase
James Ivers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
The ComFoRT Reasoning Framework. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:164-169 [Conf]
- Len Bass, James Ivers, Mark Klein, Paulo Merson, Kurt C. Wallnau
Encapsulating Quality Attribute Knowledge. [Citation Graph (0, 0)][DBLP] WICSA, 2005, pp:193-194 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Winter Simulation Conference, 1999, pp:1103-1108 [Conf]
- Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
Model-Driven Construction of Certified Binaries. [Citation Graph (0, 0)][DBLP] MoDELS, 2007, pp:666-681 [Conf]
- James Ivers, Gabriel A. Moreno
Model-driven development with predictable quality. [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2007, pp:874-875 [Conf]
PACC starter kit: developing software with predictable behavior. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|