Sciweavers

1912 search results - page 90 / 383
» XML Technologies and Software Engineering
Sort
View
SIGSOFT
2010
ACM
13 years 5 months ago
Climate change: a grand software challenge
Software is a critical enabling technology in nearly all aspects of climate change, from the computational models used by climate scientists to improve our understanding of the im...
Steve M. Easterbrook
SIGSOFT
2010
ACM
13 years 6 months ago
Third international workshop on software product management -- IWSPM'09
Software product management steers the success of a product in all its lifecycle stages by thoughtful application of planning, coordination, and control. The third international w...
Tony Gorschek, Samuel Fricker, Sjaak Brinkkemper, ...
WIKIS
2009
ACM
14 years 2 months ago
Incremental knowledge acquisition in software development using a weakly-typed Wiki
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
Filipe Figueiredo Correia, Hugo Sereno Ferreira, N...
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
13 years 11 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
ICSE
2008
IEEE-ACM
14 years 8 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse