127 search results - page 8 / 26 » Contract-Based Approach to Analyze Software Components |
170
Voted
ECBS
2010
IEEE
16 years 21 days 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...
151
Voted
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
154
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a separation of concerns approach to solve the tangling problem of functional and Quality of Service (QoS) concerns in traditional Component-based Software Eng...
157
click to vote
AVI
2000
15 years 7 months ago
2000
This paper proposes a framework for easily integrating and controlling information visualization (infoVis) components within web pages to create powerful interactive "live&qu...
154
Voted
SEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...