Sciweavers

1537 search results - page 92 / 308
» Domain-Specific Software Component Models
Sort
View
ACSE
1997
ACM
15 years 8 months ago
An immersion model for software engineering projects
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...
Neville Churcher, Andy Cockburn
ICSE
1995
IEEE-ACM
15 years 7 months ago
Characterizing and Assessing a Large-Scale Software Maintenance Organization
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
Lionel C. Briand, Walcélio L. Melo, Carolyn...
122
Voted
PRDC
1999
IEEE
15 years 8 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
COMPSAC
2002
IEEE
15 years 9 months ago
Software Maintainability Improvement: Integrating Standards and Models
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-...
SPIN
1999
Springer
15 years 8 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...