Sciweavers

1963 search results - page 85 / 393
» How is aliasing used in systems software
Sort
View
TAMODIA
2008
13 years 11 months ago
The Ecology of Participants in Co-evolving Socio-technical Environments
: The traditional notions of developer and user are unable to reflect the fact that many software systems nowadays are developed with the participation of many people of different ...
Gerhard Fischer, Antonio Piccinno, Yunwen Ye
ICSE
2010
IEEE-ACM
13 years 8 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...
SPIN
2000
Springer
14 years 1 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
WCRE
2003
IEEE
14 years 3 months ago
Detecting Merging and Splitting using Origin Analysis
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
Lijie Zou, Michael W. Godfrey
ICCBSS
2005
Springer
14 years 3 months ago
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
Yan Jin, Jun Han