Sciweavers

645 search results - page 91 / 129
» Non-Monotonic Model Completion in Web Application Engineerin...
Sort
View
SIGSOFT
2006
ACM
16 years 5 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
IV
2003
IEEE
90views Visualization» more  IV 2003»
15 years 9 months ago
Visual User Interface for PDAs
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
Mikael Jern, D. Ricknäs, F. Stam, Robert Trel...
VRML
1998
ACM
15 years 8 months ago
VRML in Architectural Construction Documents: A Case Study
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
Dace A. Campbell
WER
2007
Springer
15 years 10 months ago
Evolving Use Case Maps as a Scenario and Workflow Description Language
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
Gunter Mussbacher
VMCAI
2009
Springer
15 years 11 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman