4919 search results - page 162 / 984 » A Process-Ontological Model for Software Engineering |
92
Voted
SIGSOFT
1996
ACM
15 years 2 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 ...
DATE
2003
IEEE
15 years 3 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 ...
74
Voted
ICSM
2002
IEEE
15 years 3 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...
CSMR
1999
IEEE
15 years 2 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...
97
Voted
TASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...