2935 search results - page 174 / 587 » An Integrated Approach to High Integrity Software Verificati... |
179
click to vote
QSIC
2007
IEEE
16 years 25 days ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
223
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
172
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...
162
click to vote
JAR
2006
15 years 6 months ago
2006
SET (Secure Electronic Transaction) is a suite of protocols proposed by a consortium of credit card companies and software corporations to secure ecommerce transactions. The Purcha...
350
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...