5407 search results - page 177 / 1082 » The Software Engineering Global Model |
116
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
133
click to vote
SIGSOFT
1996
ACM
15 years 7 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
137
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
114
Voted
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
During the past ten years, a large number of quality models have been proposed in the literature. In general, the goal of these models is to predict a quality factor starting from...
141
Voted
CSMR
1999
IEEE
15 years 7 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...