Sciweavers

2339 search results - page 8 / 468
» Models and Tools for Mulan Applications
Sort
View
TSE
2010
161views more  TSE 2010»
13 years 5 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
Galileo: a tool built from mass-market applications
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
David Coppit, Kevin J. Sullivan
MBUI
2004
133views User Interface» more  MBUI 2004»
13 years 8 months ago
From Models to Interactive Systems Tool Support and XIML
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
Peter Forbrig, Anke Dittmar, Daniel Reichart, Dani...
VLSID
2005
IEEE
167views VLSI» more  VLSID 2005»
14 years 7 months ago
A Methodology and Tooling Enabling Application Specific Processor Design
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
Andreas Hoffmann, Frank Fiedler, Achim Nohl, Suren...
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
13 years 11 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine