Sciweavers

4759 search results - page 564 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
PLDI
2005
ACM
16 years 12 days ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich
BIRTHDAY
2003
Springer
16 years 2 days ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
GROUP
1995
ACM
15 years 10 months ago
Understanding the requirements for information system documentation: an empirical investigation
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
Abdulaziz Jazzar, Walt Scacchi
BMCBI
2008
125views more  BMCBI 2008»
15 years 7 months ago
SynteBase/SynteView: a tool to visualize gene order conservation in prokaryotic genomes
Background: It has been repeatedly observed that gene order is rapidly lost in prokaryotic genomes. However, persistent synteny blocks are found when comparing more or less distan...
Frédéric Lemoine, Bernard Labedan, O...
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
16 years 14 days ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls