Export Citations
2 Results for: Book/Issue: MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,834,896 records)|Limit your search to The ACM Full-Text Collection (773,146 records)
Showing 1 - 2of2 Results
Select All
- research-articleMay 2008
Modelling feature interactions in the automotive domain
MiSE '08: Proceedings of the 2008 international workshop on Models in software engineeringPages 45–50https://doi.org/10.1145/1370731.1370743We propose to use model checking to detect feature interactions in a set of features under design for an automotive embedded system. In this paper, we present (1) the characteristics of the feature interaction problem in the automotive domain that make ...
- research-articleMay 2008
Using formal models to objectively judge quality of multi-threaded programs in empirical studies
MiSE '08: Proceedings of the 2008 international workshop on Models in software engineeringPages 33–38https://doi.org/10.1145/1370731.1370740Empirical studies are important for understanding how well current design methods and notations support development of multi-threaded programs. Unfortunately, concurrency exacerbates an already difficult problem in drawing conclusions from such studies: ...
