Sciweavers

1288 search results - page 3 / 258
» On Analysis of Design Component Contracts: A Case Study
Sort
View
IRI
2003
IEEE
13 years 11 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ITCC
2005
IEEE
13 years 11 months ago
Misuse Case-Based Design and Analysis of Secure Software Architecture
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
Joshua J. Pauli, Dianxiang Xu
IJIEM
2007
78views more  IJIEM 2007»
13 years 6 months ago
Supporting the design of service contracts with interaction models
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Peter Rittgen
DAC
2007
ACM
14 years 7 months ago
Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Tsung-Ching Huang, Huai-Yuan Tseng, Chen-Pang Kung...
ICSM
2007
IEEE
14 years 13 days 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 ...