Sciweavers

5180 search results - page 343 / 1036
» Requirements Engineering
Sort
View
PRDC
2008
IEEE
16 years 1 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
IASTEDSE
2004
15 years 8 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof
ASE
2007
121views more  ASE 2007»
15 years 6 months ago
Computer-aided Support for Secure Tropos
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
Fabio Massacci, John Mylopoulos, Nicola Zannone
VMCAI
2010
Springer
16 years 4 months ago
Considerate Reasoning and the Composite Design Pattern
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
Alexander J. Summers, Sophia Drossopoulou
ER
2009
Springer
145views Database» more  ER 2009»
15 years 4 months ago
Mobile Web Usability Standards Compliance Service
Developing a mobile Web site represents an opportunity to reach a large part of the Web audience for an organization. It is also a challenge as Web engineers have to follow specifi...
Caroline Collier