Sciweavers

6978 search results - page 16 / 1396
» Reframing Requirements Analysis
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
13 years 11 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
INTERACT
2003
13 years 9 months ago
Interactive Immersive Design Application: Analysis of Requirements
: In this paper we report on the progress of an international EU/IMS research project to develop an Immersive free-form Design Application using Virtual Reality and Haptic Immersio...
Urs Künzler, Roger Wetzel, Martin Iseli
AOSE
2006
Springer
13 years 11 months ago
Modeling Mental States in the Analysis of Multiagent Systems Requirements
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance
JSS
2002
101views more  JSS 2002»
13 years 7 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
SAJ
2000
129views more  SAJ 2000»
13 years 7 months ago
Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
Stephen Perelson, Reinhardt A. Botha