Sciweavers

1559 search results - page 69 / 312
» Software needs engineering: a position paper
Sort
View
QSIC
2005
IEEE
14 years 2 months ago
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
W. K. Chan, S. C. Cheung, Karl R. P. H. Leung
SIGSOFT
2009
ACM
14 years 9 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
EUROMICRO
1999
IEEE
14 years 1 months ago
The X-MatchLITE FPGA-Based Data Compressor
This paper introduces a hardware amenable algorithm for lossless data compression and a highly integrable architecture which enables Gbit/s compression using contemporary ASIC tec...
Jose Luis Nunez, Claudia Feregrino, Simon Jones, S...
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
14 years 3 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
GTTSE
2007
Springer
14 years 3 months ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens