Sciweavers

2219 search results - page 21 / 444
» An environment for synchronous software development
Sort
View
ICSE
1998
IEEE-ACM
13 years 12 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
ICSE
1995
IEEE-ACM
13 years 11 months ago
Decentralised Process Enactment in a Multi-Perspective Development Environment
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
TKDE
2002
91views more  TKDE 2002»
13 years 7 months ago
The EVE Approach: View Synchronization in Dynamic Distributed Environments
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
Amy J. Lee, Anisoara Nica, Elke A. Rundensteiner
DAC
2005
ACM
13 years 9 months ago
Matlab extensions for the development, testing and verification of real-time DSP software
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
David P. Magee
ICSE
2010
IEEE-ACM
13 years 11 months ago
SSG: a model-based development environment for smart, security-aware GUIs
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
Miguel Angel García de Dios, Carolina Dania...