285 search results - page 4 / 57 » Towards a Compositional Approach to the Design and Verificat... |
RTS
2006
13 years 8 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
ICSE
1998
IEEE-ACM
14 years 19 days ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
ASE
1999
13 years 8 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...