6 search results - page 1 / 2 » Modeling in Software Engineering (MiSE 09) |
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
The Modeling in Software Engineering (MiSE) workshop series provides a forum for discussing the challenges associated with modeling software and with incorporating modeling practi...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
FASE
2009
Springer
13 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
TASE
2008
IEEE
13 years 4 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...