7202 search results - page 1168 / 1441 » Software System Engineering: A Tutorial |
154
click to vote
ICFEM
2007
Springer
16 years 23 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
133
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
180
click to vote
ISORC
2006
IEEE
16 years 19 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
183
click to vote
SACMAT
2006
ACM
16 years 17 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
194
click to vote
ISORC
2005
IEEE
16 years 6 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...