Sciweavers

2835 search results - page 340 / 567
» Imperfect Requirements in Software Development
Sort
View
WWW
2008
ACM
16 years 7 months ago
Towards a programming language for services computing
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
Arun Kumar, D. Janakiram
ICFEM
2007
Springer
16 years 19 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ICMCS
2006
IEEE
86views Multimedia» more  ICMCS 2006»
16 years 16 days ago
Format-Independent Multimedia Streaming
The Bitstream Binding Language (BBL) is a new technology developed by the authors and being standardized by MPEG, which describes how multimedia content and metadata can be mapped...
Joseph Thomas-Kerr, Ian S. Burnett, Christian Ritz
NORDICHI
2004
ACM
15 years 12 months ago
Sharing and learning through pair writing of scenarios
This paper describes the results of an empirical study consisting of five sessions where scenarios are written by two writers working in unison, for instance a usability specialis...
Adi B. Tedjasaputra, Eunice Ratna Sari, Georg Stro...
HT
2007
ACM
15 years 10 months ago
An agile hypertext design methodology
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan,...