Sciweavers

4029 search results - page 278 / 806
» Experience with Software Watermarking
Sort
View
IWPC
2000
IEEE
15 years 11 months ago
Types and Concept Analysis for Legacy Systems
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
Tobias Kuipers, Leon Moonen
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
WETICE
1996
IEEE
15 years 10 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan
AGILEDC
2004
IEEE
15 years 10 months ago
Direct Verbal Communication as a Catalyst of Agile Knowledge Sharing
This paper discusses the role of conversation and social interactions as the key element of effective knowledge sharing in an agile process. It also presents the observations made...
Grigori Melnik, Frank Maurer
SERP
2003
15 years 8 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart