Charles P. Shelton
According to our database1, Charles P. Shelton authored at least 12 papers between 2000 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Advances in Computers, 2011
A practical ontology framework for static model analysis.
Proceedings of the 11th International Conference on Embedded Software, 2011
Automatic Requirement Extraction from Test Cases.
Proceedings of the Runtime Verification - First International Conference, 2010
Scalable Semantic Annotation Using Lattice-Based Ontologies.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009
CAMEL: A Tool for Collaborative Distributed Software Design.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009
Designing software architectures to achieve quality attribute requirements.
IEE Proceedings - Software, 2005
Experience Using an Expert System to Assist an Architect in Designing for Modifiability.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Improving System Dependability with Functional Alternatives.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003
Using Architectural Properties to Model and Measure Graceful Degradation.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Robustness Testing of the Microsoft Win32 API.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000