Sciweavers

6348 search results - page 450 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
162
Voted
QSIC
2005
IEEE
16 years 7 days ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
QSIC
2005
IEEE
16 years 7 days ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
WCRE
2005
IEEE
16 years 7 days ago
Source versus Object Code Extraction for Recovering Software Architecture
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
Ahmed E. Hassan, Zhen Ming Jiang, Richard C. Holt
175
Voted
COMPSAC
2002
IEEE
15 years 11 months ago
Temporal Modeling of Software Test Coverage
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul
RE
1999
Springer
15 years 11 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook