8627 search results - page 283 / 1726 » Software Engineering Using RATionale |
171
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
166
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
176
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
158
click to vote
QSIC
2007
IEEE
16 years 27 days ago
2007
IEEE
Software migration is an inherently knowledge intensive activity, which requires a great amount of expertise and experience from different sources. Knowledge-based approach to sof...
156
click to vote
ICSM
2005
IEEE
16 years 6 days ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...