136 search results - page 12 / 28 » Lightweight Validation of Natural Language Requirements: A C... |
ICSM
1999
IEEE
13 years 11 months ago
1999
IEEE
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
CLUSTER
2011
IEEE
12 years 7 months ago
2011
IEEE
— In this paper, we propose a light-weight asynchronous message progression mechanism for large message transfers in Message Passing Interface (MPI) Rendezvous protocol that is s...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...