Sciweavers

40 search results - page 3 / 8
» A Goal-Oriented Approach for Safety Requirements Specificati...
Sort
View
SNPD
2003
13 years 9 months ago
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
Lars Grunske
TSE
1998
93views more  TSE 1998»
13 years 7 months ago
A Strategy for Improving Safety Related Software Engineering Standards
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
Norman E. Fenton, Martin Neil
DATE
2008
IEEE
223views Hardware» more  DATE 2008»
14 years 2 months ago
Cooperative Safety: a Combination of Multiple Technologies
—Governmental Transportation Authorities' interest in Car to Car and Car to Infrastructure has grown dramatically over the last few years in order to increase the road safet...
Raffaele Penazzi, Piergiorgio Capozio, Martin Dunc...
SIGSOFT
2004
ACM
14 years 8 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
ISSRE
2010
IEEE
13 years 6 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...