Sciweavers

770 search results - page 98 / 154
» Agile requirements engineering with prototyping: A case stud...
Sort
View
TASE
2008
IEEE
15 years 5 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
TOSEM
2008
168views more  TOSEM 2008»
14 years 11 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
ICSM
2005
IEEE
15 years 4 months ago
Rapid "Crash Testing" for Continuously Evolving GUI-Based Software Applications
Several rapid-feedback-based quality assurance mechanisms are used to manage the quality of continuously evolving software. Even though graphical user interfaces (GUIs) are one of...
Qing Xie, Atif M. Memon
ICSE
2000
IEEE-ACM
15 years 2 months ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold
IWPC
2010
IEEE
14 years 9 months ago
Understanding and Auditing the Licensing of Open Source Software Distributions
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
Daniel M. Germán, Massimiliano Di Penta, Ju...