504 search results - page 5 / 101 » Software Product Family Evaluation |
FASE
2007
Springer
14 years 5 months ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
WSC
1997
14 years 6 days ago
1997
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
SPLC
2004
14 years 7 days ago
2004
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...