795 search results - page 81 / 159 » A Formal Approach to Heterogeneous Software Modeling |
89
Voted
ET
1998
15 years 6 days ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
128
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
97
Voted
MSE
2002
IEEE
15 years 5 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
118
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
76
Voted
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...