795 search results - page 26 / 159 » A Formal Approach to Heterogeneous Software Modeling |
100
click to vote
JSS
2006
15 years 11 days ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
108
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
115
Voted
JUCS
2010
14 years 7 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
121
click to vote
APSEC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...