Sciweavers

596 search results - page 19 / 120
» On the Use of Visualization in Formal Requirements Specifica...
Sort
View
3DGIS
2006
Springer
15 years 12 months ago
3D Navigation for 3D-GIS - Initial Requirements
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
Ivin Amri Musliman, Alias Abdul-Rahman, Volker Coo...
ICWE
2005
Springer
15 years 11 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 ...
ER
2008
Springer
91views Database» more  ER 2008»
15 years 7 months ago
Model Driven Specification of Ontology Translations
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...
161
Voted
CAISE
2005
Springer
15 years 11 months ago
Constructing domain-specific design tools with a visual language meta-tool
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
Nianping Zhu, John C. Grundy, John G. Hosking
CSI
2007
89views more  CSI 2007»
15 years 5 months ago
Writing and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
José Raúl Romero, Antonio Vallecillo...