Sciweavers

7139 search results - page 830 / 1428
» Language Engineering in Practice
Sort
View
FSTTCS
2007
Springer
16 years 1 months ago
A Formal Investigation of
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce
ISSRE
2006
IEEE
16 years 1 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
DATE
2005
IEEE
93views Hardware» more  DATE 2005»
16 years 27 days ago
Model Reuse through Hardware Design Patterns
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
Fernando Rincón, Francisco Moya, Jesú...
200
Voted
EUROMICRO
2005
IEEE
16 years 27 days ago
Process Patterns for Software Systems In-house Integration and Merge Experiences from Industry
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
Rikard Land, Ivica Crnkovic, Stig Larsson
ICDCSW
2005
IEEE
16 years 27 days ago
Specifying Information-Flow Controls
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
Howard Chivers, Jeremy Jacob