|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Functional and Nonfunctional Design Verification for Embedded Software Systems.  |
Advances in Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee |
A practical ontology framework for static model analysis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
Automatic Requirement Extraction from Test Cases. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Validating Automotive Control Software Using Instrumentation-Based Verification. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Cataldo, Charles P. Shelton, Yongjoon Choi, Yun-Yin Huang, Vytesh Ramesh, Darpan Saini, Liang-Yun Wang |
CAMEL: A Tool for Collaborative Distributed Software Design. |
ICGSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly |
Scalable Semantic Annotation Using Lattice-Based Ontologies. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Bachmann, Leonard J. Bass, Mark Klein, Charles P. Shelton |
Experience Using an Expert System to Assist an Architect in Designing for Modifiability. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles P. Shelton, Philip Koopman |
Improving System Dependability with Functional Alternatives. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles P. Shelton, Philip Koopman, William Nace |
A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles P. Shelton, Philip Koopman |
Using Architectural Properties to Model and Measure Graceful Degradation. |
WADS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles P. Shelton, Philip Koopman, Kobey Devale |
Robustness Testing of the Microsoft Win32 API. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
software robustness testing, Windows vs. Linux, exception handling |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")