Sciweavers

2050 search results - page 14 / 410
» Visualization of Component-based Software
Sort
View
ICSR
2009
Springer
13 years 5 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
CBSE
2005
Springer
14 years 28 days ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
CSEE
2000
Springer
13 years 11 months ago
A Case Study Approach to Teaching Component Based Software Engineering
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
Allen S. Parrish, Brandon Dixon, David P. Hale, Jo...
CBSE
2006
Springer
13 years 11 months ago
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
Chouki Tibermacine, Régis Fleurquin, Salah ...
ICSM
2007
IEEE
14 years 1 months ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...