|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 4 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rick Kazman, Len Bass, James Ivers, Gabriel A. Moreno |
Architecture evaluation without an architecture: experience with the smart grid.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, James Ivers |
Software model checking without source code. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Ivers, Gabriel A. Moreno |
PACC starter kit: developing software with predictable behavior. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
predictable assembly, performance, model checking, components, model-driven development |
| 1 | Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger |
Model-Driven Construction of Certified Binaries. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Ivers, Gabriel A. Moreno |
Model-driven development with predictable quality. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
predictable assembly, performance, model checking, components, model-driven development |
| 1 | Len Bass, James Ivers, Mark Klein, Paulo Merson, Kurt C. Wallnau |
Encapsulating Quality Attribute Knowledge. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau |
The ComFoRT Reasoning Framework. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")