2811 search results - page 280 / 563 » Real-Time Component-Based Systems |
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
90
Voted
EMISA
2002
Springer
15 years 19 days ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
113
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
104
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...
131
click to vote
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...