Sciweavers

733 search results - page 105 / 147
» Evaluation of Workflow-type software products: a case study
Sort
View
IEEEIAS
2007
IEEE
14 years 3 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
KBSE
2006
IEEE
14 years 2 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
IWPC
2005
IEEE
14 years 2 months ago
Understanding Object-Oriented Source Code from the Behavioural Perspective
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
Neil Walkinshaw, Marc Roper, Murray Wood
KBSE
1999
IEEE
14 years 1 months ago
Automatically Structuring Textual Requirement Scenarios
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
Andreas Becks, Jörg Köller
RE
2006
Springer
13 years 8 months ago
Using Domain Ontology as Domain Knowledge for Requirements Elicitation
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
Haruhiko Kaiya, Motoshi Saeki