Sciweavers

2835 search results - page 369 / 567
» Imperfect Requirements in Software Development
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...
ICSM
2009
IEEE
16 years 1 months ago
Managing code clones using dynamic change tracking and resolution
Code cloning is widely recognized as a threat to the maintainability of source code. As such, many clone detection and removal strategies have been proposed. However, some clones ...
Michiel de Wit, Andy Zaidman, Arie van Deursen
ICFEM
2009
Springer
16 years 29 days ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
IWPC
2007
IEEE
16 years 20 days ago
Recovering Workflows from Multi Tiered E-commerce Systems
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
Maokeng Hung, Ying Zou
AUIC
2006
IEEE
16 years 14 days ago
Extended radar view and modification director: awareness mechanisms for synchronous collaborative authoring
1 Providing effective support for group awareness is a critical requirement of synchronous collaborative authoring tools. This paper reports our work on developing new awareness me...
Minh Hong Tran, Yun Yang, Gitesh K. Raikundalia