Sciweavers

1726 search results - page 126 / 346
» Traits: Tools and Methodology
Sort
View
ICSE
2008
IEEE-ACM
15 years 11 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
WWW
2004
ACM
15 years 10 months ago
Web engineering with the visual software circuit board
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
Hovhannes Avoyan, Barry Levine
CHI
2006
ACM
15 years 10 months ago
No IM please, : we're testing
This paper discusses the use of instant messaging (IM) as a communication tool during usability studies ? primarily between the interview and observation rooms. The benefits and c...
Richard Boardman
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
15 years 7 months ago
Automating post-silicon debugging and repair
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 4 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...