Sciweavers

3216 search results - page 210 / 644
» The Oregon Software Development Process
Sort
View
AGILEDC
2003
IEEE
15 years 11 months ago
PARFAIT: Towards a Framework-based Agile Reengineering Process
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
Maria Istela Cagnin, José Carlos Maldonado,...
AC
1998
Springer
15 years 6 months ago
Natural Language Processing: A Human-Computer Interaction Perspective
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
Bill Z. Manaris
NLDB
2005
Springer
15 years 12 months ago
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
Requirements engineering is the Achilles’ heel of the whole software development process, because requirements documents are often inconsistent and incomplete. Misunderstandings ...
Leonid Kof
TASE
2008
IEEE
16 years 25 days ago
Bounded Model Checking of Compositional Processes
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing S...
DSE
1998
80views more  DSE 1998»
15 years 6 months ago
The Voltan application programming environment for fail-silent processes
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
Dave Black, C. Low, Santosh K. Shrivastava