Sciweavers

3192 search results - page 207 / 639
» A Requirements-Driven Development Methodology
Sort
View
LPAR
2005
Springer
16 years 1 days ago
Termination of Fair Computations in Term Rewriting
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
Salvador Lucas, José Meseguer
MLMI
2005
Springer
16 years 1 days ago
Generic Dialogue Modeling for Multi-application Dialogue Systems
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
Trung H. Bui, Job Zwiers, Anton Nijholt, Mannes Po...
WER
2005
Springer
16 years 15 hour ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano
CSCW
2004
ACM
15 years 12 months ago
Collaborative modeling: hiding UML and promoting data examples in NEMo
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
Patricia K. Schank, Lawrence Hamel
WER
2004
Springer
15 years 12 months ago
Designing Communication-intensive Web Applications: a Case Study
Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex proj...
Vito Perrone, Davide Bolchini