2487 search results - page 227 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
139
click to vote
SIGSOFT
1996
ACM
15 years 8 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 ...
123
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
137
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
119
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
131
click to vote
APSEC
1995
IEEE
15 years 8 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...