Sciweavers

1099 search results - page 74 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
RE
2007
Springer
14 years 3 months ago
The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios
Scenarios are widely and successfully used to discover requirements for software-intensive systems. Recent advances in mobile computing technologies mean that mobile tools can sup...
Norbert Seyff, Florian Graf, Paul Grünbacher,...
ICWE
2005
Springer
14 years 2 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
CHI
2011
ACM
13 years 19 days ago
Modern software product support processes and the usage of multimedia formats
Despite being an important channel for end-user assistance, few studies have directly investigated the interactions that occur in modern-day practice of software product support. ...
Parmit K. Chilana, Tovi Grossman, George W. Fitzma...
RE
2010
Springer
13 years 7 months ago
Assessing traceability of software engineering artifacts
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
Senthil Karthikeyan Sundaram, Jane Huffman Hayes, ...
STTT
2008
162views more  STTT 2008»
13 years 9 months ago
Coping with large design spaces: design problem solving in fluidic engineering
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
Benno Stein