Skip to main content

DAS: An Automated System to Support Design Analysis

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Willis:ICSE78,
  author    = {R. R. Willis},
  title     = {{DAS:} An Automated System to Support Design Analysis},
  booktitle = {ICSE},
  pages     = {109--115},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}

Related papers

Taming Dynamically Adaptive Systems using models and aspects ICSE 2009
Towards flexible evolution of Dynamically Adaptive Systems ICSE 2012
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine OOPSLA 2011
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems ICSE 2009
A programming model and system for disconnected-aware applications on resource-constrained devices ICSE 2002
Automated software architecture security risk analysis using formalized signatures ICSE 2013
Providing Automated Support to Deductive Analysis of Time Critical Systems FSE 1997
Towards scalable compositional analysis by refactoring design models FSE 2003