Sciweavers

1805 search results - page 147 / 361
» File System Interfaces for Embedded Software Development
Sort
View
WCRE
2006
IEEE
14 years 4 months ago
MELIS: an Eclipse Based Environment for the Migration of Legacy Systems to the Web
In this demonstration, we present MELIS (Migration Environment for Legacy Information Systems) an integrated environment for the migration of legacy systems to a multi-tier web-ba...
Massimo Colosimo, Andrea De Lucia, Giuseppe Scanni...
CANDC
2005
ACM
14 years 5 days ago
Constructed narratives a tangible social interface
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
Pamela Jennings
RTCSA
2008
IEEE
14 years 4 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
WORDS
2005
IEEE
14 years 3 months ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
ICSE
1989
IEEE-ACM
14 years 2 months ago
The Inscape Environment
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
Dewayne E. Perry